Logic 101 (#27): Modus Ponens
http://gametheory101.com/courses/logic-101/
Rules of inference allow us to take two or more true inputs (sometimes called premises) and output a new statement which must be true as a consequence of the inputs. Unlike replacement rules, rules of inference allow us to reach new conclusions and learn something we did not know before.
This lecture starts our unit on rules of inference with modus ponens. Modus ponens says that if P implies Q is true and P is true as well, then Q must follow as a result.
For example, suppose
"If I am in California, I am in America."
and
"I am in California."
Then it must be true that you are in America.
Видео Logic 101 (#27): Modus Ponens канала William Spaniel
Rules of inference allow us to take two or more true inputs (sometimes called premises) and output a new statement which must be true as a consequence of the inputs. Unlike replacement rules, rules of inference allow us to reach new conclusions and learn something we did not know before.
This lecture starts our unit on rules of inference with modus ponens. Modus ponens says that if P implies Q is true and P is true as well, then Q must follow as a result.
For example, suppose
"If I am in California, I am in America."
and
"I am in California."
Then it must be true that you are in America.
Видео Logic 101 (#27): Modus Ponens канала William Spaniel
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![Logic 101 (#28): Modus Tollens](https://i.ytimg.com/vi/6qsEDFNDm5s/default.jpg)
![](https://i.ytimg.com/vi/kpcDlMouk90/default.jpg)
![Logical Arguments - Modus Ponens & Modus Tollens](https://i.ytimg.com/vi/NTSZMdGlo4g/default.jpg)
![One Man's Modus Ponens (Is Another Man's Modus Tollens)](https://i.ytimg.com/vi/6w627UNSL8w/default.jpg)
![Logic 101 (#29): Disjunctive Syllogism](https://i.ytimg.com/vi/0VqRy2o3A6U/default.jpg)
![Logic 101 (#33): Conjunction Introduction](https://i.ytimg.com/vi/N39wcRfmEDg/default.jpg)
![Rules of Inference - Definition & Types of Inference Rules](https://i.ytimg.com/vi/HcS4lqXxrV4/default.jpg)
![Aussagenlogik #15 - Resolution](https://i.ytimg.com/vi/AwsKQq5mjMc/default.jpg)
![Propositional Logic – Set of Equivalence Relation(Laws) | Rules of Inference(MODUS PONENS, TOLLENS)](https://i.ytimg.com/vi/hHRWRa3k6Ww/default.jpg)
![Einführung in die Aussagenlogik | Mathe für Informatiker](https://i.ytimg.com/vi/IJNbZR1SQnI/default.jpg)
![Logic 101 (#37): Killer Proof Strategy #1 (DeMorgan's Everything!)](https://i.ytimg.com/vi/qzEk3UzCfVo/default.jpg)
![Logic 101 (#40): Conditional Proofs](https://i.ytimg.com/vi/aloj5CMlreE/default.jpg)
![Modus Ponens](https://i.ytimg.com/vi/67x8NWKDctg/default.jpg)
![Categorical Syllogism: Western Logic - 4 Moods & Figures; Major, Middle & Minor Term | Philosophy](https://i.ytimg.com/vi/Sfj2YNKq_8I/default.jpg)
![Logic 101 (#1): Introduction](https://i.ytimg.com/vi/JBjAyrX7wms/default.jpg)
![Argumentation-Modus Ponens-2012.mp4](https://i.ytimg.com/vi/RaRgHW-4iqc/default.jpg)
![Modus Tollens](https://i.ytimg.com/vi/fLlkSDb0UFk/default.jpg)
![Logic 101 (#14): Exclusive OR](https://i.ytimg.com/vi/3lkStJLJ02M/default.jpg)
![Logic 101 (#18): Contraposition](https://i.ytimg.com/vi/QHE4REPtjDw/default.jpg)
![Propositions and Truth Tables (Tagalog/ Filipino Math)](https://i.ytimg.com/vi/K9xc3pvcNqg/default.jpg)