Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
14
ROZDZIAŁ1.PODSTAWOWEPOJĘCIAMATEMATYKI
Reguływnioskowania
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
P,P=⇒Q
Q
modusponens
P=⇒Q,∼Q
∼P
modustollens
P=⇒Q,Q=⇒R
P=⇒R
sylogizmhipotetyczny
P∨Q,∼P
Q
sylogizmalternatywny
P=⇒Q,∼P=⇒Q
Q
dylematkonstrukcyjny
P=⇒Q,P=⇒∼Q
∼P
dylematdestrukcyjny
P=⇒Q,R=⇒S
P∧R=⇒Q∧S
prawokompozycjikoniunkcji
P=⇒Q,R=⇒S
P∨R=⇒Q∨S
prawokompozycjialternatywy
∼T=⇒R∧∼R
T
dowódniewprost
P∧∼Q=⇒R∧∼R
P=⇒Q
dowódniewprost
P∧∼Q=⇒∼P
P=⇒Q
dowódniewprost
Przykład1.1.4.Rozpatrzymynastępująceprzykładywnioskowania:
1.Modusponens(Regułaodrywania)
Rozważamydwazdaniaprawdziwe:
–DStudentotrzymałwteścieponad20pkt”
–DJeżelistudentotrzymawteścieponad20pkt,tozdałegzamin.”
Konkluzja:studentzdałegzamin.
2.Modustollens
Rozważmydwazdaniaprawdziwe:
–DJeżelistudentotrzymałwteścieponad20pkt,tozdałegzamin.”
–DStudentniezdałegzaminu.”