Property |
Value |
dbo:abstract
|
- Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una . Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar: donde la regla es que cada vez que una instancia "" y "" aparezca en una línea de prueba, tanto "" puede colocarse en la línea siguiente; (es)
- Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una . Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar: donde la regla es que cada vez que una instancia "" y "" aparezca en una línea de prueba, tanto "" puede colocarse en la línea siguiente; (es)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
dct:subject
| |
rdfs:comment
|
- Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una . Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar: (es)
- Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una . Es la inferencia que una proposición p es verdadera, y la proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q es verdadera. Por ejemplo, si es verdad que está lloviendo, y es verdad que estoy dentro, entonces es verdad que "está lloviendo y estoy dentro". La regla puede afirmar: (es)
|
rdfs:label
|
- Introducción de la conjunción (es)
- Introducción de la conjunción (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |