iin2 - Mathbox for Alan Sare

	Mathbox for Alan Sare		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > iin2		Structured version Visualization version GIF version

Theorem iin2 42116

Description: in2 42114 without virtual deductions. (Contributed by Alan Sare, 20-Jun-2011.) (Proof modification is discouraged.) (New usage is discouraged.)

**Hypothesis**
Ref	Expression
iin2.1	⊢ (𝜑 → (𝜓 → 𝜒))

**Assertion**
Ref	Expression
iin2	⊢ (𝜑 → (𝜓 → 𝜒))

**Proof of Theorem iin2**
Step	Hyp	Ref	Expression
1		iin2.1	1 ⊢ (𝜑 → (𝜓 → 𝜒))

Colors of variables: wff setvar class

Syntax hints: → wi 4

This theorem is referenced by: (None)

W3C validator