P. 1
logica proposicional

logica proposicional

|Views: 412|Likes:
Publicado poryonosetutalvez

More info:

Published by: yonosetutalvez on May 31, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

02/11/2014

pdf

text

original

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.

conjunción. disyunción. Nombre Negación Símbolo ~.Conectivos lógicos Las palabras o términos mediante los cuales ³se afectan combina una o mas proposiciones. se llaman términos de enlaces de conectivos lógicos´. se usara generalmente un paréntesis para especificar el orden en que se aplicara los operadores lógicos en una proposición compuesta. bicondicional y la disyunción exclusiva. u lógica Condicional o  implicación  Bicondicional  Disyunción exclusiva NOTA: v ³Orden de prioridad de los conectivos lógicos.& producto lógico Disyunción o suma V. .¬ Lectura No. 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 .´ . condicional o implicación. estos son: Negación.

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

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

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 .1) Si x=3 y y=5 entonces x-y= 14+k P= ³x=3´. 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. Q=´y=5´.

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. P=´las estrellas emiten luz´ Q=´los planetas la reflejan´ R=´los planetas giran alrededor de ellas´ P Q R .Ejemplos: 1) Si no estudio me va a ir mal en el examen y sacare mala calificación. 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. 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.

. 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.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. 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.

F el valor es verdadero y viceversa. .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. Cuando ambas variables sean iguales F.

apagado 0). 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. 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. En una cifra binaria. 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. el número binario 1011 tiene un valor que se calcula así: 1*23 + 0*22 + 1*21 + 1*20.Números binarios (TAREA) El sistema binario. en matemáticas e informática. El valor de cada posición es el de una potencia de base 2. debido a que trabajan internamente con dos niveles de voltaje. elevada a un exponente igual a la posición del dígito menos uno. por lo que su sistema de numeración natural es el sistema binario (encendido 1. Se puede observar que. tal y como ocurría con el sistema decimal. De acuerdo con estas reglas. es un sistema de numeración en el que los números se representan utilizando solamente las cifras cero y uno (0 y 1). cada dígito tiene distinto valor dependiendo de la posición que ocupe. Por ejemplo.

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 .

Investigación Tautología: es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. Contradicción: es aquella proposición que siempre es falsa para todos los valores de verdad. Que en las tautologías para todos los valores de verdad el resultado de la proposición es siempre 1. 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 . 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.

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 .

contradicción. equivalencia lógica e implicación lógica. 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) .Determina cuáles de las siguientes proposiciones son tautología. contingencia 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 .

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. entonces el sol no está brillando y hay nubes en el cielo. q.Sean p. 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. 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 . entonces hay nubes en el cielo.

r del ejercicio 1 traducir las siguientes proposiciones a oración en español. ¬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. 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´ . 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 . q. p 0 0 0 0 1 1 1 1 “ r = ³no está lloviendo. entonces el sol esta brillando. 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´. si y solo si.d) si no hay nubes en el cielo.

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´. 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 . 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)] .

todo debería ser inextensa por consiguiente.Si no está en la mañana ni el ayer escrito. ¬ (P ^Q) ¬ P 3. Por consiguiente. entonces debemos hacerlos. [(¬ P Q) ^ (Q R) (¬ P R) 9. [P (Q ^ ¬ ¬ R)] (P R) 8.Cuando no se tiene imaginación la muerte es poca cosa. Entonces.Me matan si no trabajo y si trabajo me matan. (Aristóteles) [(P v ¬ P) ^ (P P) ^ (¬ P ¬ P)] P 2. Si estudias te amenazara el paro.Si no hay control en nacimientos entonces la población crece ilimitadamente. [(P Q) ^ (Q R) ^ (Q R)] R 7. si se piensa que todo es sustancia pensante y vemos que todo es sustancia extensa entonces en realidad. 1. la población crece ilimitadamente. [(¬ Q P) ^ (Q P)] P 6. 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). (P ^ Q) R S .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. entonces no está el mañana escrito. Por consiguiente te amenazara el paro.Si no está el mañana y el ayer escrito. y si trabajas también. Por consiguiente en cualquier caso debemos filosofar. cuando se tiene es demasiado. entonces el mañana no está el ayer escrito. y si no debemos hacerlo entonces no debemos hacerlo. si no hay control de nacimientos aumentara el índice de pobreza. pero si. P [(Q R) (P ^ S)] P 10.Si se piensa que todo es sustancia pensante. todo debería ser inextensa. (¬ P ¬ Q) ^ (P Q) 5. aumentara el índice de pobreza. 4.Puedes estudiar o trabajar.Debemos filosofar o no debemos hacerlo y si debemos hacerlo.Representar de manera simbólica y realizar la tabla de verdad para las siguientes oraciones. Me matan siempre me matan.

contigo porque me matas. en prendo así mismo mi auto enterramiento. como el Teorema del Binomio de Newton. luego por k y finalmente por k+1. . formulas.Ni contigo y sin ti tiene mis males remedio. el Triángulo de Pascal y algunas propiedades de combinatoria que involucran combinaciones y permutaciones.11. validarlas y probar que son verdaderas. 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. [(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. Otra forma de utilizarla es para proporcionar definiciones y formalizar conceptos. usualmente en el conjunto de los números enteros positivos.El Principio de Inducción Matemática se utiliza para demostrar propiedades. [(P ^ Q) R)] ^ [(¬ P ^ S) R] 12. y sin ti porque me muero. validarlas y probar que son verdaderas. Muchas propiedades que incluyen la definición de de factorial se pueden probar por Inducción Matemática.Si acepto el mundo que me ofrecen y soy feliz así entonces comienzo a cavar mi propia sepultura. formulas. o bien si no soy feliz así y veo pocas posibilidades de cambiar este mundo . (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. Nomenclatura de Inducción Matemática.

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

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

En la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia. . 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. no está soleado. Por lo tanto. modo que negando niega). de ahí la importancia de no confundir el condicional (si p. no A Por ejemplo. 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. En lógica proposicional El silogismo categórico (abreviado S. no es mayor de edad.) es un argumento válido si sigue la siguiente forma argumental: P Q Q. No es de día. entonces q) con el bicondicional (p si y solo si q). es una regla de inferencia que tiene la siguiente forma: Si A entonces B No B Por lo tanto.P. el modus tollendo tollens (en latín. también llamado modus tollens y generalmente abreviado MTT o MT.Modus tollendo tollens En lógica. R. por lo cual puede tener términos válidos o no. 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. Es incorrecto puesto que podría ser mayor de edad y no tener permiso de conducir. un razonamiento que sigue la forma del modus tollens podría ser: Si está soleado entonces es de día.

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. cuyos miembros serian los consecuentes de las dos implicaciones lógicamente . podemos concluir es nuestra premisa en una forma de disyunción . es decir una conjunción es una disyunción . cuando se pasa de una a otra .Leyes de Morgan Esta ley permite trasformar una disyunción en una conjunción y viceversa . 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 . si planteamos una elección entre las causas P q si llueve. la tercera una disyunción cuyos miembros sean antecedentes de las condicionales .

.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.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->