│M ∧ (S ∧ W)1
├─
1 Ext│M(4)
1 Ext│S ∧ W2
2 Ext│S
2 Ext│W(5)
│
││●?
│├─
4 QED││M?3
│       ?
││●?
│├─
5 QED││W3
├─
3 Cnj│M ∧ W
derivation
M ∧ (S ∧ W)
1 Ext
M
M ∧ (S ∧ W)
1 Ext
S ∧ W
M ∧ (S ∧ W)
1 Ext
S ∧ W
2 Ext
S
2 Ext
W
M
W
3 Cnj
M ∧ W
M ∧ (S ∧ W)
1 Ext
M
M ∧ (S ∧ W)
1 Ext
S ∧ W
2 Ext
W
4 QED
5 QED
?
?
?
conclusion tree
/svg>
 
 
 
 
 
 
M ∧ (S ∧ W)
M ∧ W
?
M
S ∧ W
M ∧ W
?
M
S
W
M ∧ W
?
M
S
W
M
?
M
S
W
W
?
M
S
W
W
?
argument tree
• 1 • 2 • 3 • 4 • 5 •