Prawo logiczne. Tautologia. Sprawdzanie za pomocą tabelek wartości logicznych. Koniunkcja, alternatywa, implikacja, równoważność. Zaprzeczenie. Zaprzeczenie implikacji.