Intro to Logic

Logic definition

Methods of reasoning, provides rules and techniques to determine whether an argument is valid

Statements and propositions

a declarative sentence that is either true or false, but not both.

Non statement examples

commands questions and opinions

Boolean Algebra

only two possible values: true/false or 1/0, and the rules for combining them using logical operations such as AND, OR, and NOT

Symbolic Logic

using symbols to represent contractions in scentences

Negation statement

reverses the truth of another statement represented by ~

Quantified statements (Q S)

containing all, some, no or none

Equivalent statement: “All A are B”

There are no A that are not B equivalent

Equivalent statement: “Some A are B”

At least one A is a B equivalent

Equivalent statement: “No A are B”

All A are not B equivelant

Equivalent statement: “Some A are not B”

Not all A are B equivelant

Negation of a Quantified statement “No A are B”

Some A are B negation

Negation of a Quantified statement “All A are B”

Some A are not B negation

Compound Statements

more than one statement in once scentence