Logic

123456789101112
Across
  1. 1. výrok
  2. 5. konjunkce
  3. 7. predikát
  4. 8. nepravdivý (nepravda)
  5. 9. ekvivalence
  6. 11. pravdivý (pravda)
  7. 12. disjunkce
Down
  1. 2. tabulka pravdivostních hodnot
  2. 3. kvantifikátor
  3. 4. negace
  4. 5. závěr, důsledek
  5. 6. předpoklad
  6. 10. implikace