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.