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 do the symbols
⊤
and
⊥
stand for?
P ∧ ⊤
Two propositional variables
The constants true (⊤) and false (⊥)
Conjunction and disjunction
The beginning and the end of a proof
Get Hint
Start Training from Here
Submit
Related Exercises
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…
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Expression Evaluation
Evaluate the following expression: P ∧ Q when P = true and Q = true
←
Previous
Which of these symbols is read as "if and only if"?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
Next
→
Which sentence says the same as ¬(P ∧ Q)?
Difficulty:
Beginner
Category:
Propositional Logic
Type:
Multiple Choice
