File:Logical_connectives_Hasse_diagram.svg · Wikimedia Commons · See Wikimedia Commons
conectivo lógico
Sign in to saveAlso known as sentential connective, sentential operator, propositional connective, connective, logical connective
symbol or word which can be applied to statements (of either a formal or a natural language) to produce a new statement
Wikidata facts
- Subclass of
- Boolean-valued function
- Has use
- connection
Show 3 more facts
- topic's main category
- Category:Logical connectives
- maintained by WikiProject
- WikiProject Mathematics
- topic has template
- Template:Logical connectives sidebar
Sources (3)
via Wikidata · CC0
Article · Português
Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais. Os conectivos lógicos mais comuns são os conectivos binários (também chamados de conectivos diádicos), que juntam duas sentenças, que podem ser consideradas os operandos da função. É também comum considerar negação como um conectivo unário. Conectivos lógicos e quantificadores são os dois principais tipos de constantes lógicas usadas em sistemas formais como a lógica proposicional e a lógica de predicados. A semântica de um conectivo lógico é, muitas vezes, mas não sempre, apresentada como uma função de verdade. Um conectivo lógico é similar, mas não equivalente, a um .
Abstract from DBpedia / Wikipedia · CC BY-SA