Scribd Logo
Upload

Welcome to Scribd!

  • Libro 1

    Uploaded by

    Breyner Rincon
    5 views2 pages
    The document contains 3 tables that define the truth values of several logical statements using the variables P, q, r, p, and ~. The first table contains 4 rows that assign truth values to statements involving P, q, ~p, and ~q. The second table contains 4 rows that assign truth values to statements involving P, q, ~q, (p V ~q), and (p ∧ q). The third table contains 8 rows that assign truth values to statements involving P, q, r, ~p, ~r, (p → q), ~(p → q), [~(p → q) → r], (~p V ~r), and (~p V ~r ∧ q

    Original Description:

    Original Title

    Libro1

    Copyright

    © © All Rights Reserved

    Available Formats

    XLSX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document contains 3 tables that define the truth values of several logical statements using the variables P, q, r, p, and ~. The first table contains 4 rows that assign truth values to statements involving P, q, ~p, and ~q. The second table contains 4 rows that assign truth values to statements involving P, q, ~q, (p V ~q), and (p ∧ q). The third table contains 8 rows that assign truth values to statements involving P, q, r, ~p, ~r, (p → q), ~(p → q), [~(p → q) → r], (~p V ~r), and (~p V ~r ∧ q

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    5 views2 pages

    Libro 1

    Uploaded by

    Breyner Rincon
    The document contains 3 tables that define the truth values of several logical statements using the variables P, q, r, p, and ~. The first table contains 4 rows that assign truth values to statements involving P, q, ~p, and ~q. The second table contains 4 rows that assign truth values to statements involving P, q, ~q, (p V ~q), and (p ∧ q). The third table contains 8 rows that assign truth values to statements involving P, q, r, ~p, ~r, (p → q), ~(p → q), [~(p → q) → r], (~p V ~r), and (~p V ~r ∧ q

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 2

    P q ~p ~q (p V ~q) p V ~q → ~p

    1 1 0 0 1 0
    1 0 0 1 1 0
    0 1 1 0 0 1
    0 0 1 1 1 1

    P q ~q (p V ~q) ( p ∧ q) (p V ~q) → ( p ∧ q)
    1 1 0 1 1 1
    1 0 1 1 0 0
    0 1 0 0 0 1
    0 0 1 1 0 0

    P q r ~p ~r (p → q )
    1 1 1 0 0 1
    1 1 0 0 1 1
    1 0 1 0 0 0
    1 0 0 0 1 0
    0 1 1 1 0 1
    0 1 0 1 1 1
    0 0 1 1 0 1
    0 0 0 1 1 1
    ~(p → q ) [~ (p → q ) → r] (~p V ~r) (~p V ~r ∧ q) [~ (p → q ) → r] → (~p V ~r ∧ q)
    0 1 0 0 0
    0 0 1 1 1
    1 1 0 0 0
    1 1 1 0 0
    0 1 1 1 1
    0 1 1 1 1
    0 1 1 0 0
    0 1 1 0 0

    You might also like