Logical Equivalences Flashcards

1
Q

A sequence of statements aimed at demonstrating the truth of an assertion.

A

Argument

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

statement/s at the beginning of the argument

A

Premises

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

statement at the end of the argument

A

Conclusion

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

a sentence that is true or false but not both.

A

Statement/Proposition

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

statements joined by logical operators

A

Compound statement

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

the disjunction is true when the statements involve do not have the same truth value.

A

Exclusive or (⨁)

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

a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables.

A

Tautology

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

a statement form that is always false regardless of the truth values of the individual
statements substituted for its statement variables.

A

Contradiction

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

a statement that is neither a tautology nor a contradiction.

A

Contingency

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