Ingeniero

http://azul2.bnct.ipn.mx/clogicos/logica_de_proposiciones/logica_de_proposiciones.htm
PROPOSIICIONES Y TABLAS DE VERDAD
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
                   Conectiva | Expresión en el
lenguaje natural | Ejemplo | Símbolo en
este artículo | Símbolos
alternativos |
Negación | no | No está lloviendo. | | |
Conjunción | y | Está lloviendo y estánublado. | |   |
Disyunción | o | Está lloviendo o está soleado. | | |
Condicional material | si... entonces | Si está soleado, entonces es de día. | | |
Bicondicional | si y sólo si | Estánublado si y sólo si hay nubes visibles. | | |
Negación conjunta | ni... ni | Ni está soleado ni está nublado. | | |
Disyunción excluyente | o bien... o bien | O bien está soleado, o bien estánublado. | | |

 
La Negación
 La operación unitaria de negación, no y tiene la siguiente tabla de verdad de verdad

P ¬p
V F
F  V

Ejemplo.
Encuentre la negación de lasexpresiones siguientes
:i) Júpiter es un planeta
ii) El pizarrón es verde
iii) El número real x es negativo
iv) Algún elefante es de color rosa
v) Ningún pez respira fuera del agua
vi) Todos los leonesson feroces
 
Solución:
i) Júpiter no es un planeta
ii) El pizarrón no es verde
iii) El número real x no es negativo otambién El número real x es positivo ó cero
iv) Ningún elefante es de colorrosa
v) Algún pez respira fuera del agua
vi) Algún león no es feroz

conjunción
La conjunción de las proposiciones p, q es la operación binaria que tiene por resultado p y q, se representa porp^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 porresultado p ó q, notación p v q, y tiene la siguientetabla:

p  q p v q
V  V  V
V  F  V
F  V  V
F  F  F

La
condicional
de dos proposiciones p, q da lugar a la proposición; si p entoncesq, se representa por
p
 

q
, y su...