Unidad 2 : logica proposicional Profesor: William Jiménez López Materia: Matemáticas discretas Carrera: Ingeniería en Tic·s

INSTITUTO TECNOLÓGICO DE IZTAPALAPA II

Irving Enrique De Los Santos González Miércoles 11 de mayo del 2011

Lógica formal Parte del conocimiento cuyo objeto es investigar y desarrollar y establecer los métodos adecuados para poder reconocer razonamiento (argumentos) correcto de lo incorrecto. Estudia la estructura de las proposiciones y el razonamiento deductivo atreves de un proceso que hace abstracción del contenido de las proposiciones consideradas, referir enlace solo a su forma lógica.

Proposiciones y conectivos lógicos Proposición o proposiciones. Una proposición es una oración declarativa la cual es verdad (V, 1) o falsa (F, 0) pero no ambas. Ejemplos. a) México está en América = V b) El sol es una estrella = V c) 17 + 38 = 21= F ¿hoy es viernes? pregunta ¡vámonos¡ orden

NOTA: Se dice que las proposiciones son oraciones declarativas (No interrogativas ni exclamativas), y que por lo tanto tiene un valor veritativo es decir, que son verdaderas (V, 1), o falsas (F, 0), pero no ambas a la vez.

Proposiciones simples y compuestas Se dice que una proposición es simple (o atómica) si no contiene un conectivo lógico. Ejemplo: y y La tierra es plana. Hoy es jueves.

Cuando una o más proposiciones están afectadas o combinadas por uno o más conectivos lógicos, se dice que estas forman una proposición compuesta o molecular. Ejemplo: y y Mañana es miércoles o viernes. No está soleado ni está nublado.

¬ Lectura No. estos son: Negación. conjunción.& producto lógico Disyunción o suma V. o no es cierto que « «y« «o« Si«entonces« «si y solo si« O«o« Jerarquía o dominancia Mínima Baja Baja Media Alta Baja Conjunción o . disyunción.Conectivos lógicos Las palabras o términos mediante los cuales ³se afectan combina una o mas proposiciones.´ . u lógica Condicional o  implicación  Bicondicional  Disyunción exclusiva NOTA: v ³Orden de prioridad de los conectivos lógicos. se llaman términos de enlaces de conectivos lógicos´. Nombre Negación Símbolo ~. condicional o implicación. bicondicional y la disyunción exclusiva. se usara generalmente un paréntesis para especificar el orden en que se aplicara los operadores lógicos en una proposición compuesta. .

tienen menor prioridad que otros operadores. se adopta un orden de prioridad para los operadores lógicos. así p q V r significa (P Q) U r pero no p (p v q). No obstante para evitar el uso excesivo del paréntesis. (p q) r Hipótesis o premisa p q Conclusión o consecuencia.(P V Q) (¬ R). 3) Los operadores condicionales ( ). Es la conjunción de p o q y negación de r. la condicional ( ). De esta manera ¬ p q significa (¬ p) q pero no ¬ (p q) 2) El operador de conjunción ( ) tiene prioridad sobre todos los otros operadores de disyunción (V). tienen prioridad sobre la bicondicional ( ). entre ellos. [(¬ R) [p v(a r)]] H . bicondicional ( ). dado como sigue: 1) El operador de negación (¬) tiene la prioridad sobre todos los conectivos lógicos (operadores lógicos).

z) (A. Simbólicamente: P=´la paz favorece el desarrollo de las ciencias´ Q=´de las artes´ Esto es igual a: P Q .. c«. A=´la informática que nos permite automatizar los procesos en manejo de la información´ Ejemplo 2: La paz favorece el desarrollo de las ciencias y de las artes. pueden sr combinadas entre si. Simbolizado como variable A que contiene toda la oración. las letras del alfabeto castellano (a. -. b.Z) escritas con mayúsculas o minúsculas. mediante los conectivos lógicos para formar otras proposiciones. denotan variables proposicionales o componentes lógicos.. /) y lógica.Simbolización de proposiciones En matemáticas literales como x. las cuales pueden ser sustituidas por números reales. x. B. Estas pueden ser combinados entre si mediante las operaciones ordinarias (+. C«. Por ejemplo: La informática nos permite automatizar los procesos en el manejo de la información. y son utilizados para representar simbólicamente una proposición. Las proposiciones a su vez. z denotan variable. y.

R=´x-y=14+k´ Su representación es: P Q R 2) O triunfa un partido en el poder o triunfa un partido de oposición. P=´triunfa un partido en el poder´ Q=´triunfa un partido de oposición´ Su representación es: PvQ 3) No es cierto que 5 es un número par P=´5 es un numero par´ Su representación es: ¬p . Q=´y=5´.1) Si x=3 y y=5 entonces x-y= 14+k P= ³x=3´.

entonces los planetas la reflejan y giran alrededor de ellas. P=´una estrella muere´ Q=´deja de brillar´ R=´suele apagarse´ P Q PVC 4) Si las estrellas emiten luz. P=´las estrellas emiten luz´ Q=´los planetas la reflejan´ R=´los planetas giran alrededor de ellas´ P Q R . M=´me enseñas´ N=´aprenderé´ O=´lo demostrare´ P=´definitivamente lo haré´ M N O V ¬P 3) Si una estrella muere entonces deja de brillar y muere y suele apagarse.Ejemplos: 1) Si no estudio me va a ir mal en el examen y sacare mala calificación. P=´estudio´ Q=´me va a ir bien en el examen´ R=´sacare buena calificación´ ¬P ¬Q ¬R 2) Si me enseñas entonces aprenderé y lo demostrare o definitivamente no lo are.

Tabla de disyunción P v Q (O) PvQ F F F F V V V F V V V V Ambas variables deben ser falsas para que el resultado sea falso. P Q Tabla de conjunción P Q (Y) P Q P Q F F F F V F V F F V V V Ambas variables deberán ser verdaderas para que el resultado sea verdadero.Tablas de verdad de los conectivos lógicos Tabla de negación ¬ p (no) (TAREA) P ¬P V F F V Los valores que hay verdaderos se cambian a falso y los falsos a verdaderos. .

. F el valor es verdadero y viceversa. Cuando ambas variables sean iguales F.Tabla condicional (P P Q Q) (Si entonces) P Q F F V F V V V F F V V V El antecedente debe ser verdadero y el consecuente falso para que el resultado sea falso. Tabla bicondicional (P P Q Q) (Si y solo si) P Q F F V F V F V F F V V V Ambas variables deben de tener el mismo valor de verdad para que el resultado sea verdadero.

Por ejemplo. por lo que su sistema de numeración natural es el sistema binario (encendido 1. El valor de cada posición es el de una potencia de base 2. Se puede observar que. tomando los restos en orden inverso obtenemos la cifra binaria: 7710 = 10011012 . la base de la potencia coincide con la cantidad de dígitos utilizados (2) para representar los números. Es el que se utiliza en las computadoras. apagado 0). De acuerdo con estas reglas. debido a que trabajan internamente con dos niveles de voltaje.Números binarios (TAREA) El sistema binario. elevada a un exponente igual a la posición del dígito menos uno. el número binario 1011 tiene un valor que se calcula así: 1*23 + 0*22 + 1*21 + 1*20. tal y como ocurría con el sistema decimal. en matemáticas e informática. En una cifra binaria. para convertir al sistema binario el número 7710 haremos una serie de divisiones que arrojarán los restos siguientes: 77: 2 = 38 Resto: 1 38: 2 = 19 Resto: 0 19: 2 = 9 Resto: 1 9: 2 = 4 Resto: 1 4: 2 = 2 Resto: 0 2: 2 = 1 Resto: 0 1: 2 = 0 Resto: 1 y. es decir: 8 + 0 + 2 + 1 = 11 Y para expresar que ambas cifras describen la misma cantidad lo escribimos así: 10112 = 1110 Conversión entre números decimales y binarios Convertir un número decimal al sistema binario es muy sencillo: basta con realizar divisiones sucesivas por 2 y escribir los restos obtenidos en cada división en orden inverso al que han sido obtenidos. cada dígito tiene distinto valor dependiendo de la posición que ocupe. es un sistema de numeración en el que los números se representan utilizando solamente las cifras cero y uno (0 y 1).

128 1 1 1 1 64 0 1 1 1 32 0 0 1 1 16 1 1 0 1 8 0 1 0 1 4 1 0 1 1 2 1 1 0 1 1 0 0 0 1 decimal 150 90 100 255 8 0 0 0 0 0 0 0 0 1 1 2n = 23 = 8 2n = 24 = 16 4 0 0 0 0 1 1 1 1 0 0 2 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 decimal 0 1 2 3 4 5 6 7 8 9 .

Ejemplos ¬ [P P 0 0 0 0 1 1 1 1 (Q Q 0 0 1 1 0 0 1 1 R)] R ¬ 0 1 1 1 0 1 1 1 0 0 1 0 0 0 11 0 3 paso P 0 0 0 0 1 1 1 1 Q 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 paso R 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 2 paso Ejemplo ¬P P 0 0 0 0 1 1 1 1 Q Q 0 0 1 1 0 0 1 1 R R 0 1 0 1 0 1 0 1 ¬ 1 1 1 1 0 0 0 0 1 paso P 0 0 0 0 1 1 1 1 (REV) 2n = 23 = 8 0 0 0 0 0 0 1 1 2 paso Q 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 3 paso R 0 1 0 1 0 1 0 1 .

Tarea 1) ¬ (P ¬ Q) P 0 0 1 1 Q 0 1 0 1 ¬Q 1 0 1 0 P Q 0 0 1 0 ¬(P ¬Q) 1 1 0 1 2) ¬P ¬Q P 0 0 1 1 Q 0 1 0 1 ¬P 1 1 0 0 (Q ¬Q 1 0 1 0 P) ¬P 1 0 0 0 ¬Q 3) (P Q) P 0 0 1 1 4) Q P 0 0 1 1 Q 0 1 0 1 ¬P Q 0 1 0 1 P 1 1 0 1 Q Q 1 0 1 1 Q) P (P 1 0 1 1 Q) (Q P) (P ¬P 1 1 0 0 Q 1 1 1 0 ¬P P 1 1 0 1 Q Q 1 1 0 0 ¬P (P Q) .

5) (Q P 0 0 1 1 6) (P P 0 0 1 1 7) (¬P P 0 0 1 1 8) ¬ P P 0 0 1 1 Q 0 1 0 1 ¬ P) Q 0 1 0 1 Q) Q 0 1 0 1 P 0 0 0 1 ¬ Q) Q 0 1 0 1 ¬Q ¬P 1 1 0 0 ¬P 1 1 0 0 (P Q 1 1 1 0 Q) ¬P P 1 0 0 1 Q (P 1 0 0 0 ¬ P) (P Q) [(P Q) V (¬P ¬Q)] Q ¬P 1 1 0 0 (P ¬Q 1 0 1 0 P ¬Q 1 0 1 0 Q ¬P 1 0 1 1 ¬Q P 1 0 0 1 Q 1 1 0 1 Q) ¬P 1 0 0 1 ¬Q P 1 0 0 1 Q (¬P 1 1 1 1 ¬ Q) (P Q) ¬Q 1 0 1 0 ¬P 1 0 0 0 ¬Q V 1 0 0 1 P 1 0 0 1 Q 0 1 1 1 ¬P 1 1 0 0 .

(REV) 1) P P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 (P P 1 1 1 1 0 0 1 1 Q) Q R P 0 0 0 0 0 0 1 1 (Q Q 1 1 0 1 1 1 0 1 R) PvQ 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 (Q P 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 (P Q) P 1 1 1 1 1 1 0 1 R)] Q) (Q R) P 1 1 1 1 0 1 0 1 R 1 1 1 1 1 1 1 1 ¬ 0 0 0 0 0 0 0 0 (P Q) R 2) ¬ [(P P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 P 1 1 1 1 0 0 1 1 (P S 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Q) Q R) R (P (P 1 1 0 1 0 0 0 1 S) R 3) (P v Q) P 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 Q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 R 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 (R v S) 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 Q 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 S 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 RvS 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 .

4) (P P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 Q) R 0 1 0 1 0 1 0 1 B A 0 0 0 1 (Q P 1 1 1 1 0 0 1 1 Q R) Q 1 1 0 1 1 1 0 1 (P R R) 1 1 0 1 0 0 0 1 P 1 1 1 1 0 1 0 1 R 1 1 1 1 1 1 1 1 5) A A 0 0 1 1 B 0 1 0 1 ¬ (¬ A v ¬ B) B ¬A 1 1 0 0 ¬B 1 0 1 0 ¬Av¬B 1 1 1 0 ¬ 0 0 0 1 1 1 1 1 .

6) A Y A 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 P 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 Q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 (P v Q) R 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 Y 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 R A Y 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 PvQ 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 (P v Q) 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 R 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 .

7) (P Q) P 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 Q 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 R 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 S 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 (R v S) T 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 P Q 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 T RvS 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 T 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 .

1) P P 0 0 1 1 Q 0 1 0 1 (P P Q) Q 1 1 0 1 (Q R) P Q 1 1 1 1 0 0 1 1 Q P Implicacion lógica (P 0 1 0 1 (P R)] P R 1 1 1 1 0 1 0 1 Q) P (P Q) 1 1 1 1 Q 2) ¬ [(P Q) P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 contradicción  (P Q) (Q R) 1 1 0 1 0 0 0 1 ¬[(P Q) (Q R) 0 0 0 0 0 0 0 0 (P R)] Q R 1 1 0 1 1 1 0 1 .Investigación Tautología: es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. Contingencias lógicas (verdaderas y falsas) Implicación lógica: ( Equivalencia lógica ( (tautología)  tautología) verdad) Ejemplos Calcular la tabla de verdad de los siguientes ejercicios. Que en las tautologías para todos los valores de verdad el resultado de la proposición es siempre 1. Contradicción: es aquella proposición que siempre es falsa para todos los valores de verdad.

3) (P Q) (Q R) P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R P Q 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 ( A v ¬B) A B 0 0 0 1 (P R) Q R 1 1 0 1 1 1 0 1 P R 1 1 1 1 0 1 0 1 (P Q) (Q R) 1 1 1 1 0 1 0 1 (P Q) (Q R) 1 1 1 1 1 1 1 1 (P R) 4) A B A 0 0 1 1 B 0 1 0 1 A߬B 1 1 1 0 ( A߬B) 0 0 0 1 (R v S) A B ( A߬B) 1 1 1 1 5) (P v Q) P 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 Q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 R 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 S 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 (P R) P R 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 (Q S) (P v Q) (P R) 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 Q S 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 (P v Q) (P R) (Q S) 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 RvS 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 .

Determina cuáles de las siguientes proposiciones son tautología. contradicción. a) P v Q P 0 0 1 1 b) (P P 0 0 1 1 c) Q P 0 0 1 1 d) (p p 0 0 1 1 q 1 0 1 0 Q 0 1 0 1 Q) Q 0 1 0 1 ¬ P Q 0 1 0 1 q) (p 1 0 0 1 ¬p) ¬p 0 0 1 1 P Q PvQ 0 0 0 1 (Q P 1 1 0 1 (P ¬P 1 1 0 0 p q P) Q Contingencia logica P Q 0 0 0 1 PvQ 1 0 0 1 P Q Contingencia logica Q 1 0 1 1 P (P 1 0 1 1 Q) (Q P) Q) Q 1 1 1 0 ¬p ¬ P Contingencia logica P 1 0 0 1 Q Q 1 0 0 0 ¬ P (P Q) ¬q ¬p 1 1 0 0 ¬q 1 0 1 0 equivalencia lógica ¬p 1 0 0 0 ¬q p q 1 0 0 1 contingencia lógica ¬p ¬q (p q) ¬q 1 1 1 1 p q ¬p q) p q 0 0 0 1 (p ¬p 0 0 1 1 q) e) (¬p p 0 0 1 1 q 0 1 0 1 (¬p 1 1 1 1 ¬p) (p 1 0 0 1 q) (¬p 1 0 0 1 ¬p) (p q) . contingencia lógica. equivalencia lógica e implicación lógica.

f) [p p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 (q r)] r 0 1 0 1 0 1 0 1 [(p q) (q r) 1 1 0 1 1 1 0 1 [p 1 1 1 1 1 1 0 1 (p r)] (q r)] implicación lógica (p q) (p r) 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 [(p q) 1 1 1 1 1 1 0 1 (p r)] 1 1 1 1 1 1 1 1 g) ¬ [p p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 (q r)] R 0 1 0 1 0 1 0 1 (q r) 0 0 0 1 0 0 0 1 [(p q) [p 0 0 0 1 1 1 1 1 (p r)] (q r)] ¬ [p 1 1 1 0 0 0 0 0 contingencia lógica (q r)] (p q) 0 0 1 1 1 1 1 1 (p r) 1 1 1 1 0 1 0 1 [(p q) 0 0 1 1 0 1 0 1 (p r)] 0 0 1 0 1 0 1 0 h) (¬p p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 ¬q) r 0 1 0 1 0 1 0 1 ¬p 1 1 1 1 0 0 0 0 (q r) (¬p ¬q) 1 1 0 0 0 0 1 1 (q 1 0 0 1 1 0 0 1 contingencia lógica r) (¬p 1 0 1 0 0 1 0 1 ¬q) (q r) ¬q 1 1 0 0 1 1 0 0 .

i) [p p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 (q r) r 0 1 0 1 0 1 0 1 (¬ r p) p 1 1 1 1 1 1 0 1 s (p q) 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 q] (q r) ¬r 1 0 1 0 1 0 1 0 contingencia lógica (¬ r p) 1 0 1 0 1 1 1 1 (¬ r p) 0 0 1 0 0 0 1 1 q] [p 0 0 1 0 0 0 0 1 (q r) (¬ r p) q] (q r) 1 1 0 1 1 1 0 1 r] s 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 j) [(p q) p 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 r 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 contingencia lógica [(p q) 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 r] [(p q) 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 r] s k) ¬ q p 0 0 1 1 q 0 1 0 1 (p q) ¬q 1 0 1 0 ¬p (p q) 1 1 0 1 implicación tautológica ¬ q (p q) 1 0 0 0 ¬p 1 1 0 0 ¬ q (p q) 1 1 1 1 ¬p .

l) [(p q) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (q r)] (p q) 1 1 1 1 0 0 1 1 (p r) (q r) 1 1 0 1 1 1 0 1 implicación tautológica [(p q) 1 1 0 1 0 0 0 1 (q r)] (p r) 1 1 1 1 0 1 0 1 [(p q) 1 1 1 1 1 1 1 1 (q r)] (p r) m) ¬ (q r) r (p q) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (q r) 1 1 0 1 1 1 0 1 (p r) (p q) 0 0 1 1 1 1 1 1 contradicción ¬ (q r) 0 0 1 0 0 0 1 0 ¬ (q r) r 0 0 0 0 0 0 0 0 (p q) 1 1 1 1 0 0 1 1 ¬ (q r) r (p q) 0 0 0 0 0 0 0 0 n) [(p q) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (q r)] (p r) 1 1 1 1 0 0 1 1 r (p q) 0 0 1 1 0 0 1 1 contingencia lógica (p r) (q r) 1 1 0 1 1 1 0 1 [(p q) 1 1 0 1 1 1 1 1 (p r) (q r)] 0 1 1 1 0 1 1 1 r .

Sean p. q. entonces el sol no está brillando y hay nubes en el cielo. entonces hay nubes en el cielo. p p 0 0 0 0 1 1 1 1 ¬q r q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 implicación tautológica ¬q 1 1 0 0 1 1 0 0 ¬q 0 1 0 1 0 1 0 0 r p 1 1 1 1 1 1 1 1 ¬q r . y r las proposiciones siguientes p= ³está lloviendo´ q=´el sol esta brillando´ r= ³hay nubes en el cielo´ (REV) 1) traducir las siguientes oraciones a notación simbólica utilizando las letras asignadas y los conectivos lógicos. p p 0 0 1 1 r r 0 1 0 1 contingencia lógica p 1 1 0 1 r c) si está lloviendo. a) Está lloviendo y el sol brillando p p 0 0 1 1 q q 0 1 0 1 contingencia lógica p 0 0 0 1 q b) si está lloviendo.

q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p 0 0 0 0 0 0 1 1 q) (p 1 1 1 1 1 1 0 1 q) r b) ¬ p cielo´. a) (p p 0 0 0 0 1 1 1 1 q) r =´si está lloviendo y el sol esta brillando entonces hay nubes en el cielo´ . p 0 0 0 0 1 1 1 1 “ r = ³no está lloviendo. ¬p r 0 0 1 1 e) q q 0 1 0 1 ¡no le entendí ¡ contingencia logica ¬p 1 0 1 0 ¬p 0 1 0 1 q 2) sean p.d) si no hay nubes en el cielo. r del ejercicio 1 traducir las siguientes proposiciones a oración en español. entonces el sol esta brillando. el sol esta brillando o hay nubes en el q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 ¬p 1 1 1 1 0 0 0 0 q 0 1 1 1 0 1 1 1 r ¬p 0 1 1 1 1 0 0 0 q r . si y solo si. q.

p 0 0 0 0 1 1 1 1 q= ³si está lloviendo entonces hay nubes en el cielo. el sol no está brillando y no hay nubes q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (q 0 0 0 1 0 0 0 1 r) p 1 0 1 1 1 0 1 1 (q r) ¬ [p 0 1 0 0 0 1 0 0 (q r)] . p 0 0 0 0 1 1 1 1 e) ¬ [p (q en el cielo´. entonces el sol esta q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p 1 1 1 1 0 1 0 1 r) (p 0 0 1 1 1 0 1 1 r) q r)] = ³no está lloviendo si y solo si .c) ¬ (p p 0 0 0 0 1 1 1 1 q) r = ³no está lloviendo o el sol no está brillando y hay nubes en el cielo´ q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p 0 0 1 1 1 1 1 1 q) ¬ (p 1 1 0 0 0 0 0 0 q) ¬ (p 0 1 0 0 0 0 0 0 q) r d) (p r) brillando´.

y si trabajas también.Si te llame por teléfono entonces revisaste mi llamada y no es cierto que te avise del peligro que corrías por consiguiente como te llame es cierto que te avise del peligro que corrías.Si no hay control en nacimientos entonces la población crece ilimitadamente. P [(Q R) (P ^ S)] P 10. Me matan siempre me matan. Por consiguiente en cualquier caso debemos filosofar. [(¬ P Q) ^ (Q R) (¬ P R) 9.Me matan si no trabajo y si trabajo me matan.Si no está en la mañana ni el ayer escrito. la población crece ilimitadamente. Si estudias te amenazara el paro. [(¬ Q P) ^ (Q P)] P 6.Si se piensa que todo es sustancia pensante. (P ^ Q) R S . Entonces. pero si. entonces debemos hacerlos. 1. (Aristóteles) [(P v ¬ P) ^ (P P) ^ (¬ P ¬ P)] P 2. si no hay control de nacimientos aumentara el índice de pobreza. [(P Q) ^ (Q R) ^ (Q R)] R 7. (¬ P ¬ Q) ^ (P Q) 5. si se piensa que todo es sustancia pensante y vemos que todo es sustancia extensa entonces en realidad.Si no está el mañana y el ayer escrito. aumentara el índice de pobreza. 4. Por consiguiente. Por consiguiente te amenazara el paro.Cuando no se tiene imaginación la muerte es poca cosa. todo debería ser inextensa por consiguiente. entonces el mañana no está el ayer escrito. cuando se tiene es demasiado.Puedes estudiar o trabajar. entonces no está el mañana escrito. [P (Q ^ ¬ ¬ R)] (P R) 8. todo debería ser inextensa.Debemos filosofar o no debemos hacerlo y si debemos hacerlo. ¬ (P ^Q) ¬ P 3. y si no debemos hacerlo entonces no debemos hacerlo.Representar de manera simbólica y realizar la tabla de verdad para las siguientes oraciones. entonces si vemos que todo es sustancia extensa.Si el vehículo queda inmovilizado durante 48hrs y las reparaciones ande durar durante 8hrs la compañía de seguros pone a disposición de cada uno de los asegurados en el vehículo (un billete de tren primera clase o de avión clase turista).

Nomenclatura de Inducción Matemática. (B) se llama Caso Base o caso inicial (I) se llama Paso de Inducción K e S se llama Hipótesis de Inducción Y como ya se mencionó todo junto se llama Principio de Inducción Matemática. usualmente en el conjunto de los números enteros positivos. formulas. y sin ti porque me muero. en prendo así mismo mi auto enterramiento.El Principio de Inducción Matemática se utiliza para demostrar propiedades. validarlas y probar que son verdaderas. [(P ^ Q) R)] ^ [(¬ P ^ S) R] 12. contigo porque me matas. [(P ¬ P) Q] [P R] ^ [¬ P R] Investigación Inducción matemática El principio de Inducción Matemática es un método que se utiliza para demostrar propiedades.11. validarlas y probar que son verdaderas. o bien si no soy feliz así y veo pocas posibilidades de cambiar este mundo . Es un método simple que consta de tres pasos fundamentales en los cuales se debe demostrar la propiedad reemplazando su incógnita por 1. . luego por k y finalmente por k+1. como el Teorema del Binomio de Newton.Ni contigo y sin ti tiene mis males remedio. el Triángulo de Pascal y algunas propiedades de combinatoria que involucran combinaciones y permutaciones. Otra forma de utilizarla es para proporcionar definiciones y formalizar conceptos. Muchas propiedades que incluyen la definición de de factorial se pueden probar por Inducción Matemática. formulas.Si acepto el mundo que me ofrecen y soy feliz así entonces comienzo a cavar mi propia sepultura.

una regla de inferencia es un esquema para construir inferencias válidas. Otra manera de presentar el modus ponens con el condicional es: . Como se mencionó. Las reglas también se aplican a la lógica informal y a las discusiones. o mejor dicho. preservar la validez. entonces es de día. es de día. la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Modus ponendo tollens. Por lo tanto. también llamado modus ponens y generalmente abreviado MPP o MP. Para que el requisito de preservación de la validez tenga sentido. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Reglas de inferencia clásicas Algunas de las reglas de inferencia más conocidas son: En la lógica proposicional: Modus ponendo ponens. Modus tollendo ponens. pero la formulación es mucho más difícil y polémica. un razonamiento que sigue la forma del modus ponens podría ser: Si está soleado. Está soleado. Por lo tanto. B Por ejemplo. Javier es una nube. Modus tollendo tollens. el modus ponendo ponens (en latín. Javier tiene rabia. Otro ejemplo sería Si Javier tiene rabia. especialmente en lógica matemática. debe también ser el válido. por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas. Silogismo hipotético. es una regla de inferencia que tiene la siguiente forma: Si A. Estas relaciones sintácticas son usadas en el proceso de inferencia. Modus ponendo ponens En lógica. Sin embargo. es una nube. entonces B A Por lo tanto. modo que afirmando afirma).Reglas de inferencia En lógica.

modo que negando afirma) o MTP. Otra manera de presentar el silogismo disyuntivo es: . no es de noche. No es de día. históricamente conocido como modus tollendo ponens (en latín. un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser: O es de día o es de noche. B o exclusivo: O es el caso que A. o bien es de noche. un razonamiento que sigue la forma del modus ponendo tollens podría ser: O bien es de día. o es el caso que B No A Por lo tanto. modo que afirmando niega) o MPT es una forma válida de argumento que dice: O bien A. Es de día. B Por ejemplo. Por lo tanto. o bien B A Por lo tanto. es una forma válida de argumento: es el caso que A. Otra manera de presentar el modus ponendo tollens es: Modus tollendo ponens En lógica. o es el caso que B No A Por lo tanto. el silogismo disyuntivo. es de noche. el modus ponendo tollens (en latín. no B Por ejemplo. Por lo tanto.Modus ponendo tollens En lógica.

P. el modus tollendo tollens (en latín. también llamado modus tollens y generalmente abreviado MTT o MT. Otra manera de presentar el modus tollens es: Silogismo hipotético En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético. por lo cual puede tener términos válidos o no. no es mayor de edad. de ahí la importancia de no confundir el condicional (si p. En lógica proposicional El silogismo categórico (abreviado S. No es de día. no A Por ejemplo. es una regla de inferencia que tiene la siguiente forma: Si A entonces B No B Por lo tanto. Es incorrecto puesto que podría ser mayor de edad y no tener permiso de conducir.) es un argumento válido si sigue la siguiente forma argumental: P Q Q. R.Modus tollendo tollens En lógica. mientras que en la historia de la lógica los silogismos hipotéticos han sido una antelación de la teoría de las consecuencias. Por lo tanto. En la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia. . no está soleado. un razonamiento que sigue la forma del modus tollens podría ser: Si está soleado entonces es de día. Es importante evitar caer en el razonamiento incorrecto de: Si tiene permiso de conducir entonces es mayor de edad No tiene permiso de conducir Por lo tanto. modo que negando niega). entonces q) con el bicondicional (p si y solo si q).

cuyos miembros serian los consecuentes de las dos implicaciones lógicamente . la tercera una disyunción cuyos miembros sean antecedentes de las condicionales . entonces las calles se mojan R s si la tierra tiembla los edificios se caen P v r llueve ola tierra tiembla Simplificación disyuntiva (sd) Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente y sus antecedentes con los dos miembros de una disyunción podemos concluir P v q ³helado de fresa o vainilla´ P r ³si tomas helado de fresa entonces repites´ Q r ³si tomas helado de vainilla entonces repites´ R luego repites La ley de adicción Dado un enunciado cualquiera es decir como una disyunción acompañada por cualquier otro enunciado A he comprado manzanas A v b he comprado manzanas o he comprado peras . podemos concluir es nuestra premisa en una forma de disyunción .Leyes de Morgan Esta ley permite trasformar una disyunción en una conjunción y viceversa . se cambia los valores de afirmación y afirmación y de los términos de la disyunción conjunción asi como de la propia operación en conjuntos Silogismo disyuntivo Dada las tres premisas dos de ellas implicaciones. es decir una conjunción es una disyunción . si planteamos una elección entre las causas P q si llueve. cuando se pasa de una a otra .

.Adjunción simplificación Si ponemos de dos enunciados anunciados como dos premisas utilizando el operador a (conjunción) P ³Juan es cocinero´ Q ³Pedro es policía ³ P q ³Juan es policía y Pedro es cocinero´ Simplificación es una operación inversa de una oración podemos formar dos por separado.

Sign up to vote on this title
UsefulNot useful