Language of logic Flashcards

(8 cards)

1
Q

An _________________ one or
more operand expressions into a larger
expression.

A

operator or connective combines

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
1
Q

is the logic of compound
statements built from simpler statements
using so-called Boolean connectives.

A

Propositional Logic

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What symbol: ^

A

Conjunction operator or AND

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

What symbol: v

A

Disjunction operator - OR

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

What symbol: ->

A

Implication operator - IMPLIES

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What symbol: <–>

A

Biconditional operator - IFF

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

The unary ___________”” (NOT)
transforms a prop.

A

negation operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q
A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly