Question: Option 2 : Start with ( p ? ? q ) as a premise. Use axiom T to remove the to get p ? ?
Option :
Start with as a premise.
Use axiom T to remove the to get
Open a dashed box and use elimination twice to obtain the separate atomic formulas.
Use axiom twice, ie once on each atomic formula, to add a to each.
Close the dashed box and use introduction twice, ie once on and once on to get
p and
Combine and using introduction.
Option :
Start with as a premise.
Open a dashed box and use elimination to get
Use elimination twice to obtain the separate atomic formulas.
Close the dashed box and use introduction twice, ie once on each atomic formula.
Use axiom twice, once on and once on to get and
Combine and using introduction.
Option :
Open a solid box and start with as an assumption.
Open a dashed box and use elimination to get
Use elimination twice to obtain the separate atomic formulas.
Use axiom twice, ie once on each atomic formula, to add a to each.
Close the dashed box and use introduction twice, ie once on and once on to get
and
Close the solid box to get the result.
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
