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
How do you read the formula
P → Q
out loud?
P → Q
P and Q
If P, then Q
P if and only if Q
P or Q
Get Hint
Start Training from Here
Submit
Related Exercises
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
What do the symbols ⊤ and ⊥ stand for?
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?
←
Previous
What does the symbol ¬ do in the formula ¬P?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Next
→
Which of these symbols is read as "if and only if"?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
