Search for tag: "contraposition"

6 Media

CL - 12c - chains duration 4 minutes 34 seconds CL - 12c - chains CL - 12c - chains	CL - 12c - chains In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule. inf1a introduction to computation informatics 1 computation and logic arrows arrow valuations contraposition valuation diagram bottom implies chain alphabet letters things evaluation problem implications cuts rule sides implication side From Haoran Peng 0 likes 287 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Review 1 - Contraposition duration 2 minutes 40 seconds CL - Review 1 - Contraposition CL - Review 1 - Contraposition	CL - Review 1 - Contraposition We show the intuition of contraposition using Venn diagrams. inf1a introduction to computation informatics 1 computation and logic contraposition things b. diagram x. universe sequence rule hobby naught symbol complement satisfies notation predicates relationship holes function holds thing property From Haoran Peng 0 likes 355 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4.e - Sequents 0 duration 2 minutes 22 seconds CL - Lecture 4.e - Sequents 0 CL - Lecture 4.e - Sequents 0	CL - Lecture 4.e - Sequents 0 The following videos introduce sequents, a far-reaching generalisation of the idea underlying Aristotle's propositions. We have already discussed the introduction of multiple antecedents… inf1a computation and logic logic sequents informatics 1 introduction to computation things left rules sequence thing end contraposition comma satisfaction game moment aob iop inference c. b. idea jensen ideas lot From Claudia-Elena Chirita 0 likes 402 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3g - Making more rules with… duration 5 minutes 1 second CL - Lecture 3g - Making more rules with… CL - Lecture 3g - Making more rules with contrapositions	CL - Lecture 3g - Making more rules with contrapositions Using meta-/object-level contrapositions, we can derive all 15 sound syllogisms from Barbara. inf1a introduction to computation informatics 1 computation and logic contraposition sound syllogism rule rules assumption assumptions conclusion b. scotland alcohol bottom thing things c. barbara positions control answer position level knots From Haoran Peng 0 likes 477 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3a - Contraposition of Propositions duration 3 minutes 27 seconds CL - Lecture 3a - Contraposition of Propositions CL - Lecture 3a - Contraposition of Propositions	CL - Lecture 3a - Contraposition of Propositions Last week we used object-level contraposition to derive four new syllogisms, starting from Barbara. This week we will use meta-level contraposition to derive two more new syllogisms from each of the… inf1a introduction to computation informatics 1 computation and logic syllogism contraposition level side satisfies things alcohol scotland propositions logic argument thing rules statement influence turnstile c. arabia countries exercise break From Haoran Peng 0 likes 795 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.d - Negation and Contraposition of… duration 7 minutes 48 seconds CL - Lecture 2.d - Negation and Contraposition of… CL - Lecture 2.d - Negation and Contraposition of Predicates	CL - Lecture 2.d - Negation and Contraposition of Predicates In this video on syllogisms, we introduce the logic of negation. inf1a informatics 1 introduction to computation logic computation and logic syllogism negation contraposition rule a. satisfies predicates truth aristotle algebra b. diagrams predicate relation sets denial affirmation things notation bottom barbara From Claudia-Elena Chirita 0 likes 492 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English