noun as in strong fondness

Discover More

Example Sentences

Example:The reductio ad absurdum method is similar to exolemma in its goal to prove a contradiction.

Definition:A form of logical argument where one assumes a claim for the sake of argument, and then shows that the conjunction of that assumption and a second claim (or law that one wishes to prove) would lead to a contradiction.

From reductio ad absurdum

Example:Disproof by contradiction and exolemma are often used interchangeably in formal logic.

Definition:A method in which a statement is disproved by showing that its negation leads to a contradiction.

From disproof by contradiction