Psihologika - bevezetés a logikai algebra

Van egy közös osztályozás logikai formulák, típusától függően az igazság táblázat. Először is, mint magától értetődő, lehet mondani, a magyarázó változók száma a készítményhez. Legalább nulla változó képletek mint (igaz hamis). a maximum -, mint szükséges. Másodszor, azt az értéket, amely meg van írva az utolsó oszlopban. Ha csak egy igaz. Egy ilyen formula az úgynevezett „általánosan érvényes” vagy „tautológia”. Egyébként ez „neobscheznachimaya” formula. Ha csak egy hamis. egy ilyen formula az úgynevezett „lehetetlen”, különben ez lesz „megvalósítható” formula. „Semleges” képleteket egyaránt tartalmazó igaz. és hamis.

[Univerzálisan érvényes képlet]: tautológia képlet vagy általánosan érvényes egy logikai formula, az igazság táblázat, amely csak akkor igaz, a jobb oldali oszlopban.

Példa: true false

[Megmunkálható képlet]: a megvalósíthatóságát a képlet egy Boole-formulával, az igazság táblázat, amely legalább egy igaz a jobb oldali oszlopban.

[Lehetetlen képletű]: kielégíthető, képletek úgynevezett Boole képletű igazság táblázat, amely csak a hamis a jobb oldali oszlopban.

[Neobscheznachimaya képletű]: Neobscheznachimoy formula egy Boole-formulával, az igazság táblázat, amely legalább egy hamis a jobb oldali oszlopban.

Példa: A B C

[Neutral képletű]: A semleges formula egy Boole-formulával, az igazság táblázat, amely legalább egy hamis, és legalább egy igaz a jobb oldali oszlopban.

Példa: (A B) C

A „tautológia” több különböző jelentése kívül matematika. Ez - nyilatkozatok használó mindenféle primitív ismétlés. Például a „olaj olaj”, „ragyogó fény”, „egy álom - ez egy álom”, „nem lehet, mert nem lehet.” Tautológia matematika nem szükségszerűen tartalmaz ilyen primitív ismétlés. Például, az (A

A B C D) - tautológiánál. Hamarosan látni fogja, hogy a matematikai tautológia nagyon hasznosak.

Szóval, minden logikai képletek vannak osztva három különböző osztályba - általánosan érvényes (tautológia), semleges és lehetetlen. Általánosan érvényes és semleges együtt adja osztály futtatható képleteket. Célszerű, és semleges együtt adnak neobscheznachimyh osztályban. Itt van egy jó táblázat erre besorolás: