Math 2.0

Concept

Conditionalization

Summary

The conditional obtained by taking the conjunction of the premises of the argument as antecedent and the conclusion of the argument as consequent. For instance, the conditionalization of modus ponens, P→Q,P⊢QP \to Q, P \vdash Q, is the formula ((P→Q)∧P)→Q((P \to Q) \land P) \to Q, called pseudo modus ponens.

Further reading

  1. Wikipedia, page 76765067, revision 1368301704, Glossary of logic, section C. adopted
About this page
Tag2SEBQV538N
URIm2://2SEBQV538N
Kindconcept
WritingW1 stated
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge defines in: at least one definition (0 of 1)
  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)
  • edge specializes both: the more general notions and the special cases (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.