User Tools

Constructive dilemma

A valid form of logical inference in propositional logic, which infers from two conditional and a disjunct statement a new disjunct statement.

Description

The constructive dilemma can be seen as a combination of two Modus Ponens which are connected by a disjunct statement.

The term “dilemma” in this context should be understood as a “decision” between two conditionals.

Example

An example for a constructive dilemma could be:

If the sun shines tomorrow, [then] we will go to the beach.
If it rains tomorrow, [then] we will go to the museum.
Tomorrow the sun will shine, or it will rain [or both].
Therefore we will tomorrow go to the museum or to the beach [or both].

See also

More information

About this site

Ad Hominem Info is a project to explain and categorize the most common systematic fallacies and fallacies. On this page, you will find a background article that briefly explains an important logical concept, which may be needed to better understand another article in this area.
For more information, please see the main category “logic

This website uses cookies. By using the website, you agree with storing cookies on your computer. Also, you acknowledge that you have read and understand our Privacy Policy. If you do not agree, please leave the website.

More information