Výroková logika
Výrok
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=vyrok
Pravdivostní ohodnocení
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=ohodnoceni
Negace výroku
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=negace
Značení – výroková logika
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=znaceni