# In and Out The rules for are very

- Slides: 17

&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 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 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 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 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 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) (P&Q)>R 1 &O R GOAL

&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) (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) (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) (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) (P&Q)>R 1 &O R GOAL

&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) (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 >O WRONG

&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

- The LHC Very big Very cold Very high
- Rules Rules What are rules Where do we
- Scribes A Very Ancient And Very Modern And
- SCIENTIFIC NOTATION FOR WRITING VERY BIG AND VERY
- A very very bad joke A cation and
- Today we will round very large and very
- DVD Delayed very delayed Diversified very diversified Digital
- FROM THE VERY SMALL TO THE VERY LARGE