Discusión:Conectiva lógica

Exclusión lógica

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

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)

En resumen

$\top$ Tautología

$\bot$ Contradicción

$P\,$ Proposición, Afirmación

$\neg P$ Negación lógica

$P\lor Q$ Disyunción lógica

$P\downarrow Q$ Negación conjunta, Disyunción opuesta

$P\land Q$ Conjunción lógica

$P\uparrow Q$ Negación alternativa, Conjunción Opuesta

$P\to Q$ Condicional material, Implicación

$P\not \rightarrow Q$ Negación del condicional material, Adjunción lógica

$P\leftarrow Q$ Condicional material inverso, Implicación Opuesta

$P\not \leftarrow Q$ Negación del condicional inverso, Adjunción Opuesta

$P\leftrightarrow Q$ Bicondicional, Equivalencia Material

$P\not \leftrightarrow Q$ Disyunción exclusiva

Seria necesario unificar los terminos.