Vvdash
Represents a double vertical bar followed by a horizontal dash, commonly used in formal logic and mathematical proofs.
Overview
Serves as a specialized logical symbol in mathematical logic, proof theory, and formal reasoning systems.
- Frequently appears in formal mathematical proofs and logical deductions
- Used to denote specific types of logical consequence or inference relations
- Common in advanced mathematics texts, particularly in areas dealing with formal systems and model theory
- Often employed alongside other turnstile variants to express different types of logical relationships
Examples
Expressing a logical double turnstile with additional vertical line in formal logic.
A \Vvdash BShowing multiple logical consequences in a formal proof.
P \land Q \Vvdash R \lor SRepresenting strong semantic entailment in modal logic.
\Box\phi \Vvdash \Diamond\psi