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
What does the symbol
¬
do in the formula
¬P
?
¬P
It reverses the truth value: ¬P is true exactly when P is false
It makes the formula true in every row
It joins two formulas together
It marks P as a variable
Get Hint
Start Training from Here
Submit
Related Exercises
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Which of these symbols is read as "if and only if"?
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?
←
Previous
What does the symbol ∨ in P ∨ Q tell you?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Next
→
How do you read the formula P → Q out loud?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
