Zadania dodatkowe
Zadanie 1
Dokonaj rozbioru logicznego oraz narysuj odpowiednie struktury dla formuł:
(a) [(Źp Ò! r) Ò! Ź(Źp Ò! q)],
(b) Ź(p '" r) '" Ź(Źs Ò! s),
(c) (Źp Ò! Źr) (" Ź(Źs '" q).
Zadanie 2
Dane formuły zapisz w notacji polskiej:
(a) [(p Ò! Źr) '" Ź(Źp Ò! q)],
(b) (p Ò! Źr) '" Ź(Źs Ò! s),
(c) (Źp '" Źr) Ò! Ź(s '" Źq).
Zadanie 3
Dane formuły zapisz w notacji tradycyjnej:
(a) KENqsANpNq,
(b) CANqsNKpNq,
(c) ENAqsNEpNq,
(d) CKqsNCNpq,
(e) NKANpNqNEAqNsNApq.
Zadanie 4
Sprawdz
metodą tabelkową, czy podane formuły są tautologiami bądz
kontrtautologiami rachunku
zdań.
(a) [(Źp Ò! r) Ò! (Źp Ò! q)],
(b) Ź(Źs '" q) '" Ź(p Ò! q),
(c) [(Źp Ò! Źr) (" Ź(Źs '" q)] Ò! Ź(Źs Ò! s).
Zadanie 5
Sprawdz
metodą skróconą, czy podane formuły są tautologiami rachunku zdań.
(a) [(Źp Ò! r) Ò! (Źp Ò! q)],
(b) Ź(Źs '" q) (" Ź(p Ò! Źq),
(c) [(Źp Ò! Źr) '" Ź(Źs (" q)] Ò! Ź(Źs '" p).
Zadanie 6
Zaproponuj dwie formuły będące w koniunkcyjnej postaci normalnej tak, aby jedna była tautologią,
a druga nie.
Zadanie 7
Zaproponuj dwie formuły będące w alternatywnej postaci normalnej tak, aby jedna była kontrtautologią,
a druga nie.


Wyszukiwarka

Podobne podstrony:
Analiza Matematyczna 2 Zadania
ZARZÄ„DZANIE FINANSAMI cwiczenia zadania rozwiazaneE
ZADANIE (11)
zadanie domowe zestaw
Zadania 1
W 4 zadanie wartswa 2013
Sprawdzian 5 kl 2 matematyka zadania
zadania1
Zadania 2015 9
Logika W8 zadania
Logika troch teorii zadania
06 Zadania z rozwiÄ…zaniamiidd47

więcej podobnych podstron