Sentence examples for rule of detachment from inspiring English sources

If α and are theorems, then β is a theorem (rule of detachment, or modus ponens).

To see from where complications can emerge in the case of decidability, we compare the rule of the formation of terms and the rule of detachment.

The calculus has two rules of inference, detachment (modus ponens) and substitution; the rules can be combined into the single rule of condensed detachment: Obtain tθ from e s,t) and r where sθ = rθ with mgu θ.

But the ones who proceed from the assumption that the new elite has something to "give back" turn out to be revealing exceptions to the general rule of emotional detachment.

All the logics that we mentioned so far (J→, R→, T→ and E→) are D-complete, that is, they all may be axiomatized by axioms and the rule of condensed detachment.

To model these lethally irradiated cells three changes were made to the model of normal fibroblasts- proliferation and migration mechanisms were knocked out and a new rule of self-detachment based on literature findings was introduced [19].

As our group left the hospital after a couple of hours, I flagrantly broke two cardinal rules of journalistic detachment: I hugged the good doctor and I got choked up.

But when A wakes up in Justin's body and meets Rhiannon, all prior rules and habits of detachment will have to go out the window, as A finally learns what it feels like to fall in love.