About: Conjunction introduction

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Conjunction introduction Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

Conjunction introduction (often abbreviated simply as conjunction and also called and introduction or adjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition p is true, and proposition q is true, then the logical conjunction of the two propositions p and q is true. For example, if it is true that "it is raining", and it is true that "the cat is inside", then it is true that "it is raining and the cat is inside". The rule can be stated:

Attributes	Values
rdfs:label	Conjunction introduction (en)
rdfs:comment	Conjunction introduction (often abbreviated simply as conjunction and also called and introduction or adjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition p is true, and proposition q is true, then the logical conjunction of the two propositions p and q is true. For example, if it is true that "it is raining", and it is true that "the cat is inside", then it is true that "it is raining and the cat is inside". The rule can be stated: (en)
sameAs	Conjunction introduction Conjunction introduction
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Transformation_rules
Subject	Rules of inference Theorems in propositional logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Conjunction_introduction?oldid=1067379330&ns=0
Wikipage page ID	6563 (xsd:integer)
page length (characters) of wiki page	2055 (xsd:nonNegativeInteger)
Wikipage revision ID	1067379330 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal proof Formal system Logical conjunction Logical consequence Proposition Propositional calculus Sequent Rules of inference Theorems in propositional logic Metalogic Rule of inference Symbol (formal) Inference Validity (logic)
has abstract	Conjunction introduction (often abbreviated simply as conjunction and also called and introduction or adjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition p is true, and proposition q is true, then the logical conjunction of the two propositions p and q is true. For example, if it is true that "it is raining", and it is true that "the cat is inside", then it is true that "it is raining and the cat is inside". The rule can be stated: where the rule is that wherever an instance of "" and "" appear on lines of a proof, a "" can be placed on a subsequent line. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Conjunction_introduction
is Wikipage redirect of	Adjunction (rule of inference) Conjunction and introduction
is Link from a Wikipage to another Wikipage of	Logic Logical conjunction Absorption (logic) Adjoint Adjunction (rule of inference) List of rules of inference Conjunction Conjunction and introduction Fitch's paradox of knowability Index of logic articles Index of philosophy articles (A–C) Destructive dilemma Modus tollens
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Conjunction_introduction

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software