Property |
Value |
dbo:abstract
|
- En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes. (es)
- En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes. (es)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:apellido
|
- Curry (es)
- Lemmon (es)
- Church (es)
- Bernays (es)
- Hilbert (es)
- Ryan (es)
- Huth (es)
- Kleene (es)
- Ben-Ari (es)
- Gentzen (es)
- Prawitz (es)
- Smullyan (es)
- Suppes (es)
- Takeuti (es)
- Curry (es)
- Lemmon (es)
- Church (es)
- Bernays (es)
- Hilbert (es)
- Ryan (es)
- Huth (es)
- Kleene (es)
- Ben-Ari (es)
- Gentzen (es)
- Prawitz (es)
- Smullyan (es)
- Suppes (es)
- Takeuti (es)
|
prop-es:author2Link
|
- Paul Bernays (es)
- Paul Bernays (es)
|
prop-es:año
|
- 1934 (xsd:integer)
- 1935 (xsd:integer)
- 1965 (xsd:integer)
- 1970 (xsd:integer)
- 1977 (xsd:integer)
- 1995 (xsd:integer)
- 1996 (xsd:integer)
- 1999 (xsd:integer)
- 2002 (xsd:integer)
- 2004 (xsd:integer)
- 2006 (xsd:integer)
- 2009 (xsd:integer)
- 2012 (xsd:integer)
- 2013 (xsd:integer)
|
prop-es:doi
| |
prop-es:edición
|
- Segunda (es)
- Segunda (es)
|
prop-es:editorial
| |
prop-es:enlaceAutor
|
- Gaisi Takeuti (es)
- Haskell Curry (es)
- Alonzo Church (es)
- Gerhard Gentzen (es)
- David Hilbert (es)
- Stephen Cole Kleene (es)
- Raymond Smullyan (es)
- Dag Prawitz (es)
- John Lemmon (es)
- Mordechai Ben-Ari (es)
- Patrick Suppes (es)
- Gaisi Takeuti (es)
- Haskell Curry (es)
- Alonzo Church (es)
- Gerhard Gentzen (es)
- David Hilbert (es)
- Stephen Cole Kleene (es)
- Raymond Smullyan (es)
- Dag Prawitz (es)
- John Lemmon (es)
- Mordechai Ben-Ari (es)
- Patrick Suppes (es)
|
prop-es:fecha
|
- 1939 (xsd:integer)
- 1944 (xsd:integer)
- 1952 (xsd:integer)
- 1957 (xsd:integer)
- 1963 (xsd:integer)
- 1965 (xsd:integer)
- 1967 (xsd:integer)
- 1968 (xsd:integer)
- 1975 (xsd:integer)
- 1993 (xsd:integer)
|
prop-es:id
|
- p/s084590 (es)
- p/s084590 (es)
|
prop-es:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
prop-es:nombre
|
- Michael (es)
- Mark (es)
- Gerhard (es)
- David (es)
- Paul (es)
- Dag (es)
- Alonzo (es)
- Edward John (es)
- Mordechai (es)
- Gaisi (es)
- Haskell Brooks (es)
- Patrick Colonel (es)
- Raymond Merrill (es)
- Stephen Cole (es)
- Michael (es)
- Mark (es)
- Gerhard (es)
- David (es)
- Paul (es)
- Dag (es)
- Alonzo (es)
- Edward John (es)
- Mordechai (es)
- Gaisi (es)
- Haskell Brooks (es)
- Patrick Colonel (es)
- Raymond Merrill (es)
- Stephen Cole (es)
|
prop-es:publicación
|
- Mathematische Zeitschrift (es)
- Mathematische Zeitschrift (es)
|
prop-es:páginas
|
- 176 (xsd:integer)
- 405 (xsd:integer)
|
prop-es:ref
| |
prop-es:título
|
- Beginning logic (es)
- First-order logic (es)
- Foundations of mathematical logic (es)
- Grundlagen der Mathematik II (es)
- Introduction to logic (es)
- Introduction to mathematical logic (es)
- Introduction to metamathematics (es)
- Logic in Computer Science (es)
- Mathematical logic (es)
- Mathematical logic for computer science (es)
- Natural deduction: A proof-theoretical study (es)
- Proof theory (es)
- Sequent (es)
- Untersuchungen über das logische Schließen. I (es)
- Untersuchungen über das logische Schließen. II (es)
- Beginning logic (es)
- First-order logic (es)
- Foundations of mathematical logic (es)
- Grundlagen der Mathematik II (es)
- Introduction to logic (es)
- Introduction to mathematical logic (es)
- Introduction to metamathematics (es)
- Logic in Computer Science (es)
- Mathematical logic (es)
- Mathematical logic for computer science (es)
- Natural deduction: A proof-theoretical study (es)
- Proof theory (es)
- Sequent (es)
- Untersuchungen über das logische Schließen. I (es)
- Untersuchungen über das logische Schließen. II (es)
|
prop-es:ubicación
|
- Nueva York (es)
- Londres (es)
- Princeton, Nueva Jersey (es)
- Cambridge, United Kingdom (es)
- Mineola, Nueva York (es)
- Berlin, Nueva York (es)
- Nueva York (es)
- Londres (es)
- Princeton, Nueva Jersey (es)
- Cambridge, United Kingdom (es)
- Mineola, Nueva York (es)
- Berlin, Nueva York (es)
|
prop-es:url
| |
prop-es:volumen
| |
dct:subject
| |
rdfs:comment
|
- En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes. (es)
- En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes. (es)
|
rdfs:label
|
- Consecuente (es)
- Consecuente (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |