Comments by "Feralz" (@missionpupa) on "William Spaniel" channel.

  1. I will give you a short intuitive explanation. The expression p->q simply affirms q. So in the table, whenever q is true (T) then the expression p->q will be true. And the only other time it can be true is when p and q are both false (F) since we are simply affirming something that we know is false.
    2
  2. First of all, saying I do not believe x exists is not really an "if then" statement. So logical notation would just be ~b (not believe in x). Saying "you believe/not believe" simply means "it is the case/not the case" So, ~b ~b Is equivalent. For future reference, it's somewhat ambiguous to use the word "believe" especially when we're dealing with logic, because logic doesn't measure opinion just true and false.
    1