Логика: туюнтмалар жана чындык таблицалары

Логикалык амалдар

- Тануу $\lnot A$: $A$ нын тескериси. - Конъюнкция $A \land B$ («жана»): экөө тең чын болгондо гана чын. - Дизъюнкция $A \lor B$ («же»): жок дегенде бирөө чын болсо чын. - Импликация $A \to B$: $A = 1$, $B = 0$ болгондо гана жалган. $A \to B = \lnot A \lor B$.

Амалдардын тартиби: тануу, конъюнкция, дизъюнкция, импликация.

Чындык таблицасы

$n$ өзгөрмөнүн маанилеринин $2^n$ топтому бар. Туюнтма канча топтомдо чын экенин табуу үчүн көбүнчө баарын санап чыгуунун кереги жок: туюнтма качан жалган болорун талдаган жеңилирээк. Мисалы, $(A \to B) \land (B \to C)$ туюнтмасы $A \le B \le C$ болгондо гана чын — $4$ топтом.

Чынчылдар жана калпычылар

Ар бир адам дайыма чындыкты айтат же дайыма калп айтат деген маселелерде бир адам жөнүндө божомол жасап («А чынчыл»), андан келип чыккан натыйжаларды текшеребиз. Карама-каршылык чыкса — божомол туура эмес. Акырында табылган жоопту бардык сөздөр менен текшерип чыгуу керек.