logika

A logika – szukebb é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öntheto, hogy adott igaz, vagy igaznak feltételezett p₁, p₂, , ..., p_n állítások (azaz a premisszák) esetén mikor következtethetünk egy q kijelentés (a konklúzió) igazságára. Szimbolikusan a következtetés:

Amit úgy foglalunk szavakba, hogy: „Tudjuk, p₁, p₂, , ..., p_n fennáll. Tehát q is fennáll.” Például érvényes következtetés a klasszikus

Minden ember halandó. Szókratész ember.

Szókratész halandó. 

érvelés.