Theorems in propositional logic | Rules of inference

Destructive dilemma

Destructive dilemma is the name of a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either Q is false or S is false, then either P or R must be false. In sum, if two conditionals are true, but one of their consequents is false, then one of their antecedents has to be false. Destructive dilemma is the disjunctive version of modus tollens. The disjunctive version of modus ponens is the constructive dilemma. The destructive dilemma rule can be stated: where the rule is that wherever instances of "", "", and "" appear on lines of a proof, "" can be placed on a subsequent line. (Wikipedia).

Video thumbnail

Work Conflicts

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Career Challenges

Video thumbnail

How To Argue With Your Partner

It isn’t realistic to aim never to argue with our partners; far better to learn how to argue fruitfully and well. This has a lot to do with allowing ourselves to be vulnerable. If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/w23EEm Join our mailing list:

From playlist RELATIONSHIPS

Video thumbnail

Critical Thinking: Navigating Today's Health Crazes

In this video, you’ll learn how critical thinking can help you evaluate health fads. Visit https://edu.gcfglobal.org/en/problem-solving-and-decision-making/ to learn even more. We hope you enjoy!

From playlist Critical Thinking

Video thumbnail

This Robot Will Crush You

Destruction and mayhem at the hands and jaws of a monster robot. MEET YOUR ROBOT FUTURE!

From playlist Beyond Human

Video thumbnail

Outtakes

Yes. I make mistakes ... rarely. http://www.flippingphysics.com

From playlist Miscellaneous

Video thumbnail

Turing Machines and The Halting Problem (Part 2)

The Halting Problem has fascinated thousands of computer scientists from around the world. A major part of Computing Logic, the proof of the halting problem proves that computers can't do everything. Check out the video to learn more about why computers work the way they do! For Turing Ma

From playlist Math

Video thumbnail

Netflix's Social Dilemma Is a Lie

The Social Dilemma is a highly appraised Netflix documentary with deep flaws that needs addressing. Join my channel and become a member to enjoy perks https://www.youtube.com/channel/UCjr2bPAyPV7t35MvcgT3W8Q/join Support me through Patreon: https://www.patreon.com/thehatedone - or donat

From playlist Decrypted Lies

Video thumbnail

Which Incapacitating Agent is the Most Effective?

This time, we're ranking incapacitating agents! The term incapacitating agent is defined by the United States Department of Defense as: "An agent that produces temporary physiological or mental effects, or both, which will render individuals incapable of concerted effort in the performance

From playlist Chemistry Tierlists

Video thumbnail

The Choice: Global Domination or Global Leadership

The following is a video of Zbigniew Brzezinski's speech on March 25, 2004, introduction by Ernesto Zedillo.

From playlist YaleGlobal

Video thumbnail

CGSR Seminar Series | Managing Risks in a Multipolar Nuclear World

Speaker Biography: Robert S. Litwak is senior vice president and director of international security studies at the Woodrow Wilson International Center for Scholars. Dr. Litwak is also a consultant to the Los Alamos National Laboratory. He served on the National Security Council staff as

From playlist Center for Global Security Research

Video thumbnail

Equilibrium Solutions and Stability of Differential Equations (Differential Equations 36)

https://www.patreon.com/ProfessorLeonard Exploring Equilibrium Solutions and how critical points relate to increasing and decreasing populations.

From playlist Differential Equations

Video thumbnail

Critical Thinking

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Critical Thinking

Video thumbnail

Romantic Dilemmas - How Witcher 3 Builds Character through Choice - Extra Credits

Subscribe for new episodes every Wednesday! http://bit.ly/SubToEC Watch more episodes from this season of Extra Credits! http://bit.ly/1GVGAQv Talk to us on Twitter (@ExtraCreditz): http://bit.ly/ECTweet ---- (Episode details below...) Follow us on Facebook: http://bit.ly/ECFBPa

From playlist Extra Credits (ALL EPISODES)

Video thumbnail

Lecture 18 | African-American Freedom Struggle (Stanford)

Lecture 18 of Clay Carson's Introduction to African-American History Course (HIST 166) concentrating on the Modern Freedom Struggle (Fall 2007). This lecture is entitled "Tupac Shakur's 'Thug Life'". Recorded December 4, 2007 at Stanford University. This course introduces the viewer t

From playlist Course | African-American History: Modern Freedom Struggle

Video thumbnail

FTL: Trolley Problems in Space

In which I commit war crimes to the sound of breezy chiptune. FTL: Faster Than Light may be known more for its pitch-perfect mechanics and design than its stance on morality, but in this video I'll be uncovering its secret ethical wisdom. What does FTL think is morally right? How can we f

From playlist FTL: Faster Than Light

Video thumbnail

Lessons from the Past: Panel

A panel comprising St John Simpson, Beth McKillop, Tasoula Georgiou Hadjitofi, Ilaria Borletti-Buitoni and Helen Walasek take questions during the first session, ‘Lessons from the Past’ at the Culture in Crisis conference. Panel chaired by Vernon Rapley, Security Director at the Victoria a

From playlist Culture in Crisis

Video thumbnail

Pablo Kalmanovitz: Reparations for war damages

Pablo Kalmanovitz specializes in the political theory of human rights and humanitarianism. Professor Kalmanovitz has written articles and edited volumes on transitional justice, post-war reconstruction, and the regulation of warfare, and is currently working on a book project on the histor

From playlist The MacMillan Report

Video thumbnail

8 Reasons Why People Love Bombs | British Pathé

THE THINGS THAT GO BOOM! - THE MONTH OF BOMBS ON BRITISH PATHÉ (JULY 2015): 8 Reasons Why People Love Bombs. In this video, we explore some of the ways in which bombs fascinate people, and why, and how our thoughts on bombs really do depend upon our perspective. Check out the newsreels

From playlist The Things That Go BOOM! - Month of Bombs: Highlights (July 2015)

Video thumbnail

In the Company of Scholars: Stefan Simon, “Are We Losing Our Past or Our Future?”

Stefan Simon, conservation scientist and inaugural director of the Institute for the Preservation of Cultural Heritage, presented a lecture titled “Are We Losing Our Past or Our Future? — Sustainable Preservation of Cultural Heritage.” Simon discusses a sustainable approach to preserving c

From playlist In The Company Of Scholars

Video thumbnail

Resolving Workplace Conflict

In this video, you’ll learn strategies for resolving conflict at work. Visit https://edu.gcfglobal.org/en/jobsuccess/resolving-workplace-conflict/1/ for our text-based lesson. We hope you enjoy!

From playlist Job Success

Related pages

Double negation | Theorem | Reductio ad absurdum | Tautology (logic) | Propositional calculus | Logical consequence | Modus tollens | Metalogic | Logical disjunction | Material conditional | Antecedent (logic) | Consequent | Sequent | Conjunction introduction | Inference | Constructive dilemma | Modus ponens | Conditional proof | Disjunctive syllogism | Rule of inference | Formal system | Transposition (logic) | Logical conjunction | Validity (logic)