ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
If anyone is wondering the justification for line n at 3:45. It's not k-l but l-m.
I’m wondering why you didn’t just take care of c in line 5, based on it being another potential modus ponens? Is it because you wanted to specifically demonstrate the new rules?
Thanks for the video!
Is there another name for reiterate? (R) Is that what CP is (Conditional Proof) or is that a different rule?
Thank you!
This is a video and I can be a bit wild 😂
Thanks
If anyone is wondering the justification for line n at 3:45. It's not k-l but l-m.
I’m wondering why you didn’t just take care of c in line 5, based on it being another potential modus ponens? Is it because you wanted to specifically demonstrate the new rules?
Thanks for the video!
Is there another name for reiterate? (R) Is that what CP is (Conditional Proof) or is that a different rule?
Thank you!
This is a video and I can be a bit wild 😂
Thanks