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