---
tag: 2SEBQV538N
kind: concept
name: Conditionalization
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section C
    note: adopted
    mention: wikipedia://en/76765067#J8M2
    sections: [Summary]
inventory: [J8KGPM7KT5]
---

## 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 \to Q, P \vdash Q$, is the formula $((P \to Q) \land P) \to Q$, called pseudo modus ponens.