Typy zadań na kolokwium z przedmiotu Logika

Zadanie 1. Sprawdzanie metodą tabelek semantycznych, czy dane rozumowanie jest poprawne
logicznie / czy dana formuła jest tautologią.

Zadanie 2. Wykazywanie metodą dedukcji naturalnej, że dane rozumowanie jest poprawne
logicznie / dana formuła jest tautologią.

Zadanie 3. Tłumaczenie zdań języka naturalnego na język rachunku predykatów.

Zadanie 4. Sprawdzanie metodą diagramów Betha, czy dane rozumowanie jest poprawne
logicznie / czy dana formuła jest tautologią.

Zadanie 5. Rozpoznawanie błędów logiczno-językowych w zdaniach i nazywanie ich.

Zadanie 6. (dodatkowe) Zagadka logiczna.