Scribd Logo
Upload

Welcome to Scribd!

  • 792 views

    Activity I For GED 141 Mathematics in The Modern World

    Uploaded by

    Joycel Ann Gimenez
    The document discusses logic and logical reasoning, defining logic as the study of evaluating arguments and reasoning. It explains key logical concepts like statements, propositional variables, logical connectives, and compound statements formed by connecting simple statements. The document also provides examples of truth tables to illustrate the six main logical connectives of conjunction, disjunction, negation, conditional, biconditional, and exclusive-or.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd

    Activity I For GED 141 Mathematics in The Modern World

    Uploaded by

    Joycel Ann Gimenez
    792 views4 pages
    The document discusses logic and logical reasoning, defining logic as the study of evaluating arguments and reasoning. It explains key logical concepts like statements, propositional variables, logical connectives, and compound statements formed by connecting simple statements. The document also provides examples of truth tables to illustrate the six main logical connectives of conjunction, disjunction, negation, conditional, biconditional, and exclusive-or.

    Original Title

    Activity-I-for-GED-141-Mathematics-in-the-Modern-World

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document discusses logic and logical reasoning, defining logic as the study of evaluating arguments and reasoning. It explains key logical concepts like statements, propositional variables, logical connectives, and compound statements formed by connecting simple statements. The document also provides examples of truth tables to illustrate the six main logical connectives of conjunction, disjunction, negation, conditional, biconditional, and exclusive-or.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    792 views4 pages

    Activity I For GED 141 Mathematics in The Modern World

    Uploaded by

    Joycel Ann Gimenez
    The document discusses logic and logical reasoning, defining logic as the study of evaluating arguments and reasoning. It explains key logical concepts like statements, propositional variables, logical connectives, and compound statements formed by connecting simple statements. The document also provides examples of truth tables to illustrate the six main logical connectives of conjunction, disjunction, negation, conditional, biconditional, and exclusive-or.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    of 4

    LOGIC

    -technically defined as ‘the science or study of how to evaluate arguments and reasoning’.
    -discipline that deals with the methods of reasoning.
    Logical reasoning : used to prove theorems or to verify correctness of programs.
    STATEMENT (or Proposition) a declarative sentence which is either true or false, but not both.
    Examples.
    1. Marikina City is in the National Capital Region. ____________Statement
    2. 2 + 4 = 8 ____________Statement
    3. Whale is a mammal. ____________Statement
    4. Will you wait for me? ____________Not a Statement
    5. Mathematics is fun. ____________Statement

    LOGICAL CONNECTIONS
    Propositional Variable. used to represent a statement.
    Logical Connectives. used to combine simple statements which are referred as compound
    statements.
    Compound statements. composed of one or two or more simple statements connected by
    logical connectives “and”, “or”, “if then”, “not”, “if and only if”, “exclusive-or”.
    Six Main Logical Connectives.
    1. COnjunction . If p is true and q is true, then p ^ q is true; otherwise p^q is false. Note: ^
    is the symbol for “and”

    p q p^q
    T T T
    T F F
    F T F
    F F F
    *Final answer : TRUE if BOTH statements are True, otherwise it’s False
    2. Disjunction. If p is true or q is true or both p and q are true, then, p v q is true. Note: v is
    the symbol for “or”

    p q Pvq
    T T T
    T F T
    F T T
    F F F
    *Final answer: TRUE if there is at least one True statement, or False if bothe
    statements are false
    3. Negation. If p is true, the ~p is false. Note: ~ is the symbol for “not”

    p ~p
    T F
    F T
    *Final answer would just be the opposite.
    4. Conditional. When p is true and q is false, then p→q is false ; otherwise p→q is true. ( →
    is the symbol for “if then”)

    p q p→q
    T T T
    T F F
    F T T
    F F T

    5. Biconditional. If p and q are both true or both false, then p↔q is true. (↔ is the
    symbol for “if and only if”)

    p q p↔q
    T T T
    T F F
    F T F
    F F T
    *Final answer: TRUE if same truth values (both true or both false), FALSE if different
    truth value
    6. Exclusive-or. If p and q are true or both false, then p Ɵ q is false.

    p q PƟq
    T T F
    T F T
    F T T
    F F F
    * Final Answer : Opposite of Bi conditional/ FALSE if same truth values (both true or
    both false), TRUE if different truth value

    Examples : *Construct the truth tables of the following compound statement.


    1. [(p^q) v ~(p v q)]
    p q p^q p vq ~(p v q) . [(p^q) v ~(p v q)]
    T T T T F T
    T F F T F F
    F T F T F F
    F F F F T T
    2. ~p ^ (q v ~r)
    p q r ~p ~r q v ~r ~p ^ (q v ~r)
    T T T F F T F
    T T F F T T F
    T F T F F F F
    T F F F T T F
    F T T T F T T
    F T F T T T T
    F F T T F F F
    F F F T T T T
    ACTIVITY No:_1__
    (Name of Activity: Alternative Learning Activity Template)
    LOGIC
    Deadline: 03/20/2020 | 7:00 pm

    ACTIVITY DESCRIPTION: Using the knowledge learned from the lecture,


    the students will construct the truth table. In this activity, they are to use
    their analytical skills.

    LEARNING OUTCOME: At the end of this activity the student will be able
    to:

    KNOWLEDGE
    1. (1)discuss the nature of mathematics, what it is, how it is expressed, represented and used by
    language, symbols, patterns and reasoning in nature and the world;
    (2)apply mathematics in situations for decision making and problem solving.
    SKILLS
    1. (4) speak and write in the language and with the symbols of mathematics;
    (5)use logical reasoning in problem solving and decision making .
    ATTITUDE
    1. (8) justify solutions with valid arguments and logical reasoning outcomes.

    ACTIVITY GUIDELINES/MECHANICS: Fill out the table with the correct


    truth values.
    Construct the Truth tables. (10 pts each)
    ~(p→q) ^ (~q Ɵ p )

    (p Ɵ q) → ( p ^ ~q)

    (p ↔~q) Ɵ ( p → q)
    SCORING: Each item is worth 10 points. Deduction of 1 point for every 2
    wrong final truth values.

    REFERENCE:

    Winston S. Sirug, 2012, Fundamentals of Discrete Mathematics

    sites.millersville.edu/bikenaga/math-proof/truth-tables/

    www.math-aids.com/Logic/Complete_Truth_Tables.html

    You might also like