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.

See also

More information

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