učebnice Mgr. Krynického (https://www.realisticky.cz)
učebnice nakladatelství Prometheus - Základní poznatky z matematiky
Základy výrokové logiky (.pdf)
Negace kvantifikovaných výroků (.pdf)
Matematické důkazy (seminární práce)
https://knar.wz.cz/sbirka/vyrlog.html výroková logika
https://www.karlin.mff.cuni.cz/~portal/logika/?page=test1 testy + teorie (©Luboš Moravec)
https://www.nabla.cz/soubory/matematika/vyrokova-logika-1.pdf teorie s příklady
https://matematika.cz/vyroky teorie a příklady (příklady používané na TSP a OSP)
https://www.priklady.eu/cs/matematika/matematicka-logika/vyroky.alej příklady s řešením
Výroky (.pdf)
