En razonamiento formal, la Adjunción Lógica ( ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse:

Property Value
dbo:abstract
  • En razonamiento formal, la Adjunción Lógica ( ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es)
  • En razonamiento formal, la Adjunción Lógica ( ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7508265 (xsd:integer)
dbo:wikiPageLength
  • 2114 (xsd:integer)
dbo:wikiPageRevisionID
  • 128632884 (xsd:integer)
prop-es:diagramaDeVenn
  • Diagrama de Venn 07.svg (es)
  • Diagrama de Venn 07.svg (es)
prop-es:lenguajeNatural
  • A y no B (es)
  • A y no B (es)
dct:subject
rdfs:comment
  • En razonamiento formal, la Adjunción Lógica ( ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es)
  • En razonamiento formal, la Adjunción Lógica ( ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es)
rdfs:label
  • Adjunción lógica (es)
  • Adjunción lógica (es)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is owl:sameAs of
is foaf:primaryTopic of