Základní logické spojky
Výrokem rozumíme každé tvrzení tedy (oznamovací větu), o kterém můžeme rozhodnout zda je pravdivé či nikoliv. Je-li pravdivé nabývá P(h) = 1 Není-li pravdivé nabývá P(h) = 0 Výroky nejsou věty rozkazovací a tázací
Dnes je úterý = 8 7>2 Právě teď neprší
Jednotlivé výroky spojujeme logickými spojkami do souvětí neboli do výrokových formulí.
Konjunkce spojka a – a zároveň Konjunkce je pravdivá jsou-li pravdivé oba výroky současně. ABA B
Disjunkce spojka nebo disjunkce je pravdivá je-li pravdivý alespoň jeden výrok ABA B
Implikace spojka jestliže…..pak Implikace je nepravdivá vyplývá-li z pravdy nepravda ve všech ostatních případech je pravdivá Poučka – z nepravdy plyne cokoliv proto výsledkem je P(h)=1 ABA B
Ekvivalence spojka právě tehdy…když Ekvivalence je pravdivá vyplývá-li z pravdy pravda a z nepravdy nepravda Poučka – na obou stranách šipky stejná P(h) ABA B
Znegovat výrok znamená popřít jeho pravdivostní hodnotu = 8 P(h) = 1 … výrok A ≠ 8 P(h) = 0 negaci značíme A´
ABA BA BA BA B