Exam 2 Flashcards Preview

PHI 120 > Exam 2 > Flashcards

Flashcards in Exam 2 Deck (23):
1

Operators/Connectives

symbols used to connect simple propositions in propositional logic

2

Propositional Logic

a kind of logic in which the fundamental components are whole statements

3

Simple Statement

atomic statements; a statement that does not contain any other statement as a component

4

Compound Statement

a statement that contains at least one simple statement as a component

5

Negation

a statement having a tilde as its main operator

6

Conjunctive Statement/Conjunction

a statement having a dot as its main operator

7

Disjunctive Statement/Disjunction

a statement having a wedge as its main operator

8

Conjunct

the component in a conjunctive statement on either side of the main operator

9

Disjunct

the component in a disjunctive statement on either side of the main operator

10

Conditional Statement/Conditional

a statement having a horseshoe as its main operator

11

Material Implication

the relation expressed by a truth-functional conditional

12

Antecedent

the component of a conditional statement immediately following the word "if"

13

Consequent

the component of a conditional statement immediately following the word "then"

14

Bi-Conditional Statement/Bi-Conditional

a statement having a triple bar as its main operator

15

Material Equivalence

the relation expressed by a truth-functional bi-conditional

16

Main Operator

the operator (connective) in a compound statement that has as its scope everything else in the statement

17

Sufficient Condition

the condition represented by the antecedent in a conditional statement

18

Necessary Condition

the condition represented by the consequent in a conditional statement

19

Well-Formed Formula

a syntactically correct arrangement of symbols

20

Truth Function

a compound proposition whose truth value is completely determined by the truth values of its components

21

Statement Variable

a lowercase letter, such as p or q, that can represent any statement

22

Statement Form

an arrangement of statement variables and operators such that the uniform substitution of statements in place of the variables results in a statement

23

Truth Table

an arrangement of truth values that shows in every possible case how the truth values of a compound proposition is determined by the truth values of its simple components