Ćwiczenia
  1. Zbuduj matryce logiczne dla następujących formuł rachunku zdań:

  2. Określ pozostałe spójniki logiczne za pomocą spójnika Sheffera |.
    (def.:1 | 1= 0, 1| 0 = 0 |1= 0 | 0= 0)


  3. Przeanalizuj następujące zdania i odpowiedz, czy Jan jest, czy nie jest piosenkarzem rockowym.

  4. Na jakiej regule wnioskowania oparte jest następujące rozumowanie (Origines):
    "Jesli wiesz, że umarłeś to umarłeś; Jeśli wiesz, że umarłeś, to nie umarłeś.
    Zatem nie wiesz, że umarłeś".


  5. Sprawdź, czy podana formuła jest tautologią rachunku zdań (metodą zero-.jedynkową i metodą nie wprost)

  6. Wskaż prawa rachunku zdań i reguły użyte w dowodzie twierdzenia : dla dowolnych zbiorów A,B,C, A Ç (B\C) = (AÇ B)\C

  7. Napisz zdanie złożone, które jest prawdziwe wtedy i tylko wtedy, gdy dokładnie jedno z trzech zdań p, q, r jest prawdziwe.