1. Sprawdzić metodą nie wprost czy formuła jest tautologią.
2. Sprawdzić czy z danego zdania wynika logicznie inne zdanie wg. KRZ.
3. Podaj prawa logiczne (12 z KRZ) on poda nazwy a my musimy podać wzór (schemat).
4. Sprawdzić metodą kolumnową czy formuła jest tautologią (podręcznik Wieczorka).
5. Podać liczbę spójników w zdaniu.
6. Określić stosunki między zakresami nazw.
7. Napisz schemat zdania w języku KRZ.
8. Sprawdzić czy z danego zdania wynika logiczne inne zdanie wg praw kwadratu logicznego.
9. Dokonaj przekształcenia zdania kategorycznego obwersji, itd. Wg. Wzorów.
10. Sprawdzić niezawodność trybu sylogicznego.
11. Charakterystyka nazw (rodzaje itd.) tabelka spójników, łączników (implikacje).
qbgirl