Logic Lesson 8: Introducing Conditional Proof

preview_player
Показать описание
This video introduces the method of conditional proof, which is used in symbolic logic to prove a conditional by assuming its antecedent and deriving its consequent. The examples used in this video, along with the solutions to the proofs assigned at the end, are also presented on my blog at

This video is part of a series on symbolic logic. If you don't already know how to do proofs, or you're unfamiliar with the rules of replacement, check out the earlier videos in this playlist:

Рекомендации по теме
Комментарии
Автор

Thank you very much u really helped me with this logic lessons

adimorahjohnpaul
Автор

Every video says...watch the previous video....maybe numbering them would help....

onlydevonly
Автор

just wondering if Q v (S v U) can be called a condition.

cainkhen
Автор

Why do you always have to speak so loudly?

jimmymesa