Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
~(p∧q)⇔(~p∨~q)
p
1
1
0
0
q
1
0
1
0
p∧q
1
0
0
0
~(p∧q)
0
1
1
1
~p
0
0
1
1
~q
0
1
0
1
~p∨~q
0
1
1
1
~(p∧q)⇔(~p∨~q)
1
1
1
1
~(p∨q)⇔(~p∧~q)
p
1
1
0
0
q
1
0
1
0
p∨q
1
1
1
0
~(p∨q)
0
0
0
1
~p
0
0
1
1
~q
0
1
0
1
~p∧~q~(p∨q)⇔(~p∧~q)
0
0
0
1
1
1
1
1
Ostatniekolumnywtablicachświadcząoprawdziwościrozważanych
zdańbezwzględunawartościlogicznezdańpiq,zatemsątautologiami.
Wyrażenie,któremuniemożnaprzypisaćwartościlogicznejnazywa-
myformązdaniową.
Formązdaniowąjestfunkcjazdaniowa,czyliwyrażeniezawierające
zmienne.Funkcjazdaniowastajesięzdaniem,jeślizazmiennepodstawi-
mykonkretnewielkościzjejzakresuzmienności(dziedziny).
Przykład1020
Wyrażeniex2-1=3,gdziex∈R,jestfunkcjązdaniową,którejdziedziną
jestzbiórliczbrzeczywistychR.Dlax∈{-2,2}maonowartośćlogiczną1,
adlax∉{-2,2}-wartośćlogiczną0.
Przykład1030
Wyrażeniex2-1=3,gdziex∈N,jestfunkcjązdaniową,którejdziedziną
jestzbiórliczbnaturalnychN.Dlax=2maonowartośćlogiczną1,adla
x∈N\{2}-wartośćlogiczną0.
1010Elementylogiki
13