1.1 Proposition Logic Flashcards

1
Q

Definition of a proposition

A

A declarative statement that is either true or false

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

Truth table for the negation of a proposition

A

The negation of T is F
the negation of F is T

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

The Truth Table for the Conjunction of Two Propositions

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

The Truth Table for The Disjunction of Two Propositions

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

Exclusive or

A

the proposition is true when exactly one of p and q is true and false otherwise

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

The Truth Table for the Conditional Statement (if p, then q)

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

What is the converse of p → q

A

q → p

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

What is the contrapositive of p → q

A

¬q → ¬p

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

What is the inverse of p → q

A

¬p → ¬q

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

Of the three conditional statements ( converse, contrapositive and inverse), which one always has the same truth vale as p → q

A

The contrapositive ¬q → ¬p

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

When are two compound propositions equivalent?

A

When they have the same truth values, regardless of the truth values of it propostional variables

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

The Truth Table for the Biconditional Statement p ↔ q

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

What is the proposition of the biconditional statement p ↔ q

A

p if and only if q

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

Precedence of Logical Operators

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

In a conditional statement, the conclusion is…

A

the necessary condition

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

In a conditional statement, the antecedent is…

A

The sufficient condition

16
Q

In a conditional statement, the clause following “only if” is…

A

The conclusion, not the antecedent

17
Q

Different ways to say p-> q (1/2)

A
18
Q

Different ways to say p-> q (2/2)

A