Question: Just becuase not P forms a contradiction, doesn't necessarily mean that If P doesn't form a contradiction as well? Can we assume that if an assumption of the opposite leads to logical contradiction that the must mean the original assumption of P also doesn't lead to contradiction?
At 3:22, is that a mistake? After the defn. of contradiction, you show us the statements: "If I'm skilled at poker, then I will win. I won money playing poker. Therefore, I'm skilled at poker.
I'm paying for this course at university, yet this is way more helpful than the lecture my prof gives......
i like your style of presentation
I'm starting to think he has a secret desire of being a unicorn.
uhoh, they're catching on....
@@DrTrefor 😂🤣😂🤣😂🤣😂🤣
draw a truth table to prove it is true
@@yutaoZ fair enough... lol
Thank you for this course!
This is wonderful that you share your knowledge
You are awesome 😎😎
Question: Just becuase not P forms a contradiction, doesn't necessarily mean that If P doesn't form a contradiction as well? Can we assume that if an assumption of the opposite leads to logical contradiction that the must mean the original assumption of P also doesn't lead to contradiction?
Good video, thanks
Thank you sir
what is the name of this, he is using on writing?
as a Canadian I also love to say that I am Canadian at any chance I get
what if you are a Canadian unicorn?:)
At 3:22, is that a mistake? After the defn. of contradiction, you show us the statements: "If I'm skilled at poker, then I will win. I won money playing poker. Therefore, I'm skilled at poker.
did you figure it out? i'm confused, too.
@@chubtubsyeah just replace the statement to p and follow the definition
c is a contradiction. It can never be true, therefore not p cannot be true, because c would follow. Therefore p is true.
Aren't these circular?