Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
11 Cards in this Set
- Front
- Back
Propositional Logic:
|
branch of deductive reasoning that deals with logical (truth-functional) relations among statements
|
|
Symbolic Logic:
|
modern deductive logic that uses symbols
|
|
Statement (claim, proposition):
|
assertion that something is or is not the case.
|
|
Simple statement:
|
does not consist of other statements linked together by connectives.
|
|
Compound statement:
|
built up out of other statements using connectives
|
|
Variables
|
letters used to represent statements in symbolic logic
|
|
Conjunction:
|
compound statement joined by “and” (&) to form a compound statement.
|
|
Conjunct:
|
component statement in a conjunction
|
|
Disjunction:
|
a compound statement of the form “either p or q
|
|
Disjunct:
|
component statement in a disjunction
|
|
Conditional:
|
statement of the form “if p then q,” where p and q could be simple or compound statements
|