LogiCola
Open main menu
Syllogistic Translations: Easy
Set A
Syllogistic Translations: Hard
NEW
Set A
Propositional Translations: Easy
Set C
Propositional Translations: Hard
NEW
Set C
Modal Translations: Basic
NEW
Set J
Modal Translations: Quantified
NEW
Set J
Deontic Translations: Imperative
NEW
Set L
Deontic Translations: Deontic
NEW
Set L
Belief Translations: Believing
NEW
Set N
Belief Translations: Willing
NEW
Set N
Belief Translations: Rationality
NEW
Set N
Meanings and Definitions
Set Q
Exercises
LogiCola
Donate
LaTeX Keyboard
Enter Your Expression
∼
\sim
∼
NOT
□
\square
□
NECESSARY
◊
\lozenge
◊
POSSIBLE
⋅
\cdot
⋅
AND
∨
\vee
∨
OR
⊃
\supset
⊃
IMPLIES
≡
\equiv
≡
EQUIV
∃
\exists
∃
EXISTS
U
‾
\underline{U}
U
UNDERLINE
Copy Everything
Copy JSON
Preview
$$