Skip to main

Mathematics (thesaurus)

Search from vocabulary

Concept information

mathematical logic > logical constant > logical connective

Término preferido

logical connective  

Definición

  • 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 can be used to join the two atomic formulas and , rendering the complex formula .
    (Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Logical_connective)

Concepto genérico

Conceptos específicos

Etiquetas alternativas

  • logical operator
  • sentential connective
  • sentential operator

En otras lenguas

URI

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

Descargue este concepto:

RDF/XML TURTLE JSON-LD última modificación 18/10/24