Overview

weakening


Show Summary Details

Quick Reference

A rule of reasoning that implies that from a clause such as PQ (where ⇒ should be interpreted as “implies” and P and Q are atoms) one can deduce both PRQ and PQR (where ∨ signifies “or”). In other words, additional antecedents can always be added to a clause in a deduction.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.