Property |
Value |
dbo:abstract
|
- Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional. La regla establece que si implica , entonces implica y . La regla hace posible introducir conjunciones en . Esto se llama ley de absorción ya que el término es "absorbido" por el término en la consecuencia. La absorción puede escribirse formalmente como: o sea: siempre que aparezca una instancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente. (es)
- Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional. La regla establece que si implica , entonces implica y . La regla hace posible introducir conjunciones en . Esto se llama ley de absorción ya que el término es "absorbido" por el término en la consecuencia. La absorción puede escribirse formalmente como: o sea: siempre que aparezca una instancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente. (es)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
dct:subject
| |
rdfs:comment
|
- Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional. La regla establece que si implica , entonces implica y . La regla hace posible introducir conjunciones en . Esto se llama ley de absorción ya que el término es "absorbido" por el término en la consecuencia. La absorción puede escribirse formalmente como: o sea: siempre que aparezca una instancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente. (es)
- Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional. La regla establece que si implica , entonces implica y . La regla hace posible introducir conjunciones en . Esto se llama ley de absorción ya que el término es "absorbido" por el término en la consecuencia. La absorción puede escribirse formalmente como: o sea: siempre que aparezca una instancia de "" en una línea de alguna prueba, "" se puede concluir en la línea siguiente. (es)
|
rdfs:label
|
- Absorción (lógica) (es)
- Absorción (lógica) (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |