Across
- 2. nejvíce
- 7. kvantifikátor
- 10. elementární (o výroku)
- 11. název velkého kvantifikátoru
- 13. právě
- 14. ekvivalence
- 16. název malého kvantifikátoru
- 19. takový, že
- 20. platit (o výroku)
Down
- 1. složený (o výroku)
- 3. konjunkce
- 4. predikát
- 5. negace
- 6. výrok
- 8. nepravdivý (nepravda)
- 9. implikace
- 12. pravdivý (pravda)
- 15. disjunkce
- 17. tabulka pravdivostních hodnot
- 18. nejméně