Elementary Logic
Elementary Logic
Elementary Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Soundness and Completeness<br />
Theorem<br />
System ND is sound, i.e., if a sequent Γ ⊢ C is provable in ND, then<br />
Γ ⊢ C is valid.<br />
Theorem<br />
System ND is complete, i.e., if a sequent Γ ⊢ C is valid, then Γ ⊢ C<br />
is provable in ND.<br />
Yih-Kuen Tsay (SVVRL @ IM.NTU) <strong>Elementary</strong> <strong>Logic</strong> FLOLAC 2011 31 / 64