Theorem aisbbisfaisf

Description: Given a is equivalent to b, b is equivalent to F. there exists a proof for a is equivalent to F. (Contributed by Jarvin Udandy, 30-Aug-2016)

	Ref	Expression
Hypotheses	aisbbisfaisf.1	$$⊢\phi \leftrightarrow \psi$$
	aisbbisfaisf.2	$$⊢\psi \leftrightarrow \perp$$
Assertion	aisbbisfaisf	$$⊢\phi \leftrightarrow \perp$$

Proof

Step	Hyp	Ref	Expression
1		aisbbisfaisf.1	$$⊢\phi \leftrightarrow \psi$$
2		aisbbisfaisf.2	$$⊢\psi \leftrightarrow \perp$$
3	1 2	bitri	$$⊢\phi \leftrightarrow \perp$$