Logické spojky

Negace

NOT
1 0
0 1

Konjunkce

AND
1 1 1
1 0 0
0 1 0
0 0 0

Disjunkce

OR
1 1 1
1 0 1
0 1 1
0 0 0

Implikace

  • Implikace mezi výroky a je nepravdivá pro všechna ohodnocení, při kterých je předpoklad pravdivý a závěr nepravdivý (tedy )
  • Pro všechna ostatní ohodnocení je pravdivá
1 1 1
1 0 0
0 1 1
0 0 1

Ekvivalence

  • Pravdivá, když oba výroky mají stejné ohodnocení
1 1 1
1 0 0
0 1 0
0 0 1

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25