Theorem initr 123

Description: Annihilation of 𝜑 and its dual into ⊥. Dual of init 122.

Assertion

Ref	Expression
initr	⊦ ((𝜑 ⊗ ~ 𝜑) ⊸ ⊥)

Proof of Theorem initr

Step	Hyp	Ref	Expression

Syntax hints:  ⊥wbot 1  ~ wneg 3   ⊸ wli 61   ⊗ wmc 105

 WARNING: This theorem has an incomplete proof.

This theorem is referenced by: (None)