Skip to content
Logic Calculator
Calculator
Synthesis
Learn
Exercises
Select theme:
System
Select Language:
🇬🇧
English
Menu
Calculator
Synthesis
Learn
Exercises
Theme
Select theme:
System
Language
Select Language:
🇬🇧
English
←
Back to Exercises
0:00
Beginner
Propositional Logic
Multiple Choice
Which of these symbols is read as
"if and only if"
?
∧
∨
→
↔
Get Hint
Start Training from Here
Submit
Related Exercises
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Which sentence says the same as ¬(P ∧ Q)?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
How is the formula ¬P ∧ Q grouped?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
In P → Q, P ⊨ Q, what does the symbol ⊨ mean?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Your keyboard has no arrow key for →. What do you type in the calculator to…
←
Previous
How do you read the formula P → Q out loud?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Next
→
What do the symbols ⊤ and ⊥ stand for?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice