ITL
© 1996-2018







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







2018-10-21
Contact | Home | ITL home | Course | Proofs | Algebra | FL