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) |
|
|