Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Zadanie1.5Niechzdaniaporazp1⇒qbędąprawdziwe.Comożnapowiedziećowartości
logicznejzdaniaq?
Zadanie1.6Zakładamy,żezdaniap1⇒qorazqsąprawdziwe.Comożnapowiedziećowartości
logicznejzdaniap?
Zadanie1.7Wykazać,żeschematypodanewTwierdzeniu1.2sąprawamirachunkuzdań.
Zadanie1.8Niech01j02będątautologiami.Czyschematy
01∧02j01∨02j011⇒02j011⇒∼02
sąprawamirachunkuzdań?Odpowiedźuzasadnić.
Zadanie1.9Wiadomo,że01jestkontrtautologiąi02jesttautologią.Czyschematy
011⇒02j01⇐⇒∼02j∼01⇐⇒02
sąprawamirachunkuzdań?Odpowiedźuzasadnić.
Zadanie1.10Niechpbędziezdaniem.Przyjmujemy:
01:p⇐⇒pj02:01⇐⇒pj03:02⇐⇒pj:
Dlajakichwartościn∈Nschemat0njesttautologią?
Zadanie1.11Podaćprzykładyzdańprostych,przyktórychpodanyschematprzyjmujewartość
logiczną0.
1.∼(p∨q)⇐⇒∼p∨∼q
2.(p1⇒q)⇐⇒(q1⇒p)
3.p1⇒(q1⇒r)⇐⇒(p1⇒q)1⇒r
4.p/(q/r)⇐⇒(p/q)/r
Zadanie1.12NiechX1Rorazdanebędąformyzdaniowe:
0(x):|x−2|<1j
w(x):√x2>0
Podaćklasęformzdaniowych:
1.0(x)
2.w(x)
3.∼0(x)
4.∼w(x)
5.0(x)∧w(x)
6.0(x)∨w(x)
7.0(x)1⇒w(x)
8.w(x)1⇒0(x)
17