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