Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- documentclass[varwidth=10cm, preview]{standalone}
- usepackage{mathtools}
- usepackage{unicode-math}
- usepackage{microtype}
- defaultfontfeatures{ Scale = MatchUppercase }
- setmainfont[Scale = 1.0]{STIX Two Text}
- setmathfont{STIX Two Math}
- begin{document}
- If (Sigma) is (operatorname{singleton}{σ}), then we write
- “(σ vDash τ)” in place of “({σ} vDash τ).” If both (σ vDash τ) and
- (τ vDash σ), then (σ) and (τ) are said to be emph{tautologically
- equivalent} (written (σ gleichstark τ)).
- For example, in Section 1.0 we encountered the wffs
- ( left(¬left(symbfup C ⋁ symbfup Kright)right) ) and
- ( left(left(¬symbfup Cright) ⋀ left(¬symbfup Kright)right) )
- as alternative translations of an English sentence. We can now assert that
- they are tautologically equivalent.
- end{document}
Add Comment
Please, Sign In to add comment