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

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023