Prove (p & !q) -> ~(p -> q)

Discussion in 'Calculator Requests' started by math_celebrity, Aug 29, 2019.

Tags:
  1. math_celebrity

    math_celebrity Administrator Staff Member

    Prove (p & !q) -> ~(p -> q)

    Truth Table p & !q
    p | q | p & !q
    F | F | F
    F | T | F
    T | F | T
    T | T | F

    Truth Table !(p -> q)
    p | q | !(p -> q)
    F | F | F
    F | T | F
    T | F | T
    T | T | F
     
    math_celebrity, Aug 29, 2019
    #1

Share This Page