Scribd Logo
Upload

Welcome to Scribd!

  • 38 views

    Propositional Logic

    Uploaded by

    Jay Lagman
    Here are the truth tables for the given expressions: 1. ~(p v q) p q p v q ~(p v q) T T T F T F T F F T T F F F F T 2. (p v ~q) ∧ ~p p q ~q p v ~q ~p (p v ~q) ∧ ~p T T F T F F T F T T F F F T T T T F F F T

    Copyright:

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

    Propositional Logic

    Uploaded by

    Jay Lagman
    38 views12 pages
    Here are the truth tables for the given expressions: 1. ~(p v q) p q p v q ~(p v q) T T T F T F T F F T T F F F F T 2. (p v ~q) ∧ ~p p q ~q p v ~q ~p (p v ~q) ∧ ~p T T F T F F T F T T F F F T T T T F F F T

    Original Description:

    truth value

    Original Title

    PROPOSITIONAL-LOGIC

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Here are the truth tables for the given expressions: 1. ~(p v q) p q p v q ~(p v q) T T T F T F T F F T T F F F F T 2. (p v ~q) ∧ ~p p q ~q p v ~q ~p (p v ~q) ∧ ~p T T F T F F T F T T F F F T T T T F F F T

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    38 views12 pages

    Propositional Logic

    Uploaded by

    Jay Lagman
    Here are the truth tables for the given expressions: 1. ~(p v q) p q p v q ~(p v q) T T T F T F T F F T T F F F F T 2. (p v ~q) ∧ ~p p q ~q p v ~q ~p (p v ~q) ∧ ~p T T F T F F T F T T F F F T T T T F F F T

    Copyright:

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

    PROPOSITIONAL

    LOGIC
    PROPOSITIONAL LOGIC
    A proposition is simply a statement. Propositional logic
    studies the ways statements can interact with each other. It is
    important to remember that propositional logic does not really
    care about the content of the statements. For example, in terms
    of propositional logic, the claims, “if the moon is made of cheese
    then basketballs are round,” and “if spiders have eight legs then
    Sam walks with a limp” are exactly the same. They are both
    implications: statements of the form, P → Q.
    TRUTH TABLES
    NEGATIONS, CONJUNCTION AND DISJUNCTION
    NEGATION
    Negation(not): Opposite truth value from the statement

    Negation

    p ~ p
    T F
    F T
    CONJUNCTION
    Conjunction (and): Only true when both statements are true.

    ∧ Conjunction
    p q p∧q
    T T T
    T F F
    F T F
    F F F
    DISJUNCTION
    Disjunction (or): Only false when both statements are false.

    ∨ Disjunction
    p q p∨q
    T T T
    T F T
    F T T
    F F F
    Example: Using the Definitions of Negation,
    Conjunction and Disjunction
    Let p and q represent the following simple statements.
    p : All triangles have three sides.
    q : All right angles measure 90 degrees.
    Determine the truth value for each statement.

    1. p ∧ q TRUE
    T T
    2. ~p ∧ q FALSE
    F T
    Example: Using the Definitions of Negation,
    Conjunction and Disjunction
    Let p and q represent the following simple statements.
    p : All triangles have three sides.
    q : All right angles measure 90 degrees.
    Determine the truth value for each statement.

    1. p ∨ ~q TRUE
    T F
    2. ~p ∨ ~q FALSE
    F F
    CONSTRUCTING TRUTH TABLES
    Construct a truth table for ~ ( p ∧ q )

    ∧ Conjunction
    p q p∧q ~(p∧q)
    T T T F
    T F F T
    F T F T
    F F F T
    Example
    Let p and q represent the following simple statement:
    p : UP is a college.
    q : BSU is a college.

    UP is a college and BSU is a college. TRUE

    UP is NOT a college and BSU is NOT a college. FALSE

    This COMPOUND statement is NOT a TAUTOLOGY

    A TAUTOLOGY is a compound statement that is ALWAYS TRUE.


    CONSTRUCTING TRUTH TABLES
    Construct a truth table for (~ p V q ) ∧ ~ q

    p q ~p ~pVq ~q (~ p v q ) ∧ ~ q
    T T F T F F
    T F F F T F
    F T T T F F
    F F T T T T
    Exercise # 3
    Construct a truth table for the given expression:
    1. ~ (p v q )
    2. ( p v ~q ) ∧ ~p
    3. (~p ∧ q ) v ( p ∧ ~q )

    You might also like