Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

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

Podobné prezentace


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ý  = 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

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

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

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

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

10 ABA  BA  BA  BA  B


Stáhnout ppt "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é."

Podobné prezentace


Reklamy Google