© 1996-2019







3 Propositional Proofs

f1 f2, ,, fn1 fn ⇒ ⊢ f1 fn ImpChain
f1 f2, ,, fn1 fn ⇒ ⊢ f1 fn EqvChain
f1,f2,,fn ⇒ ⊢ g, Prop
where the formula f1 f2 fn g
is a substitution instance of a propositional tautology







2019-01-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL