Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alan Sare
Virtual Deduction Theorems
wvd2
Next ⟩
df-vd2
Metamath Proof Explorer
Ascii
Structured
Syntax definition
wvd2
Description:
Syntax for a 2-hypothesis virtual deduction.
(New usage is discouraged.)
Ref
Expression
Assertion
wvd2
wff
(
𝜑
,
𝜓
▶
𝜒
)