Funktory zdaniotwrcze:

koniunkcja (i) - symbol

alternatywa (lub) - symbol
negacja (nieprawda e...) - symbol ~
implikacja (jeeli... to...) - symbol
rwnowanos (wtedy i tylko wtedy gdy...) - symbol
Zdaniem w sensie logiki nazywa bdziemy kad wypowied, oktrej da si powiedzie, czy jest
prawdziwa, czy faszywa (inaczej: ktrej da siprzyporzdkowa jedn z dwu wartoci logicznych:
prawd lub fasz).
Z definicji tej wida atwo, e zdanie w sensie logiki musi by zdaniem oznajmujcym w sensie
gramatycznym. Nie kade jednak zdanie oznajmujce wsensie gramatyki jest zdaniem w sensie
logiki, np. a jest liczb parzyst jest gramatycznie zdaniem oznajmujcym ale o wypowiedzi tej
nie da si powiedzie,czy jest prawdziwa dopki nie wiemy jak liczb jest a.
~p
negacja

pq
koniunkcja

pq
alternatywa

pq
implikacja

pq
rwnowano

prawdziwa, gdy faszywa, gdy oba faszywa, gdy z

oba zdania s
zdania s
prawdy wynika
prawdziwe
faszywe
fasz

Prawa logiczne:
Prawo
negacji
negacji

~(~p)

koniunkcji

alternatywy

~(pq) ~p~q
~(pq) ~p~q
prawa de Morgana

tosamoci

pp p

pp p

przemiennoci

pq qp

pq qp

cznoci

p(qr) (pq)r

p(qr) (pq)r

przechodnioci
transpozycji

prawdziwa, gdy
oba zdania maj
t sam warto
logiczn

implikacji
~(pq) (p~q)

(pq)(qr) (pr)
(pq) (q~p)

Zad 1.8 Utwrz zaprzeczenie podanego zdania

a) 7 < 5
75
b) (12 >10) (10 >8)
(12 10)(10 8) Zamiana znakw, zamiana alternatywy na koniunkcj.
c) Liczba 10 jest parzysta i 13 jest podzielne przez 3.
~(pq) ~p~q - Liczba 10 jest nieparzysta lub 13 nie jest podzielne przez 3.
d) (5 > 4) (3 = 4)
(5 > 4) (34)
e) Jeeli jest liczb niewymiern, to jest liczb wymiern.
~(pq) (p~q) - jest liczb niewymiern i nie jest liczb wymiern.
f) Jeeli nie kupi fasoli, to kupi bb lub cieciork.
Nie kupi fasoli i nie kupi bobu i nie kupi cieciorki.
g) Jeeli kupi kredki, to kupi flamastry i farby.
Kupi kredki i nie kupi flamastrw lub farb.
1.9 Utwrz zaprzeczenie podanego zdania
a) p ~q
~(p~q) ~pq
b) ~p q
~(~pq) p~q
c) p ~q
~(p~q) pq
d) (p q) ~p
~[(pq)~p] (pq)p
1.10 Utwrz zaprzeczenie podanego zdania
a) p (q r)
~[p(qr)] ~p~q~r
b) p (q r)
~[p(qr)] ~p(~q~r )
c) p (q r)
~[p(qr)] ~p~q~r
d) p (q r)
~[p(qr)] ~p(~q~r)
1.11 Utwrz zaprzeczenie podanego zdania, stosujc prawo negacji implikacji.
(~(pq) (p~q) Prawo negacji implikacji.
a) p ~p
~(p~p) pp (stosujemy prawo tosamoci) p
b) ~p (p q)
~[~p(pq)] ~p(~p~q)
c) (p ~q) (p q)
~[(p~q) (pq)] (p~q)~p
d) (p ~q) (p q)
~[(pq)] (p~q)(~p~q)
1.12 Utwrz zaprzeczenie podanego zdania.
(pq) [(pq)(qp)]
a) p q
(pq) [(pq)(qp)]
~[(pq)(qp)] (p~q)(q~p)

b) ~p ~p
(~p~p) [(~p~p)(~p~p)]
~[(~p~p)(~p~p)] (p~p)(~pp)
c) (p q)~p
{ [(pq)~p][~p(pq)] }
~{ [(pq)~p][~p(pq)] }
Korzystamy z prawa negacji implikacji i prawa negacji koniunkcji:
~{ [(pq)~p][~p(pq)] }
Negacja koniunkcji: ~[(pq)~p]~[~p(pq)] Powstaje alternatywa dwch zaprzecze
implikacji.
Negacja implikacji: [(pq)p][~p(~p~q)]
1.24 Sprawd metod zero-jedynkow, czy podane wyraenie jest tautologi.
a) (p q) (~q ~p)
p
q
(pq)
(~q~p)

b) (p q) (q p)
p

(pq)

(qp)

c) [(p q) p] q
p

(pq)

(pq)p

d) (p q) (~p ~q)
p

(pq)

(~p~q)

e) [(p q) ~p)] q
p

~p

(pq)

(pq)~p)

f) (~p ~q) ~(p q)

p

(~p ~q)

~(p q)

~p

(~p) q

-----------------------p ( (~p) q)