weqtru - Linear Logic Proof Explorer

	Linear Logic Proof Explorer	< Previous Next > Nearby theorems
Mirrors > Home > LLPE Home > Th. List > weqtru		Structured version

Syntax Definition weqtru 301

Description: Truth judgement.

**Hypothesis**
Ref	Expression
np	nilad P

**Assertion**
Ref	Expression
weqtru	wff ⊨ P

See definition df-eqtru 303 for more information.

Colors of variables: wff var nilad