INTRODUCCIN

Lgica:

Es una ciencia formal que estudia el contenido de las formas del pensamiento.
La palabra lgica se refiere a lo que es congruente estando bien estructurado y se aplica tanto a las personas como a las situaciones y pensamientos.

NOCIONES BSICAS
Enunciado: Cualquier frase u oracin. Ejemplo : -!Socorro - Esta lloviendo. Proposicin: Enunciado que tiene la propiedad de ser verdadero o falso, pero no ambas a la vez. Ejemplo: p: 2 es divisor de 4 q: 5 3 Observacin: Las preguntas ordenes, dudas, pedidos, exclamaciones, no son proposiciones.

CONECTORES LGICOS
Son operadores que sirven para conectar 2 ms proposiciones. Existen dos clases: El monadico: - El Negador su smbolo es: Los binadicos: -El Conjuntor su smbolo es: - La Disyuncin.- Esta se subdivide en: -Disyuncin dbil su smbolo es: -Disyuncin fuerte su smbolo es: - El implicador o replicador su smbolo es: , - La Bicondicional su smbolo es:

JERARQUIA DE LOS CONECTORES LGICOS

Estos conectores tienen una jerarqua para la formalizacin de proposiciones que se basa en el siguiente orden: (de menor a mayor). 1ro 2do 3ro 4to 5to Negacin: " " Conjuntor y disyuntor dbil: "" , "" Implicador o Replicador: " , Disyuncin fuerte: "" Bicondicional: "

LOS SMBOLOS DE AGRUPACIN

Para simbolizar una proposicin compuesta es necesario asignar a cada proposicin simple una variable proposicional (p, q, r) y a cada conector lgico su respectivo smbolo, teniendo en cuenta los signos de puntuacin (, , ; , .) empleando los diferentes signos de coleccin. Como : Parntesis ( ) Corchetes[ ] Llaves{ }

CLASES DE PROPOSICIONES
Proposicin Simple o Atmica: Formada por un solo sujeto y predicado, es decir que carece de conectores lgicos mondicos y bindicos. Ejemplo : -Loreto tiene un clima tropical. Proposiciones Compuestas o Moleculares: Son aquellas que se obtienen al combinar las proposiciones simples unidas por uno o ms conectores lgicos. Ejemplo : -Juan es abogado. -Pedro y Jos son primos.

CLASES DE PROPOSICIONES
Estas son: -Proposicin Negativa
-Proposicin Conjuntiva. -Proposicin Disyuntiva. -Disyuntiva Incluyente. -Disyuntiva Excluyente. -Proposicin condicional .

-Proposicin Bicondicional.

TABLAS DE VERDAD
Permite representar un razonamiento y hallar su validez:

Variable 2n Arreglos

Esquema Lgico Matriz de Verdad del Esquema

Las letras V y F indican valores verdadero y falso. V=1 y F=0

CLASIFICACIN TABLAS DE VERDAD

1. Tautolgica(T): Si el resultado final contiene slo valores verdaderos.

2. Contradictoria (): Si el resultado final presenta slo valores falsos.

3. Consistente o Contingente (Q): Si el resultado final contiene valores verdaderos y falsos.

EJEMPLOS PRCTICOS
~p(3) [q(3) r(3)] F [ F F V] V .................... (F)

EJEMPLOS PRCTICOS
x[i(x)e(x)] Todo polgono que sea un triangulo. issceles tiene que ser un triangulo equiltero.

EJEMPLOS PRCTICOS
X [p(x) r(x)] p(2) r(2) V F F p(5) V F r(5) F

EJEMPLOS PRCTICOS
x [p(x) q(x)] x [p(x) V q(x)]) x [p(x) ^ q(x)]

EJEMPLOS PRCTICOS
[El universo abarca todos los presidentes actuales de Estados Unidos] Contar con paquete considerable de acciones en la bolsa es una condicin necesaria para que una persona feliz. Implicacin: Para todo residente actual de EE.UU, si cuenta con un paquete considerable de acciones en la bolsa entonces la persona ser feliz. Inversa: Para todo residente actual de EE.UU, si no cuenta con un paquete considerable de acciones en la bolsa entonces la persona no ser feliz. (V)

EJEMPLOS PRCTICOS
Conversa: Para todo residente actual de EE.UU, si una persona es feliz entonces cuenta con un paquete considerable de acciones en la bolsa.(V) Contrapositiva: Para todo residente actual de EE.UU, si una persona no es feliz entonces no cuenta con un paquete considerable de acciones en la bolsa.(V)