Propositional Logic 1 Flashcards

1
Q

Logic is the science of…

A

reasoning.

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

_ reasoning and _ are based on the _ of logic.

A

Mathematical, arguments, rules

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

Reasoning is how we process…

A

our thinking in a logical way.

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

Logic contains…

A

propositions.

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

Propositions should be _ sentences, either _ or _.

A

declarative, true, false

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

Propositions cannot be _ or _ at the same time.

A

true, false

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

Propositions cannot be _ or _ at the same time.

A

true, false

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

Propositions cannot be 50%…

A

true or false.

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

Propositions cannot be a phrase or _.

A

onomatopoeia

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

Propositions should have a _ in equations.

A

quantifier

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

What is the foundation of logic?

A

Propositions.

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

These are letters that can represent propositions.

A

Propositional variables.

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

Compound propositions are combinations of…

A

1 or more propositions with logical connectives or operators.

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

These are also used in logic and computer languages.

A

Operators.

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

What is the symbol for negation?

A

”~” or “¬”.

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

A truth table is a tabular representation of all _ _ for _ and outputs.

A

value combinations, inputs

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

A truth table provides _ _ for results of applying an _ on each possible _ of _ _ for the operands.

A

truth values, operand, set, truth values

18
Q

What are the symbols for conjunction?

A

“&”, “^”, or “*”.

19
Q

A conjunction forms compound propositions with _ to join them.

A

“and”

20
Q

_ can also be used in place of “and”.

A

“But”

21
Q

A disjunction forms compound propositions with _ to join them.

A

“or”

22
Q

What is the symbol for disjunction?

A

“v”.

23
Q

“v” is called _.

A

“vel”

24
Q

How does the precedence of operators go?

A
  1. ()
  2. ~
  3. v

Goes from left to right if the same operators are present.

25
Q

An exclusive disjunction is also known as an exclusive _.

A

OR

26
Q

What are the other ways to write ⊕?

A
  1. XOR
  2. EOR
  3. EXOR
  4. Direct sum
27
Q

An exclusive disjunction can usually be _.

A

or

But not both.

28
Q

What is the rule in exclusive disjunction?

A

Compound propositions are true if one is true. Otherwise, false.

29
Q

“If p then q” is a _ statement.

A

conditional

30
Q

In a conditional statement, the p can be denoted as…

A

premise, hypothesis, and antecedent.

31
Q

In a conditional statement, the q can be denoted as…

A

conclusion, and consequent.

32
Q

What is the rule in conditional statements?

A

All compond propositions are true except when true implies false.

33
Q

In constructing a truth table, the amount of rows increase _ as more propositions are added.

A

exponentially

n proposition = 2^n rows.

34
Q

How is p↔q read?

A

“p if and only if p”.

35
Q

Biconditional statements are called…

A

bi-implication, or biconditional of p and q.

36
Q

Biconditionality is also known as…

A

logical equality.

37
Q

What is the rule in biconditionality?

A

Compound propositions are true if both are the same. Otherwise, false.

38
Q

Tautology is an always…

A

true logical expression.

39
Q

Contradictions are also known as…

A

fallacies, or unsatisfiable.

40
Q

Contradictions are always…

A

false.

41
Q

What is a contingency?

A

It is neither a tautology nor a contradiction.