In and Out The rules for are very

  • Slides: 17
Download presentation
&In and &Out The rules for & are very simple. A A&B B A&B

&In and &Out The rules for & are very simple. A A&B B A&B &In &Out

&In and &Out The strategies are simple too: If you have a sentence with

&In and &Out The strategies are simple too: If you have a sentence with the shape A&B, then use &Out to obtain A and B. 1. P&(Q&R)

&In and &Out The strategies are simple too: If you have a sentence with

&In and &Out The strategies are simple too: If you have a sentence with the shape A&B, then use &Out to obtain A and B. 1. P&(Q&R) 2. P 3. Q&R 1 &O

&In and &Out The strategies are simple too: If a sentence with the shape

&In and &Out The strategies are simple too: If a sentence with the shape A&B is your goal, prove A and prove B and join them together with &In. (P&Q)&R GOAL

&In and &Out The strategies are simple too: If a sentence with the shape

&In and &Out The strategies are simple too: If a sentence with the shape A&B is your goal, prove A and prove B and join them together with &In. P&Q GOAL R GOAL (P&Q)&R &I

&In and &Out 1) P&((P&Q)>R) A 2) Q A R GOAL

&In and &Out 1) P&((P&Q)>R) A 2) Q A R GOAL

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O R GOAL

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O R GOAL

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O P&Q GOAL R 4, ? >O

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O P&Q GOAL R 4, 5 >O

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O P&Q ? , ? &I R 4, 5 >O

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O 5) P&Q 3, 2 &I 6) R 4, 5 >O

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O R GOAL

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O R GOAL

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4)

&In and &Out 1) P&((P&Q)>R) A 2) Q A 3) P 1 &O 4) (P&Q)>R 1 &O P&Q GOAL R 4, ? >O

&In and &Out Do not confuse &Out with >Out 1) P>Q 2) P 1

&In and &Out Do not confuse &Out with >Out 1) P>Q 2) P 1 >O WRONG

&In and &Out Do not confuse &Out with >Out 1) P>Q 2) P A

&In and &Out Do not confuse &Out with >Out 1) P>Q 2) P A A>B B >O 1 >O WRONG For more click here