Subscripción

Ramiro Gutierrez Alaniz.
Matricula.- A00364333
Fecha de entrega.- Miércoles 18 de abril del 2010.

La lógica proposicional.

Proposiciones simples y compuestas.

TABLA DE LA VERDAD
|p|p |
|V |F |
|F |V |

Ejemplo.-
| |Las matemáticas son aburridas. |
|VV|V |
|VF |F |
|FV |F|
|FF |F |

Ejemplo.-

El lunes corrí.(V)
me cansé.(V)
El lunes me quede dormido.(F)
después me fui al cine.(F)

|pq|p ^ q |
|El lunes corrí y me cansé.|V |
|El lunes corrí y después me fui al cine. |F|
|El lunes me quede dormido y me cansé. |F |
|El lunes me quededormido y después me fui al cine. |F |

Disyuntor.
|pq |p v q|
|VV |V |
|VF |V |
|FV |V|
|FF |F |

Ejemplo.-

Comer bien.(V)
Dormir bien.(V)
No comer.(F)
No dormir.(F)

|pq...