Showing Rules are Derived
To show a rule is derived (in the 11 rule system),prove it in that system.
Showing Rules are Derived
To show a rule is derived (in the 11 rule system),prove it in that system.
This will give you excellent practicewith the 11 rule system.
Showing DN
(DN)
--AA
(DN) Derivation
--A
A GOAL
Showing DN
(DN)
--AA
(DN) Derivation
--A
A -O
Showing DN
(DN)
--AA
(DN) Derivation
--A -A PA ?&-? &I A -O
Showing DN
(DN)
--AA
(DN) Derivation
--A -A PA -A&--A &I A -O
Showing DM
(DM)
-(AvB)-A&-B
Derivation of (DM)-(AvB)
-A&-B&I
Showing DM
(DM)
-(AvB)-A&-B
Derivation of (DM)-(AvB)
-A
-B-A&-B
GOAL
GOAL&I
Showing DM
(DM)
-(AvB)-A&-B
Derivation of (DM)-(AvB)
-A B
?&-? -B-A&-B
GOALPA
&I-I&I
Showing DM
(DM)
-(AvB)-A&-B
Derivation of (DM)-(AvB)
-A B
(AvB)&-(AvB)
-B-A&-B
GOALPA
&I-I&I
Showing DM
(DM)
-(AvB)-A&-B
Derivation of (DM)-(AvB)
-A B AvB (AvB)&-(AvB)-B-A&-B
GOALPAvI&I-I&I
Showing DM
(DM)
-(AvB)-A&-B
Derivation of (DM)-(AvB) A AvB (AvB)&-(AvB)-A B AvB (AvB)&-(AvB)-B-A&-B
For more click here
PAvI&I-IPAvI&I-I&I
Top Related