LogiCola
Open main menu
Exercises
Donate
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
$ \underline{U} $
UNDERLINE
Copy Everything
Copy JSON
Preview
$$