1.

Lgica Proposicional
LGICA Es arte de pensar bien. Generalmente se define la lgica como la ciencia que estudia el razonamiento, en el sentido de poder determinar si un argumento es correcto o incorrecto.

1.1 Proposiciones, conectivos, Frmulas proposicionales

Definicin 1. Una proposicin es una armacin que puede ser verdadera o falsa. Una proposicin es atmica si es imposible descomponerla en proposiciones ms simples. Para combinar proposiciones y formar nuevas proposiciones ms complejas usamos los llamados conectivos lgicos.

Proposiciones
No son proposiciones los enunciados interrogativos ni los enunciados imperativos, y en general todo enunciado del que no pueda decirse que sea verdadero o falso.
p: Simn Bolvar muri en Santa Marta. q: 2 es un nmero primo r: El perro es un animal ovparo.

1.2 Conectivos Lgicos

Conectivo Significado Proposicin Compuesta PQ PQ P PQ PQ Nombre en Lgica Conjuncin Disyuncin Negacin Condicional Bicondiconal

Y O No Si....Entonces Si y Slo Si

Negacin
La Negacin de una proposicin es la que arma que la proposicin original no es verdadera. Generalmente se obtiene agregando no (o no es verdad que) antes de la proposicin original.

Negacin
En el lenguaje corriente tambin se pueden formar negaciones utilizando las expresiones :
No es verdad que , No es cierto que, Es falso que ; y en algunos casos la negacin se hace anteponindole No al verbo principal de la oracin.

Proposicin Negacin
p: El cuadrado es una figura geomtrica q: Simn Bolvar muri en Santa Marta r: El perro es un animal ovparo ~p: El cuadrado NO es una figura geomtrica ~q: Es falso que Simn Bolvar naci en Santa Marta. ~r: No es verdad que el perro es un animal ovparo.

Conjuncin ^
La Conjuncin de dos proposiciones es la que arma que ambas proposiciones son verdaderas. Se obtiene intercalando y entre las dos proposiciones originales. Ejemplo:
Si p: El disco duro esta en buen estado y q: la memoria RAM es pequea. Entonces q ^ p :El disco duro esta en buen estado y la memoria RAM es pequea.

Conjuncin
En el lenguaje corriente se utiliza, a veces, para formar conjunciones , las partculas pero o e. Tambien se utilizan las siguientes: p sin embargo q, p no obstante q p a pesar de q. Ejemplo:
p: La matemtica Discreta es difcil y q: La matemtica Discreta es necesaria p ^ q: La matemtica Discreta es difcil, pero necesaria. La connotacin que tiene el pero en el lenguaje no resulta relevante para la lgica, as que la conjuncin es completamente equivalente a: p ^ q: La matemtica Discreta es difcil y la matemtica Discreta necesaria.

Disyuncin V
La Disyuncin de dos proposiciones es la que arma que al menos una de las dos proposiciones es verdadera. Se obtiene intercalando o entre las dos proposiciones originales. Ejemplos
Si p: El disco duro esta en buen estado y q: la memoria RAM es pequea. Entonces q p : El disco duro esta en buen estado o la memoria RAM es pequea.

Disyuncin
En el lenguaje corriente cuando las dos proposiciones tienen el mismo sujeto, o el mismo predicado, ste se expresa una sola vez para evitar la redundancia. Tambin se pueden utilizar por las disyuncion de p y q las siguientes: o p o q o ambos, al menos p o q, como mnimo p o q. Ejemplos
p: 2 es un nmero par y q: 2 es un nmero primo. Entonces p v q : 2 es un nmero par o es primo.

Disyuncin exclusiva
Un caso especial de disyuncin es la llamada Disyuncin Exclusiva, cuyo smbolo es y que se diferencia de la anterior en que slo es verdadera cuando una, y slo una de las proposiciones que la forman es verdadera.. En el lenguaje corriente la disyuncin exclusiva, se forma anteponindole a la primera proposicin la partcula o y uniendo la primera con la segunda tambin con o. Ejemplos:
Sean p: El programa resuelve el problema y q: El computador est mal configurado. Entonces p q: O el programa resuelve el problema o el computador est mal configurado.

Condicional
La proposicin condicional entre dos proposiciones (el antecedente y el consecuente) es la que arma que, cada vez que el antecedente es verdadero, el consecuente tambin lo es. Puede ser obtenido precediendo el antecedente por si e intercalando entonces entre el antecedente y el consecuente.

Condicional
Para leer una proposicin de la forma PQ, se puede usar algunas de las siguientes expresiones: Si P entonces Q. P es suficiente para Q. Q es necesario para P. Q siempre que P. P slo si Q. Q si P. Q cuando P. no P a menos que Q

Bicondicional
La proposicin bicondicional entre dos proposiciones es la que arma que, o ambas son verdaderas, o ambas son falsas. Puede ser obtenida intercalando la frase si y slo si, o es necesario y suficiente para, o bien siempre y cuando entre las dos proposiciones originales.

TABLAS DE VERDAD DE LOS CONECTIVOS LGICOS

P T T F F Q T F T F PQ T F F F PQ T T T F PQ T F T T PQ T F F T T P F