| 2. |
| Premise |
1 |
B=A |
|
| Premise |
2 |
~B |
|
| Assumption |
3 |
what if.... |
A |
| 1,3 =E |
4 |
then........ |
B |
| 2 R |
5 |
then........ |
~B |
| 3-5 ~I |
6 |
~A |
|
|
| 3. |
| Premise |
|
1 |
|
A |
|
| Premise |
|
2 |
|
~A |
|
| Assumption |
|
3 |
|
....what if |
~B |
| 1 R |
|
4 |
|
....then... |
A |
| 2 R |
|
5 |
|
....then... |
~A |
| 3-5 ~E |
|
6 |
|
B |
|
|
| 4. |
| Premise |
|
1 |
|
~~A |
|
| Assumption |
|
2 |
|
....what if |
~A |
| 1 R |
|
3 |
|
....then... |
~~A |
| 2-3 ~E |
|
4 |
|
A |
|
|
| 5. |
| Premise |
|
1 |
|
(A&B)>(L&S) |
|
| Premise |
|
2 |
|
~L |
|
| Assumption |
|
3 |
|
....what if |
A&B |
| 1,3 >E |
|
4 |
|
....then... |
L&S |
| 4 &E |
|
5 |
|
....then... |
L |
| 2 R |
|
6 |
|
....then... |
~L |
| 3-6 ~I |
|
7 |
|
~(A&B) |
|
|