| Property |
Value |
| dbo:abstract
|
- Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos que constituya una fórmula bien formada admite una valoración en la proposición es verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos se puede determinar la verdad o falsedad semántica de una proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla. (es)
- Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos que constituya una fórmula bien formada admite una valoración en la proposición es verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos se puede determinar la verdad o falsedad semántica de una proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
|
- Monk (es)
- Hamilton (es)
- Mack (es)
- Bridge (es)
- Barnes (es)
- Hofstadter (es)
- Pla (es)
- Enderton (es)
- Van Dalen (es)
- Jané (es)
- Badesa (es)
- Ershov (es)
- Jansana (es)
- Mendelson (es)
- Nidditch (es)
- Paliutin (es)
- Monk (es)
- Hamilton (es)
- Mack (es)
- Bridge (es)
- Barnes (es)
- Hofstadter (es)
- Pla (es)
- Enderton (es)
- Van Dalen (es)
- Jané (es)
- Badesa (es)
- Ershov (es)
- Jansana (es)
- Mendelson (es)
- Nidditch (es)
- Paliutin (es)
|
| prop-es:año
|
- 1972 (xsd:integer)
- 1976 (xsd:integer)
- 1977 (xsd:integer)
- 1978 (xsd:integer)
- 1981 (xsd:integer)
- 1983 (xsd:integer)
- 1987 (xsd:integer)
- 1989 (xsd:integer)
- 1990 (xsd:integer)
- 1991 (xsd:integer)
- 1997 (xsd:integer)
- 1998 (xsd:integer)
|
| prop-es:edición
|
- 2 (xsd:integer)
- 4 (xsd:integer)
|
| prop-es:editorial
|
- Springer-Verlag (es)
- Ariel (es)
- Tusquets Editores (es)
- Academic Press (es)
- Mir (es)
- Cátedra (es)
- Oxford University Pres (es)
- Universitext, Springer-Verlag (es)
- Eunibar (es)
- Chapman and May (es)
- P.P.U. (es)
- Paraningo (es)
- Publicaciones U.B. (es)
- Springer-Verlag (es)
- Ariel (es)
- Tusquets Editores (es)
- Academic Press (es)
- Mir (es)
- Cátedra (es)
- Oxford University Pres (es)
- Universitext, Springer-Verlag (es)
- Eunibar (es)
- Chapman and May (es)
- P.P.U. (es)
- Paraningo (es)
- Publicaciones U.B. (es)
|
| prop-es:nombre
|
- R. (es)
- Y. (es)
- D. (es)
- C. (es)
- J. (es)
- E. (es)
- I. (es)
- R. (es)
- Y. (es)
- D. (es)
- C. (es)
- J. (es)
- E. (es)
- I. (es)
|
| prop-es:nombres
|
- H. B. (es)
- E. (es)
- A. G. (es)
- J. M. (es)
- J. D. (es)
- D. W. (es)
- P. H. (es)
- H. B. (es)
- E. (es)
- A. G. (es)
- J. M. (es)
- J. D. (es)
- D. W. (es)
- P. H. (es)
|
| prop-es:título
|
- Lógica matemática (es)
- Gödel, Escher, Bach: un Eterno y Grácil Bucle (es)
- A Mathematical Introduction to Logic (es)
- Mathematical Logic (es)
- Lógica para matemáticos (es)
- Beginning Model Theory (es)
- El desarrollo de la lógica matemática (es)
- Elementos de lógica formal (es)
- Introduction to Mathematical Logic (es)
- Lliçons de lógica matemática (es)
- Logic and Structure (es)
- Una introducción algebraica a la lógica matemática (es)
- Álgebras de Boole y lógica (es)
- Lógica matemática (es)
- Gödel, Escher, Bach: un Eterno y Grácil Bucle (es)
- A Mathematical Introduction to Logic (es)
- Mathematical Logic (es)
- Lógica para matemáticos (es)
- Beginning Model Theory (es)
- El desarrollo de la lógica matemática (es)
- Elementos de lógica formal (es)
- Introduction to Mathematical Logic (es)
- Lliçons de lógica matemática (es)
- Logic and Structure (es)
- Una introducción algebraica a la lógica matemática (es)
- Álgebras de Boole y lógica (es)
|
| prop-es:url
| |
| dct:subject
| |
| rdfs:comment
|
- Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. (es)
- Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. (es)
|
| rdfs:label
|
- Lógica proposicional (es)
- Lógica proposicional (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
