Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.Elementylogikimatematycznej
(p∧q)⇐⇒(q∧p)(prawoprzemiennościdlakoniunkcji),
[p∧(q∨r)]⇐⇒[(p∧q)∨(p∧r)](praworozdzielnościkoniunkcji
względemalternatywy),
[p∨(q∧r)]⇐⇒[(p∨q)∧(p∨r)](praworozdzielnościalternatywy
względemkoniunkcji),
[(p∨q)∨r]⇐⇒[p∨(q∨r)](prawołącznościdlaalternatywy),
[(p∧q)∧r]⇐⇒[p∧(q∧r)](prawołącznościdlakoniunkcji),
(p=⇒q)⇐⇒[(Źq)=⇒(Źp)](prawokontrapozycji),
[Ź(p∨q)]⇐⇒[(Źp)∧(Źq)],
[Ź(p∧q)]⇐⇒[(Źp)∨(Źq)].
DwaostatniezwymienionychprawnazywająsięprawamideMor-
gana.
UWAGA.Wceluuproszczeniazapisuprzyjmujemyumowę,żenegacjawiążezdaniasilniej
odpozostałychfunktorów.
Wlogiceużywasiędwóchpodstawowychmetodsprawdzania,żejakieś
wyrażenielogicznejesttautologią.Jednąztychmetodjestpopularname-
todazerojedynkowa;drugąmetodą–niecotrudniejsząimającąmniejszy
zasięgzastosowańjestmetodasprowadzaniadoniedorzeczności.
Obietemetodyzilustrujemynaprzykładach.
Przykład1.2
Sprawdzimymetodązerojedynkową,czywyrażenielogiczne
[Ź(p=⇒q)]⇐⇒(p∧Źq)
jesttautologią.
Budujemytabelęlogiczną:
p
1
0
1
0
q
1
0
0
1
Ź(p=⇒q)p∧Źq
0
0
1
0
0
0
1
0
[Ź(p=⇒q)]⇐⇒(p∧Źq)
1
1
1
1
Zatemrozważanewyrażenielogicznejesttautologią.
12
