Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
24
I.Wstępdomatematyki
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
0
0
0
1
1
1
p∧q
1
1
0
0
0
0
0
0
(p∧q)⇒r
1
0
1
1
1
1
1
1
∼r
0
1
0
1
0
1
0
1
∼r∧q
0
1
0
0
0
1
0
0
∼p
0
0
0
0
1
1
1
1
(∼r∧q)⇒∼p
1
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
ć
Natomiastwyrażenie
(p∨q)⇒r
p⇒q
niejestregułądowodzenia,cowidaćpopodstawieniu
p=r=19q=0.
30
1
1
1
1
0
0
0
0
p
1
1
0
0
1
q
1
0
0
1
0
1
0
1
0
1
0
r
q∨r
1
1
1
0
1
1
1
0
p∨(q∨r)
1
1
1
1
1
1
1
0
p∨q
1
1
1
1
1
1
0
0
(p∨q)∨r
1
1
1
1
1
1
1
0
ć
1
1
1
1
1
1
1
1
1
1
1
1
p
0
0
0
0
1
q
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
p∨q
1
1
1
1
1
1
0
0
p∨r
1
1
1
1
0
0
1
1
(p∨q)∧(p∨r)
1
0
0
0
1
1
1
1
q∧r
1
0
0
0
1
0
0
0
p∨(q∧r)
1
1
1
1
1
0
0
0
ć
1
1
1
1
1
1
1
1
40a)warunekkonieczny,
b)warunekkoniecznyidostateczny(np.ztwierdzeniacosinusów),
c)warunekdostateczny,
d)warunekniejestanikonieczny,anidostateczny.
50Przedstawimyrozwiązaniewpostacitabelki:
a
b
F0
F1
F2
0
0
0
0
0
0
1
0
0
0
1
0
0
0
1
0
1
0
1
1
∼(a⇒b)
a∧b
0