Logical connective
id:
logical-connective-190-3794264
title:
Logical connective
text:
In logic, a logical connective is a logical constant. Connectives can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective ∨ can be used to join the two atomic formulas P and Q, rendering the complex formula P ∨ Q. Common connectives include negation, disjunction, conjunction, implication, and equivalence. In standard systems of classical logic, these connectives are interpreted as truth functions, though they receive a variety of alternat
brand slug:
wiki
category slug:
encyclopedia
description:
Symbol connecting sentential formulas in logic
original url:
https://en.wikipedia.org/wiki/Logical_connective
date created:
2001-09-26T04:41:16Z
date modified:
2024-09-09T17:32:27Z
main entity:
{"identifier":"Q211790","url":"https://www.wikidata.org/entity/Q211790"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/3e/Logical_connectives_Hasse_diagram.svg","width":744,"height":1052}
fields total:
13
integrity:
16