《Discrete Mathematic with Applications》读书笔记（1）

Chapter1 The logic of compound statement

1.1 Logic Form and Logic Equivalence.

Translate the natural english argument to logic notation.

such as if p or q, then r.

Def1:

Proposition(statement): A sentence that is true of false but not both.

exp he is a student. (is not a proposition, the truth and falsity depends on he)

x+y>0 (is not a proposition, the truth and falsity depends on variable X and Y)

Compound statement(proposition)

~ not (~p negation of p)

^ and(p^q conjunction of p and q)

V or (p V q disjunction of p an q)

Order of operation: