Kijelentéslogika (Igazságtáblázatok)

Informatikával kapcsolatos gimnáziumi tanulmányaink kezdeteként Kijelentéslogikával foglalkoztunk. Nulladrendű logika, a Klasszikus Kijelentéslogika témaköre. A logika központi feladata mindig az, hogy meghatározza a helyes következtetés fogalmát. Ezt a klasszikus kijelentéslogikában a szintaxis és a szemantika területén is meg lehet tenni. Viszont a logika feladata az is, hogy ha lehetséges, akkor egy következtetés helyességének eldöntését is leírja. Azaz adjon olyan eljárást/algoritmust, amellyel -- ha lehet -- véges időn belül ki lehessen deríteni, hogy egy következtetés helyes-e vagy sem.

Igazságtáblázatok

Az igazságtáblázatokkal megtudhatjuk, hogy ha egy adott logikai kifejezés, egy adott forumulának sorra vesszük minden lehetséges bementét, akkor mik a lehetséges kimenetelek. Egy ilyen logikai táblázatból leolvasható hogy logikai igazsággal állunk-e szemben vagy egy ellentmondással. Hogy helyes-e a következtetés vagy, hogy két kijelentés ekvivalens-e.