MATHM | Logic

• Serves as a set of rules that govern the structure and presentation of

  mathematical proofs.

  Logic
• Allows us to determine the validity of arguments In and out of mathematics

  Logic
• is a statement that is, by itself, either true or false.

  Proposition
• They can be expressed in symbols P, Q, R, or p, q, r.

  Proposition
• means single idea statement


  Single
• Compound


  conveys two or more ideas.
• Declarative sentence that declares a fact, that is either true or false, but not both

  Propositional Logic
• Universal Quantifier - “for all” “for every” - denoted by “∀”
• Existential Quantifier - “There exists” - Denoted by “∃”
• This is?

  Conditional Statement

  
• This is?

  Converse

  
• This is?

  Inverse

  
• This is?

  Contrapositive

  
• shows all possible combinations of truth values for component statements

  Truth Table
• This symbol means?

  Not

  
• This symbol means?

  And

  
• This symbol means?

  Or

  
• This symbol means?

  If then

  
• This symbol means?

  If and only if

  
• opposite lang

  Negation
• kapag may FALSE, false na siya

  Conjunction
• kapag may TRUE, true na siya

  Disconjuction
• • P (true) at Q (false)=FALSE
  • TRUE na lahat ng combination

  Conditional
• • TRUE kapag pareho yung P and Q
  • FALSE kapag magkaiba yung P and Q

  Biconditional
• Serves as a set of rules that govern the structure and presentation of mathematical proofs.

  Logic
• This is Negation

  
• This is Conjunction

  
• This is Disjunction

  
• This is Conditional

  
• This is Biconditional