Prawo logiczne. Tautologia. Sprawdzanie za pomocą tabelek wartości logicznych. Implikacja. Alternatywa. Prawo logiczne. Implikacja. Alternatywa. Rachunek zdań logicznych.