LOGICA Y DEMOSTRACIONES

Slides:



Advertisements
Presentaciones similares
VALORES DE VERDAD DE LOS CONECTIVOS LÓGICOS
Advertisements

Lógica de proposiciones
Matemáticas Computacionales
Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular:
Lógica Proposicional.
PRUEBAS DE VALIDEZ E INVALIDEZ
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
LOGICA Y DEMOSTRACIONES
LÓGICA PROPOSICIONAL.
PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Sesión 5.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta.
Validez de un razonamiento
Álgebra I Prof: Haroldo Cornejo Olivarí.
Curso de Matemática Propedeútica
LOGICA.
I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B
Lógica Proposición Ejemplos
Matemáticas Discretas
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
DEPARTAMENTO DE FORMACIÓN GENERAL.
UNIVERSIDAD POLITÉCNICA DE PACHUCA MAESTRÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIONES Matemáticas Discretas M. en C. Arturo Lezama León Maestría.
INSTITUCION EDUCATIVA LAS FLORES
Aporte de la Lógica a la Matemática
Sistemas de Numeración
CARRERA PROFESIONAL: Lengua, Traducción e Interpretación Asignatura: MATEMÁTICA Tema: “FUNCIONES LÓGICAS”
Lógica de Proposiciones
M.I.C. Héctor E. Medellín Anaya
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
LÓGICA PROPOSICIONAL.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
CONDICIONALES “SI P ENTONCES Q”.
Tablas de verdad en PHP Programación en Internet II.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Evalúa el valor de verdad de dos o mas condiciones y si todas son verdaderas devuelve VERDADERO, en caso contrario FALSO.
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
LÓGICA PROPOSICIONAL Y PREDICADOS
Proposiciones lógicas
(o lógica proposicional)
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
Curso de Teoría del Autómata
MATEMATICA I Lógica Matemticas Prof Rubén Millán
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
Tablas de verdad.
Enunciados Expresan proposiciones. En principio, son verdaderas o falsas. Hoy es martes. Los niños juegan felices. Esta mañana está nublada y hace frío.
LÓGICA SIMBÓLICA SE HA ESTABLECIDO QUE EN EL PROCESO DEL RAZONAMIENTO LÓGICO, LA VERDAD SÓLO SE OBTIENE SI SE CUMPLEN DOS CONDICIONES: 1.- LAS PROPOSICIONES.
Estrategias Heurísticas
CÁLCULO PROPOSICIONAL
Matemáticas Computacionales
Preposiciones compuestas
Fundamentos de la Lógica
DEMOSTRACIONES SISTEMA MATEMÁTICO
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Una proposición es un enunciado u oración declarativa
LA PROPOSICIÓN ESCUELA DE OFICIALES PNP
Lógica Proposicional.
FORMAS ARGUMENTALES COMUNES
Matemáticas Discretas
Abril CV11 MATEMÁTICAS DISCRETAS MARTES 20:30 – 22:00 MIERCOLES 17:00 – 19:00 JUEVES 16:30 – 17:30 M. en C. José del Carmen.
RAZONAMIENTO LÓGICO LÓGICA MATEMÁTICA.
ASIGNATURA: Matemática 2014
LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
Matemática Básica para Administradores
Enunciados Simples Enunciados Compuestos Sistemas Tautológicos
Hecho por: Daniel Rosero Luis Cambo Byron Centeno
La primera operación que vamos a tratar es la negación Tablas de Verdad Si p es verdad,  p es falso Si p es falso,  p es verdad p  p VF FV La tabla.
Transcripción de la presentación:

LOGICA Y DEMOSTRACIONES La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular. Por ejemplo, considérese el siguiente argumento: Todos las matemáticos utilizan sandalias. Cualquier persona que utilice sandalias es algebrista. Por tanto, todos los matemáticos son algebristas.   Todos los matemáticos son algebristas.

PROPOSICIONES ¿Cuál de los siguientes enunciados es verdadero o falso? a) Los únicos enteros positivos que dividen a 7 son 1 y el propio 7. b) Alfred Hitchcock ganó un Premio de la Academia en 1940 por dirigir Rebecca. c) Para todo entero positivo n, existe un número primo mayor que n. d) La Tierra es el único planeta en el universo que tiene vida. e) Compre dos boletos para el concierto de rock de Unhinged Universe para el viernes.

DEFINICION (PROPOSICION) Una afirmación que es verdadera o falsa, pero no ambas, es una proposición. Utilizaremos letras minúsculas, como p, q y r, para representar las proposiciones. También utilizaremos la notación p: 1+1=3 para indicar que p es la proposición 1+1=3.

Definición Sean p y q proposiciones. La conjunción de p y q, denotada p q, es la proposición p y q. La disyunción de p y q, denotada p q, es la proposición p o q. Las proposiciones (como p q y p q) resultantes de combinar proposiciones son proposiciones compuestas.

EJEMPLO Si p: 1+1=3, q: Un decenio tiene 10 años, entonces la conjunción de p y q es p q: 1+1=3 y un decenio tiene 10 años.   La disyunción de p y q es p q: 1+1=3 o un decenio tiene 10 años.

TABLA DE VERDAD El valor de verdad de la proposición compuesta p q queda definido mediante la tabla de verdad. p q p q v f

EJEMPLO Si p: 1+1=3, q: Minneápolis es la capital de Minnesota, entonces p y q son falsas y la conjunción p q: 1+1=3 y Minneápolis es la capital de Minnesota es falsa.

EJEMPLO Si p: 1+1=3 q: Un decenio tiene 10 años, entonces p es falsa, q es verdadera, y la conjunción p q: 1+1=3 y un decenio tiene 10 años es falsa.

EJEMPLO Si p: Benny Goodman grabó música clásica, q: Los Orioles de Baltimore eran los Cafés de San Luis,   entonces p y q son verdaderas. Luego p q: Benny Goodman grabó música clásica y lo Orioles de Baltimore eran los Cafés de San Luis es verdadera.

TABLA DE VERDAD El valor de verdad de la proposición compuesta pq se define mediante la tabla de verdad p q p q v f

Si p: 1+1=3, q: Un decenio tiene 10 años, entonces p es falsa, q es verdadera, y la disyunción p q: 1+1=3 o un decenio tiene 10 años es verdadera.  

EJEMPLO Si p: Benny Goodman grabó música clásica, q: Los Orioles de Baltimore eran los Cafés de San Luis,  entonces p y q son ambas verdaderas y la disyunción p q: Benny Goodman grabó música clásica o lo Orioles de Baltimore eran los Cafés de San Luis también es verdadera.

EJEMPLO Si p: 1+1=3, q: Minneápolis es la capital de Minnesota,   entonces p y q son falsas y la disyunción p q: 1+1=3 o Minneápolis es la capital de Minnesota es falsa.

NEGACION La negación de p, denotada por p, es la proposición no p. El valor de verdad de la proposición p se define mediante la tabla de verdad p v f

EJEMPLO Si p: Cary Grant estelarizó Rear Window, la negación de p es la proposición p: No es cierto que Cary Grant haya estelarizado Rear Window.

EJEMPLO Sean p: Blas Pascal inventó varias máquinas calculadoras, q: la primera computadora digital completamente electrónica fue construida en el siglo XX. r: se calculó hasta 1 millón de cifras decimales en 1954. Representar la proposición Blas Pascal inventó varias máquinas calculadoras y no es cierto que la primera computadora digital completamente electrónica haya sido construida en el siglo XX; o bien se calculó hasta 1 millón de cifras decimales en 1954, en forma simbólica y determinar si es verdadera o falsa.

La proposición puede escribirse en forma simbólica como (p q) r La proposición puede escribirse en forma simbólica como (p q) r. (p q) r = (V V) F = (V F) F = F F = F. Por tanto, la proposición dada es falsa

EJERCICIOS I DETERMINE SIN SON PROPOSICIONES 1 Mesero, ¿puede traer las nueces? Es decir, ¿puede servir las nueces a los invitados? 2.La frase “Hazlo de nuevo, Sam” aparece en la película Casablanca. II SI p=F, q=V Y r=F, EVALUE 3. ( (p q)) ( p r) 4. (p r) (q r) (r p) 5. ( p q) p 6. (p q) ( p q) ((p q) ( p q))

PROPOSICIONES CONDICIONALES Y EQUIVALENCIA LÓGICA Si p y q son proposiciones, la proposición compuesta, si p entonces q, es una preposición condicional y se denota p q   La proposición p es la hipótesis (o antecedente) y la proposición q es la conclusión (o consecuente)

EJEMPLO Enuncie cada proposición en forma de una proposición condicional (a)    María será una buena estudiante si estudia much. (b)   Juan puede cursar cálculo sólo si está en su segundo, tercer o cuarto año de estudio de licenciatura. (c)    Cuando cantas, me duelen los oídos. (d)   Una condición necesaria para que los Cachorros ganen la Serie Mundial es que consigan un lanzador relevista derecho. (e) Una condición suficiente para que Rafael visite California es que vaya a Disneylandia.

(a) Si María estudia mucho, entonces será una buena estudiante (a) Si María estudia mucho, entonces será una buena estudiante. (b) Si p entonces q, es considerada desde el punto de vista lógico como igual a p sólo si q. Una formulación equivalente es Si Juan cursa cálculo, entonces está en su segundo, tercer o cuarto año de estudio de licenciatura. 

(c)  Si cantas, entonces me duelen los oídos (d) Si los cachorros ganan la serie mundial, entonces han contratado un lanzador relevista derecho. (e) Si Rafael va a Disneylania, entonces estará visitando California.

TABLA DE VERDAD p q p q V F

EJEMPLO Sean p: 1>2, q: 4<8. Entonces p es falsa y q es verdadera. Por tanto, p q es verdadera y q p es falsa.

EJERCICIO Si p=V, q=F y r=V, determine el valor de verdad de cada proposición. (a) (b) (c) (d)

PROPOSICION BICONDICIONAL Si p y q son proposiciones, la proposición compuesta p si y sólo si q es una proposición bicondicional y se denota

TABLA DE VERDAD p q p q V F

EJEMPLO La afirmación 1<5 si y sólo si 2<8 puede escribirse de manera simbólica como Si definimos p: 1<5, q:2<8 Como p=V y q=V, la afirmación es verdadera.

PROPOSICIONES EQUIVALENTES Supongamos que las proposiciones compuestas P y Q están formadas por las proposiciones p1,...,pn. Decimos que P y Q son lógicamente equivalentes y escribimos P Q, Siempre la proposición P Q sea verdadera (tautología) para cualquier valor de verdad de P y Q.

LEYES DE MORGAN a) p q V F