Chapter 7: Deductive Reasoning - Propositional Logic Flashcards

1
Q

Propositional Logic

A

A branch of deductive reasoning that deals with the logical relationships among entire statements

Uses variables as well as logical connectives to symbolize the form of arguments

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

Conjunction

A

(and), p & q

Priya rode her bike, and John walked

A conjunction is false if at least one of its statement components (conjuncts) is false

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

Disjunction

A

(or), p v q

Either Priya rode her bike or John walked

A disjunction is still true even if one of its component statements (disjuncts) is false

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

Negation

A

(not), tilde p

Priya did not ride her bike

A negation is the denial of a statement

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

Conditional

A

(if - then) p arrow q

If Priya rode her bike, then John walked

A conditional statement is false if and only if its antecedent is true and its consequent is false

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

Checking for Validity

A

The truth table test of validity is based on a basic, but very important, fact about validity that you’ve already encountered: It’s impossible for a valid argument to have true premises and a false conclusion.

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

Antecedent (p)

A

The word or phrase that a pronoun refers to or replaces in a sentence

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

Consequent (q)

A

The second statement (the then part) is known as the consequent

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

Words used in conditionals

A

“if” —introduces the antecedent; If p, then q = p → q

“only if” —introduces the consequent; p only if q = p → q

“provided” —introduces the antecedent; p provided q = q → p

“unless” —introduces the antecedent; p unless q = ~q → p

“whenever” —introduces the antecedent; whenever p, q = p → q

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