• 2 Posts
  • 23 Comments
Joined 2 years ago
cake
Cake day: June 26th, 2023

help-circle





  • I was actually convinced at stumps on day 4 that Aus were going to win, but Eng managed to pull through in the end. Also glad this series is done, having an emotional connection to one of the teams playing in a Test series is fun, but gets quite stressful.

    However, I’m with Ponting that the ball change was poor and should be investigated. Shame one bad decision made such an impact on the game.







  • I’m not sure but could it be because, in your first truth table, you assumed the truth value of (a OR b) -> c to be true and you are finding the truth values of c that correspond with pairs of values of a and b?

    However, in the second table you are finding the truth values of ~(a OR b) OR c that correspond with truth values of c as well as a and b so just like you said, you cannot compare the two tables you present above.

    To get the truth table for the proposition (a OR b) -> c, you would find the corresponding truth values to those of a, b and c (like you did in the first table). Something like this:

    A B C   A OR B   (A OR B) -> C
    000       0             1
    001       0             1
    010       1             0
    011       1             1
    100       1             0
    101       1             1
    110       1             0
    111       1             1
    

    since it’s possible for the conditional proposition to be false (i.e. if either A or B are true yet C is false)