| Property |
Value |
| dbo:abstract
|
- En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados. En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. (es)
- En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados. En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
|
- Humberstone (es)
- Gamut (es)
- Enderton (es)
- MacFarlane (es)
- Bocheński (es)
- Humberstone (es)
- Gamut (es)
- Enderton (es)
- MacFarlane (es)
- Bocheński (es)
|
| prop-es:autor
|
- Lloyd Humberstone (es)
- Lloyd Humberstone (es)
|
| prop-es:año
|
- 1959 (xsd:integer)
- 1991 (xsd:integer)
- 2001 (xsd:integer)
- 2005 (xsd:integer)
- 2010 (xsd:integer)
- 2011 (xsd:integer)
|
| prop-es:contribution
|
- Chapter 2 (es)
- Chapter 2 (es)
|
| prop-es:edición
| |
| prop-es:editor
| |
| prop-es:editorial
| |
| prop-es:enciclopedia
|
- Stanford Encyclopedia of Philosophy (es)
- Stanford Encyclopedia of Philosophy (es)
|
| prop-es:enlaceautor
|
- Józef Maria Bocheński (es)
- Józef Maria Bocheński (es)
|
| prop-es:id
|
- p/p075490 (es)
- p/p075490 (es)
|
| prop-es:isbn
| |
| prop-es:nombre
|
- John (es)
- Lloyd (es)
- Herbert (es)
- Józef Maria (es)
- John (es)
- Lloyd (es)
- Herbert (es)
- Józef Maria (es)
|
| prop-es:nombres
| |
| prop-es:oclc
| |
| prop-es:otros
|
- traducido al inglés de las ediciones francesa y alemana por Otto Bird (es)
- traducido al inglés de las ediciones francesa y alemana por Otto Bird (es)
|
| prop-es:páginas
| |
| prop-es:title
|
- Propositional connective (es)
- Propositional connective (es)
|
| prop-es:título
|
- A Mathematical Introduction to Logic (es)
- A Précis of Mathematical Logic (es)
- Logic, Language and Meaning (es)
- Logical constants (es)
- Sentence Connectives in Formal Logic (es)
- The Connectives (es)
- A Mathematical Introduction to Logic (es)
- A Précis of Mathematical Logic (es)
- Logic, Language and Meaning (es)
- Logical constants (es)
- Sentence Connectives in Formal Logic (es)
- The Connectives (es)
|
| prop-es:ubicación
|
- Boston, MA (es)
- Dordrecht, South Holland (es)
- Boston, MA (es)
- Dordrecht, South Holland (es)
|
| prop-es:url
| |
| prop-es:volumen
| |
| dct:subject
| |
| rdfs:comment
|
- En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. (es)
- En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. (es)
|
| rdfs:label
|
- Conectiva lógica (es)
- Conectiva lógica (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
