Rule of inference

id: rule-of-inference-221-1436756
title: Rule of inference
text: In the philosophy of logic, specifically in deductive reasoning, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion. For example, the rule of inference called modus ponens takes two premises, one in the form "If p then q" and another in the form "p", and returns the conclusion "q". The rule is valid with respect to the semantics of classical logic, in the sense that if the pre
brand slug: wiki
category slug: encyclopedia
description: Systematic logical process capable of deriving a conclusion from hypotheses
original url: https://en.wikipedia.org/wiki/Rule_of_inference
date created: 2003-06-24T19:21:49Z
date modified: 2024-09-13T17:49:07Z
main entity: {"identifier":"Q1068763","url":"https://www.wikidata.org/entity/Q1068763"}
image:
fields total: 13
integrity: 15

Related Entries

Explore Next Part