Escrito el 27 de Abril de 2009 en Español y con un tamaño de 1.858 bytes.
La Negación
La operación unitaria de negación, no es cierto que se representa por “¬” y tiene la siguiente tabla de verdad de verdad
p ¬p V F F V
La conjunción de las proposiciones p, q es la operación binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es:
p q p^q V V V V F F F V F F F F
La disyunción de dos proposiciones p, q es la operación binaria que da por resultado p ó q, notación p v q, y tiene la siguiente tabla:
p q p v q V V V V F V F V V F F F
La "exclusiva", y que indica que una de las dos proposiciones se cumple, pero no las dos. Este caso corresponde por ejemplo a: Hoy compraré un libro o iré al cine; se sobrentiende que una de las dos debe ser verdadera, pero no la dos. Se representa por p XOR q y su tabla de verdad es:
p q p XOR q V V F V F V F V V F F F
Y también podemos poner una disyunción como la siguiente: El menú incluye café o té. En este caso se esta dando una disyuntiva diferente pues no se pueden las dos simultáneamente como en el caso anterior, pero aquí si es válido el caso donde las dos son falsas. Es el caso “no ámbas”, se puede representar por p § q y su tablas es p q p § q V V F V F V F V V F F V
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p ? q, y su tabla de verdad está dada por: p q p?q V V V V F F F V V F F V
La bicondicional de dos proposiciones p, q da lugar a la proposición; p si y sólo si q, se representa por p ? q su tabla de verdad está dada por: p q p ? q V V V V F F F V F F F V
Español y con un tamaño de 1.858 bytes.
¿Quieres saber más sobre 
