Language of logic Flashcards
(8 cards)
1
Q
An _________________ one or
more operand expressions into a larger
expression.
A
operator or connective combines
1
Q
is the logic of compound
statements built from simpler statements
using so-called Boolean connectives.
A
Propositional Logic
2
Q
What symbol: ^
A
Conjunction operator or AND
3
Q
What symbol: v
A
Disjunction operator - OR
4
Q
What symbol: ->
A
Implication operator - IMPLIES
5
Q
What symbol: <–>
A
Biconditional operator - IFF
6
Q
The unary ___________”” (NOT)
transforms a prop.
A
negation operator
7
Q
A