Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Proof:
1. Assume that {} : . This means that
there is a proof, i.e., an ordered sequence of
wffs 1, 2, , n that satisfies the definition of
being a proof of from {}.
9. : (( ) (( ) ))
( (( )
(( ) )))
A1
10. : (( )
(( ) ))
8, 9 MP
:
Premise
: ( )
A1
:
1, 2 MP
: ( ) (( ) )
A3
: ( )
3, 4 MP
:
(Self-Imp)
:
5, 6 MP