Skip to content
Logic Calculator
Calculator
Synthesis
Learn
Dictionary
Exercises
Select theme:
System
Select Language:
🇬🇧
English
Menu
Calculator
Synthesis
Learn
Dictionary
Exercises
Theme
Select theme:
System
Language
Select Language:
🇬🇧
English
←
Back to Exercises
0:00
Difficulty:
Beginner
Category:
Propositional Logic
Type:
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
Learn the theory
The guides that explain what this exercise practices.
Introduction to Propositional Calculus
→
Learn about propositions, truth tables, logical operators, and how to construct and evaluate logical expressions in propositional logic.
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
