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 p1, p2, , ..., pn á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, p1, p2, , ..., pn fennáll. Tehát q is fennáll.” Például érvényes következtetés a klasszikusMinden ember halandó. Szókratész ember.
Szókratész halandó.
érvelés.
További információt lásd Wikipedia.org...