: Mathématiques: logical connective

mathematical logic > logical constant > logical connective

logical connective

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. Connectives can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective ${\\displaystyle \\lor }$ can be used to join the two atomic formulas ${\\displaystyle P}$ and ${\\displaystyle Q}$ , rendering the complex formula ${\\displaystyle P\\lor Q}$ .
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Logical_connective)

http://data.loterre.fr/ark:/67375/PSR-S0FG50T8-R

RDF/XML TURTLE JSON-LD Dernière modification le 18/10/2024

Loterre