Ir al contenido

Discusión:Conectiva lógica

Contenido de la página no disponible en otros idiomas.
De Wikipedia, la enciclopedia libre

Exclusión lógica

[editar]

La exclusión lógica tiene el significado de: "Uno u otro, pero no ambos". La exclusión afirma que por lo menos uno de los miembros debe ser falso para que la proposición sea verdadera. Pero en realidad...¿que es lo verdadero y que es lo falso? Hasta que no aclaremos esto, el resto de las cosas no serán mas que tonterías. Lo que la exclusión niega que la conjunción de ambos miembros verdaderos sea verdadera, de ahi que la exclusión es equivalente a la incompatibilidad. oral

La exlusión se simboliza mediante: /

Tabla de valores de la exclusión:

               p/q  
           1. v f v
           2. f v v
           3. v v f
           4. f v f

y se encuentran muchos mas pero en estos, aparecen los mas importantes — El comentario anterior es obra de 190.25.134.105 (disc. · contr. · bloq.), quien olvidó firmarlo.

Secciones

[editar]

A continuación incluyo un par de secciones que me parece que deberían estar incluidas en este artículo. Escribo esto en parte como recordatorio, porque seguramente yo mismo las escriba tarde o temprano. Pero si alguien se siente con ganas de hacerlo, ¡adelante!

  • Una introducción didáctica a qué es una conectiva.
  • Una sección donde se introduzca la otra aproximación al significado de las conectivas: la de la deducción natural (con sus reglas de introducción y eliminación).
  • Una pequeña sección que mencione la relación con las puertas lógicas.
  • Una sección que discuta la completitud funcional.

--LFS (discusión) 16:40 11 mar 2010 (UTC)[responder]

En resumen

[editar]
Tautología
Contradicción
Proposición, Afirmación
Negación lógica
Disyunción lógica
Negación conjunta, Disyunción opuesta
Conjunción lógica
Negación alternativa, Conjunción Opuesta
Condicional material, Implicación
Negación del condicional material, Adjunción lógica
Condicional material inverso, Implicación Opuesta
Negación del condicional inverso, Adjunción Opuesta
Bicondicional, Equivalencia Material
Disyunción exclusiva

Seria necesario unificar los terminos.