| Property |
Value |
| dbo:abstract
|
- En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes ) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. La regla se puede expresar el lenguaje formal como: o como donde la regla es que cada vez que aparecen las instancias de "" en las líneas de se puede colocar en una prueba, "" o "" en una línea posterior. (es)
- En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes ) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. La regla se puede expresar el lenguaje formal como: o como donde la regla es que cada vez que aparecen las instancias de "" en las líneas de se puede colocar en una prueba, "" o "" en una línea posterior. (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes ) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. o como (es)
- En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes ) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también es verdad", otra conclusión). La regla permite acortar las más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. Un ejemplo en español: Llueve y llueve a cántaros.Por lo tanto, está lloviendo. o como (es)
|
| rdfs:label
|
- Simplificación (es)
- Simplificación (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
