Lgica de Proposiciones

Evaluaciones: 4 pruebas breves 20% 2 pruebas de materia 40% Prueba acumulativa 40% Lgica: conjunto de reglas formales que siguen el correcto pensar. Condiciones que rigen el empleo de expresiones denominadas conectivas

Conectivas Interproposicionales
No ..Y... o... Ni ni... sientonces si y solo si.. es Incompatible... ..o .o...

v
Falsedad conjunta Bicondicional incompatibilidad - v : Lgica Boleana

disyuncin

Simbolizacin de proposicin elementales o clausulas p q r s Esquemas proposicional -Simple: una clausula (p) -Compuesto: dos o ms clausulas p q (p v q) v r p Proposiciones compuestas Para ser V (verdadera) exige que sus proposiciones elementales posean un determinado valor. Ejemplo: helado y galleta p . q El valor de las proposiciones elementales determina el valor de la proposicin compleja. En general, dado el valor de la proposicin compleja no se determina el valor de las proposiciones elementales Si la proposicin compuesta consta de 2 proposiciones elementales las combinaciones posibles son: Tablas de verdad p q

V V F F

V F V F

Si consta de 3: p q V V F F V V F V F V

r V V V V F

Lgica Simbolica pgina 1

V V F F

V F V F

F F F F

Esquema monoproposicional - p

Esquema biproposicional (p q ) \ r segunda clausula 1ra clausula

El parntesis indica la parte que es sometida a una operacin o la que se aplica una determinada conectiva. Conectiva Monoproposicional Negacin - p - p - V= F

Principios: La negacin de una proposicin V es F La negacin de una proposicin F es V Definicin simblica: - V = F -F= V - p -F=V

Principio de la doble negacin: La negacin de la negacin es una proposicin V es V - (- p) - (- V) = - (F) = -F=V La negacin de una negacin de una proposicin F es F - (- p) - ( - F) = F p = - (- p) Principio de la negacin -V=F Si niego V el resultado es F. La negacin de una proposicin V es F -F=V Si niego F el resultado es V La negacin de una proposicin F es V Principio de la doble negacin - ( - p) - (- V) = V La negacin de la negacin de una proposicin V es V - ( - p) - ( - F) = F La negacin de la negacin de una proposicin F es F

Lgica Simbolica pgina 2