Next
Up
3
Propositional Proofs
⊢
f
1
⊃
f
2
, ,…,
⊢
f
n
−
1
⊃
f
n
⇒ ⊢
f
1
⊃
f
n
ImpChain
⊢
f
1
≡
f
2
, ,…,
⊢
f
n
−
1
≡
f
n
⇒ ⊢
f
1
≡
f
n
EqvChain
⊢
f
1
,
⊢
f
2
,…,
⊢
f
n
⇒ ⊢
g,
Prop
where the formula
f
1
∧
f
2
∧
…f
n
⊃
g
is a substitution instance of a propositional tautology
Next
Up
2023-09-12
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2023