Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rachunekzdań
5
OJeślip7qsformumitowyreniep^qpVqp#qp-qste
OFormumistylkowyrenikt.reotrzymujemypoprzezwykorzystnie
formumi
skończonejliczyopercjipunkt.wOiO
r
ład
Wyznczwrtoślogicznformuy
)f(p7q):(ŹpVq)#q
)w(p7q):(ŹpVq)-(p#q)
Lowąane
)Mmy
f(070):(Ź0V0)#0:(1V0)#0:1#0:0
f(071):(Ź0V1)#1:(1V1)#1
f(170):(Ź1V0)#0:(0V0)#0
f(171):(Ź1V1)#1:(0V1)#1
Telkmztempost
p
q
Źp
ŹpVq
ŹpVq#p
)Tworzymytelkę
p
q
Źp
ŹpVq
p#q
ŹpVq©p#q
Definca4Formuzdniowzwszeprwdziwnosinzwęauolo
Fszywzwszeformuzdniownosinzwęonrauolo
TutologienzywmyinczejprawamracunudańMonpowie-
dzie
Jestsprw
rdzown
estoschemtyzdńzwszeprwdziwych
etreśzdńkt.repodstwimydotutologiin
miejscezmiennychzdniowychniem
dnegowpywunprwdziwzd-
nijkiezniejotrzymujemyPrwdziwośtegozdniwynikzsmej
dnej
(struktury)tutologii