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é.

Prezentace na téma: "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é."— Transkript prezentace:

1 Základní logické spojky

2  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í

3  Dnes je úterý  5 + 3 = 8  7>2  Právě teď neprší

4  Jednotlivé výroky spojujeme logickými spojkami do souvětí neboli do výrokových formulí.

5  Konjunkce  spojka a – a zároveň  Konjunkce je pravdivá jsou-li pravdivé oba výroky současně. ABA  B 111 100 010 000

6  Disjunkce  spojka nebo  disjunkce je pravdivá je-li pravdivý alespoň jeden výrok ABA  B 111 101 011 000

7  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 111 100 011 001

8  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 111 100 011 001

9  Znegovat výrok znamená popřít jeho pravdivostní hodnotu  3 + 5 = 8 P(h) = 1 … výrok A  3 + 5 ≠ 8 P(h) = 0 negaci značíme A´

10 ABA  BA  BA  BA  B 111111 100100 010110 000011