Symbolic Logic Final

Definitions for the logic final

Argument

A set of premises backing up a claim (conclusion)

Proposition or Statement

A true or false description of a state of affairs

Deductively valid argument

When it is impossible for all premises to be true and conclusion false

Law of Noncontradiction

If something is true, it cannot be NOT true at the same time

Law of Excluded Middle

A statement is either true or false

Consistent statements

When it is logically possible for all members of a set to be true at the same time

Conditional statement

If p "(Anticedent) then q (Consequent)

Tautology

Necessarily true propositions

Contradictory

Necessarily false propositions

Cotingent

Probably true and probably false propositions