1. Nézzünk egy kis zanza.tv-t!
Láttad azt a macskát, amelyik csak a buta emberek elől bújik el?
Logika:
helyes következtetések szerkezetével foglakozik.
következtetések =
- Amiből : premissza
- Amire: konklúzió
Kijelentő mondat
kijelentés = igaz, vagy hamis állítás
A premisszák igazságtartalmának vizsgálata, nem a logika feladata (a tudományoké)
!!Arisztotelész:
szillogizmus = érvényes következtetések
A fajtákról szóló ítéletek
és az egyedeket fajtákba soroló ítéletek közötti kapcsolatokat vizsgálta.
Középfogalom kapcsolja össze az ítéleteket.
A középfogalom a konklúzióban nem szerepel (csak az alany és az állítmány)
Számítógépes programokban használatos egyfajta logika.
