A logika - szűkebb értelemben - az érvényes következtetések és bizonyítások általános alapelveit vizsgáló tudomány. A logika alapfeladata, hogy olyan formai kritériumokat tárjon fel, amelyek szerint eldönthető, hogy adott igaz, vagy igaznak feltételezett p1, p2, , ..., pn…