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