SAT1 Flashcards
1
Q
What is the basic building block in propositional logic?
A
In propositional logic, the basic building blocks are propositional variables.
2
Q
What is the synonym for a propositional variable?
A
A propositional variable is also called atom or atomic proposition, because it is not possible to split it into smaller formulas.
3
Q
What are a, b, c, x, y, z, z1, z2, zn, … examples of in propositional logics?
A
They are examples of variables
4
Q
Can Propositional variables have any arguments, i.e., can we define a predicate isBrotherOf and then connect objects alice and bob with this predicate
A
No Propositional variables cannot have any arguments
5
Q
What are the truth constants in propositional logic?
A
