Este documento presenta los conceptos básicos de la lógica proposicional. Define términos como proposición, enunciado abierto, proposiciones compuestas, conectivos lógicos, esquemas moleculares y tablas de verdad. Explica los diferentes tipos de proposiciones como conjunción, disyunción, negación y condicional. Finalmente, propone ejercicios para aplicar estos conceptos.
Este documento presenta los conceptos básicos de la lógica proposicional. Define términos como proposición, enunciado abierto, proposiciones compuestas, conectivos lógicos, esquemas moleculares y tablas de verdad. Explica los diferentes tipos de proposiciones como conjunción, disyunción, negación y condicional. Finalmente, propone ejercicios para aplicar estos conceptos.
Direitos autorais:
Attribution Non-Commercial (BY-NC)
Formatos disponíveis
Baixe no formato PPT, PDF, TXT ou leia online no Scribd
Este documento presenta los conceptos básicos de la lógica proposicional. Define términos como proposición, enunciado abierto, proposiciones compuestas, conectivos lógicos, esquemas moleculares y tablas de verdad. Explica los diferentes tipos de proposiciones como conjunción, disyunción, negación y condicional. Finalmente, propone ejercicios para aplicar estos conceptos.
Direitos autorais:
Attribution Non-Commercial (BY-NC)
Formatos disponíveis
Baixe no formato PPT, PDF, TXT ou leia online no Scribd
Equipo de Profesores del Curso Al trmino de la unidad, el alumno, trabajando de manera individual, elabora el valor de verdad y simplifica los esquemas moleculares a partir de otro haciendo uso delas tablas de verdad de los operadores lgicos y de las leyes del algebra proposicional. PRIMERA UNIDAD DE APRENDIZAJE DEFINICIN La lgica proposicional es una parte de la lgica que estudia la formacin de proposiciones complejas, a partir de proposiciones simples. ENUNCIADO Es toda expresin literal, oracin o frase que expresa algo Ejemplos : Lima es la capital del Per Per es anfitrin de III Cumbre ASPA Quito es la capital de Venezuela Qu hora es? auxiliooooo ! X + 12 = 28 PROPOSICIN LOGICA Es toda expresin declarativa que tiene un valor de verdad : o bien es Verdadero (V ) o bien es falso ( F ) De los siguientes ejemplos Cuales de los enunciados son proposiciones lgicas? l es un mueco de madera .. ( ) Per es anfitrin de III Cumbre del ASPA ( ) Quito es la capital de Venezuela ... ( ) Las proposiciones lgicas se representan mediante letras minsculas del abecedario: p , q , r , s, , a las cuales se les denomina variables proposicionales Ejemplo : p : el ro amazonas es el ro ms largo del mundo V ( p) = V ENUNCIADO ABIERTO Es aquel enunciado que tiene la posibilidad de convertirse en proposicin lgica, al asignar un valor o valores a la variable o variables que posee. l es un escritor peruano : es un enunciado abierto Se observa : L es la variable y si le damos nombres: p : Nicols Coprnico es un escritor peruano V (p) = q : Julio Ramn Ribeyro es un escritor peruano V(q) = Ejemplos : 2x + 4 y = 12 : es otro ejemplo de un enunciado abierto Pero, si x = 8 y el valor de y = -1 es un enunciado abierto ? ( ) F V CLASES DE PROPOSICIONES Proposicin Simple o atmica Proposicin Compuesta o Molecular Es aquel elemento o sujeto que tiene un solo elemento o predicado. Nunca es negativo Son aquellos que tienen dos o ms proposiciones simples unidos por coligadores o que contienen el adverbio de negacin no P : Dos es un nmero par q : Per es un pas de Amrica del Sur r : 5 es un nmero primo p q : Dos es un nmero par y tres es impar p : No es cierto que tres sea un nmero par C O N E C T I V O S
L O G I C O S
~ : no, no es cierto que A : y v : O A : O O ; o bien o bien : si .. entonces : ...... si y solo si .......
Ejemplos : No es cierto que , saturno sea el satlite de la tierra Si dos es un nmero primo entonces tiene slo dos divisores 2 es primo si y slo si 2 tiene dos divisores ESQUEMA MOLECULAR Es aquella expresin que resulta ser la combinacin de variables proposicionales, conectivos lgicos y signos de coleccin |( ~ p q ) . ( ~ q v r)| |( ~ r A s ) ~ s| . ( r v w) ~ | ~ p ~ (q v p) | ~ p Ejemplos Un esquema molecular posee un correspondiente valor de verdad y este depender de los valores de verdad dados a cada variable proposicional El nmero de posibilidades para asignar valores de verdad a las variables proposicionales depender de cuntos sean estos. P V F P q V V V F F V F F P q r V V V V V F V F V V F F F V V F V F F F V F F F PROPOSICIONES COMPUESTAS
NEGACIN DE UNA PROPOSICIN
p ~ p V F F V TABLA DE VERDAD De: Su negacin, es: = > < < > q : 7 + 8 < 10 V(q) = F ~q : 7+ 8 10 V(~q) = V Ejemplos :
LA CONJUNCION
p q p A q V V V V F F F V F F F F TABLA DE VERDAD p : 4 < 7 V(p ) = V q : 10 < 6 V(q) = F p A q : 4 < 7 y 10 < 6 V( p A q ) = p : 2 es nmero par V ( p ) = V q : 5 es nmero primo V ( q ) = V p A q : 2 es nmero par y 5 es nmero primo V ( p A q ) = Pero Sin embargo Adems No obstante Aunque A la vez Ms an Palabras equivalentes EJEMPLO: Cuatro es menor que siete, no obstante dos es numero natural Ejemplos : V F
LA DISYUNCIN INCLUSIVA
p q p V q V V V V F V F V V F F F TABLA DE VERDAD
1) p : 5 es un nmero primo V(p) = V q : 10 es un mltiplo de 5 V(q) = V V( p v q ) = 2) p : 16 0,5 + 9 0,5 = 7 V ( p ) = V q : 5 + 8 > 9 + 7 V ( q ) = F V ( p v q ) = Ejemplos : V V LA DISYUNCION EXCLUSIVA TABLA DE VERDAD p q p q V V F V F V F V V F F F O bien es sbado o bien es domingo p q V ( p) = V V ( q) = F V ( p q ) = O bien 15 es mltiplo de 3 o bien 5 es divisor de 15 p q V ( p) = V V ( q) = V V ( p q ) = ___ Ejemplos : V F LA CONDICIONAL p q ANTECEDENTE PREMISA HIPOTESIS CONSECUENTE CONCLUSION TESIS TABLA DE VERDAD p q p q V V V V F F F V V F F V p : Lima es capital de Per q : 6 + 4 = 9 Hallar el valor de verdad de p q resolucin
V( p ) = V V (q ) = F V ( p q ) = Cada vez que Dado que Puesto que Siempre que Estas palabras se caracterizan porque despus de estos trminos est el antecedente Palabras equivalentes a Sientonces Ejemplo : F LA BICONDICIONAL TABLA DE VERDAD p q p q V V V V F F F V F F F V .. si y solamente si .
es una condicin suficiente y necesaria para .... 5 > 6 si y slo si 2 - 3 > 5 + 3
Simbolice y seale el valor de verdad
Resolucin
5 > 6 si y solo si 2 3 > 5 + 3 p q V( p ) = F V (q ) = F
V ( p q ) = Ejemplo : Palabras equivalentes a si y solo si . . SIEMPRE Y CUANDO . V p q p . q p v q p q p q p A q V V V V V V F V F F V F F V F V F V V F V F F F F V V F Bicondicional Disyuncin E Proposiciones Condicional Conjuncin Disyuncin I Tabla de Verdad de las Proposiciones Compuestas Bsicas Negacin de proposiciones Definimos las siguientes NEGACIONES: ( p ) p ( p . q) pvq ( p v q) p .q ( p q) p.q ( p q) p A q (p A q ) ( p q)
TIPOS DE ESQUEMAS MOLECUALRES TAUTOLOGA Cuando en el resultado final, todos los valores de verdad son Verdaderos p q ( p v q ) (~ p q )
V V V V V V F V V V F V V V V F F F V F CONTRADICCIN CONTINGENCIA p q [ ( p A q ) V q ] A ~q
V V V F F V F F F V F V F F F F F F F V p q ( p q) v ( p q)
V V V V V V F F F F F V V V F F F V V V Cuando en el arreglo final hay Verdaderos y Falsos Cuando en el resultado final, todos los valores de verdad son FALSEDADES EJERCICIOS PROPUESTOS 1. Determinar la tabla de valores de verdad de las siguientes proposiciones: a) (p.q) v (~p q). b) [p.(q ~p)] vq. c) [(q v p) .~p] q. d) [(p q) .~q] ~p. e) (p q) .(~ p q). f) ~ [pv (q r)] . (r p). g) (q r) v (q ~p). h) (p . q) ~p.
2. Sean p: 3 > 3; q: 0 0 = 1; r: 6 < 4 2 > 9.
Hallar el valor de verdad de las siguientes proposiciones:
a) (p ~q) r. b) [(p q) r] p. c) [~r (p q)] v (q ~p).
( ~ r v q ) (p . ~ s ) V V V F V F F 3. Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de verdad de la siguiente proposicin ( ~ r v q ) (p . ~ s )
RESOLUCIN 4. A partir de las siguiente condicin, determinar la verdad o falsedad de cada una de las variables proposicionales: [ ~ ( p v q ) . ( ~ q r ) ] es VERDADERA
RESOLUCIN [ ~ ( p v q ) . ( ~ q r ) ] V (p) F V (q) F V (r) V
V F V F F V V 5. Si la proposicin (p ~q) v (~r s) es falsa.
Hallar el valor de verdad de los siguientes esquemas:
a) (~p .~q) v~q. b) [(~r v q) . p] [(~q v r) . s]. c) (p q) [(p v q) .~q].
Resuelva la prctica correspondiente a proposiciones
No es grande aquel que nunca falla, si no el que nunca se da por vencido