Conexiones Logicas y jerarquicas

1.- CONJUNCION

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

2.- 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^q
V	V	V
V	F	F
F	V	F
F	F	F

Con la disyunción, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresión p ∨ q sea verdadera.

3.- CONDICIONAL

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	F
F	F	F

lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso.

4.- BICONDICIONAL

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	F