Metamath Proof Explorer


Syntax definition wvd3

Description: Syntax for a 3-hypothesis virtual deduction. (New usage is discouraged.)

Ref Expression
Assertion wvd3 wff (    𝜑    ,    𝜓    ,    𝜒    ▶    𝜃    )