Logica 1

Razonamiento L ogico/L ogica Computacional
L ogica proposicional
Dr. H ector Avil es

Ingenier a en Tecnolog as de la Informaci on Universidad Polit ecnica de Victoria Cd. Victoria Tamaulipas
Abril-Agosto 2012
Introducci on
El lenguaje
Sem antica
Contenido
Introducci on El lenguaje de la l ogica proposicional Sem antica
H. Avil es 2/61
UPV
Introducci on
El lenguaje
Sem antica
Contenido
Introducci on El lenguaje de la l ogica proposicional Sem antica
H. Avil es 3/61
UPV
Introducci on
El lenguaje
Sem antica
Contenido
x Introducci on El lenguaje de la l ogica proposicional Sem antica
H. Avil es 4/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Un lenguaje l ogico involucra:
H. Avil es 5/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Una sintaxis para construir expresiones legales (i.e., f ormulas bien formadas) en esta l ogica (con componentes llamados atomos y conectivas l ogicas)
H. Avil es 5/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Una sintaxis para construir expresiones legales (i.e., f ormulas bien formadas) en esta l ogica (con componentes llamados atomos y conectivas l ogicas) Una sem antica que vincula los elementos del lenguaje con alg un dominio espec co (i.e., proposiciones)
H. Avil es 5/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Una sintaxis para construir expresiones legales (i.e., f ormulas bien formadas) en esta l ogica (con componentes llamados atomos y conectivas l ogicas) Una sem antica que vincula los elementos del lenguaje con alg un dominio espec co (i.e., proposiciones) Reglas de inferencia para manipular sentencias en el lenguaje
H. Avil es 5/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Una sintaxis para construir expresiones legales (i.e., f ormulas bien formadas) en esta l ogica (con componentes llamados atomos y conectivas l ogicas) Una sem antica que vincula los elementos del lenguaje con alg un dominio espec co (i.e., proposiciones) Reglas de inferencia para manipular sentencias en el lenguaje
Por el momento postergaremos el signicado de estos elementos (i.e., su sem antica) y las reglas de inferencia, utilizando solamente componentes sin conceptos relacionados
H. Avil es 5/61 UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Los elementos l exicos del lenguaje son:

1 Atomos. Todas las cadenas posibles de car acteres que inician con una letra may uscula. Adem as, dos atomos importantes son F (falso ) y V (verdadero ). 2 Conectivas binarias. disyunci on (), conjunci on (), y condicional o implicaci on material () 3 Conectiva unaria. negaci on ()
H. Avil es 6/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
El lenguaje debe proveer reglas sint acticas para la construcci on de sentencias legales llamadas f ormulas bien formadas (fbf ) Reglas de sintaxis para generar f ormulas bien formadas:
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Cualquier atomo (e.g., P , R , Q1 )
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Cualquier atomo (e.g., P , R , Q1 ) Si P y Q son fbf, tambi en lo son:
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q P Q
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q P Q PQ
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q P Q PQ P
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q P Q PQ P
Atomos y atomos negados tambi en son llamados literales
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q P Q PQ P
Atomos y atomos negados tambi en son llamados literales En la f ormula P Q , a P se le llama antecendente y a Q el consecuente
H. Avil es 7/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
P Q P Q PQ P
Atomos y atomos negados tambi en son llamados literales En la f ormula P Q , a P se le llama antecendente y a Q el consecuente Los par entesis se usan de la misma forma que en las expresiones aritm eticas para operaciones unarias, e.g., (P ) y binarias (P Q )
H. Avil es 7/61 UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
4 Finalmente, no hay otras f ormulas bien formadas
H. Avil es 8/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q )
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 )
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 ) (P1 P2 ) (P3 P4 )
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 ) (P1 P2 ) (P3 P4 ) (P3 P4 )
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 ) (P1 P2 ) (P3 P4 ) (P3 P4 ) Q1 Q2 Q3 Q4 P5 P6
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 ) (P1 P2 ) (P3 P4 ) (P3 P4 ) Q1 Q2 Q3 Q4 P5 P6 P1 P2 P3 P4 P5 P6
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 ) (P1 P2 ) (P3 P4 ) (P3 P4 ) Q1 Q2 Q3 Q4 P5 P6 P1 P2 P3 P4 P5 P6 R
No son fbf:
H. Avil es 9/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Ejemplos de fbf:
(P Q ) (P1 P2 ) P3 P1 (P2 P3 ) (P1 P2 ) (P3 P4 ) (P3 P4 ) Q1 Q2 Q3 Q4 P5 P6 P1 P2 P3 P4 P5 P6 R
No son fbf:
P (Q P
H. Avil es 9/61 UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Los s mbolos pueden variar, as :
Puede usarse letras en min uscula para indicar los atomos (e.g., p, q) , en vez de (e.g., P Q , R S ) o ! para (e.g., !P , Q ) se puede cambiar por o & (e.g., P Q , R &S ) es sin onimo de || o + (e.g., P ||Q , R + S )
H. Avil es 10/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje
Los s mbolos pueden variar, as :
Puede usarse letras en min uscula para indicar los atomos (e.g., p, q) , en vez de (e.g., P Q , R S ) o ! para (e.g., !P , Q ) se puede cambiar por o & (e.g., P Q , R &S ) es sin onimo de || o + (e.g., P ||Q , R + S )
Los s mbolos &, || y ! se utilizan principalmente en lenguajes de programaci on

H. Avil es 10/61 UPV
Introducci on
El lenguaje
Sem antica
Ejercicio
De manera individual proponga 10 ejemplos de fbf de 1 a 5 literales que incluyan los s mbolos , , , y ()
H. Avil es 11/61
UPV
Introducci on
El lenguaje
Sem antica
Contenido
x Introducci on x El lenguaje de la l ogica proposicional Sem antica
H. Avil es 12/61
UPV
Introducci on
El lenguaje
Sem antica
Introducci on
Hemos visto los elementos b asicos del lenguaje de la l ogica proposicional y la manera de construir fbfs Es necesario que estos los atomos, conectivas y f ormulas bien formadas tengan un signicado y un dominio de aplicaci on El lenguaje se estudia por separado de la sem antica para analizar las construcci on de estructuras l ogicas independientemente de su signicado Al dar un signicado a una fbf podremos establecer su veracidad de acuerdo al estado actual del mundo
H. Avil es 13/61
UPV
Introducci on
El lenguaje
Sem antica
Operadores l ogicos
Primero asignaremos un signicado a las operaciones l ogicas que hemos visto:
H. Avil es 14/61
UPV
Introducci on
El lenguaje
Sem antica
Operadores l ogicos

P Q lo llamaremos P o Q
H. Avil es 14/61
UPV
Introducci on
El lenguaje
Sem antica
Operadores l ogicos

P Q lo llamaremos P o Q P Q signica P y Q
H. Avil es 14/61
UPV
Introducci on
El lenguaje
Sem antica
Operadores l ogicos

P Q lo llamaremos P o Q P Q signica P y Q P Q se lee Si P entonces Q
H. Avil es 14/61
UPV
Introducci on
El lenguaje
Sem antica
Operadores l ogicos

P Q lo llamaremos P o Q P Q signica P y Q P Q se lee Si P entonces Q P lo denominaremos No P
H. Avil es 14/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Una proposici on (simple ) es un enunciado declarativo (que niega o arma algo) y que puede ser verdadero o falso (valor de verdad)
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Una proposici on (simple ) es un enunciado declarativo (que niega o arma algo) y que puede ser verdadero o falso (valor de verdad) Ejemplos:
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hoy llueve
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hoy llueve Mi gato es negro
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hoy llueve Mi gato es negro La escuela es muy divertida
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hoy llueve Mi gato es negro La escuela es muy divertida Las clases de l ogica computacional son muy sencillas
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hoy llueve Mi gato es negro La escuela es muy divertida Las clases de l ogica computacional son muy sencillas Jurassic Park III no dura 3 horas
H. Avil es 15/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hoy llueve Mi gato es negro La escuela es muy divertida Las clases de l ogica computacional son muy sencillas Jurassic Park III no dura 3 horas ...
Introducci on
El lenguaje
Sem antica
Proposiciones
No son proposiciones l ogicas:
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hay vida en Plut on
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hay vida en Plut on Todos los alumnos aprobar an el curso de Probabilidad y Estad stica
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hay vida en Plut on Todos los alumnos aprobar an el curso de Probabilidad y Estad stica En el fondo del Lago Ness habita un monstruo
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hay vida en Plut on Todos los alumnos aprobar an el curso de Probabilidad y Estad stica En el fondo del Lago Ness habita un monstruo Puedes venir?
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hay vida en Plut on Todos los alumnos aprobar an el curso de Probabilidad y Estad stica En el fondo del Lago Ness habita un monstruo Puedes venir? S /No
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
Hay vida en Plut on Todos los alumnos aprobar an el curso de Probabilidad y Estad stica En el fondo del Lago Ness habita un monstruo Puedes venir? S /No x <5
H. Avil es 16/61
UPV
Introducci on
El lenguaje
Sem antica
Proposiciones
En general, el concepto de proposici on puede ser ambiguo Seg un Arist oteles una proposici on es cualquier sentencia que arma o niega algo de un sujeto Algunos arman que todos los elementos de comunicaci on tienen alg un contenido proposicional (e.g., signos que prohiben realizar alguna acci on) En nuestro caso, aceptaremos como proposiciones a aquellas expresiones o sentencias a las que podemos asignar un valor de verdad sin duda alguna
H. Avil es 17/61
UPV
Introducci on
El lenguaje
Sem antica
Ejercicio
De manera individual proponga 10 ejemplos de proposiciones simples y 5 sentencias que no son proposiciones
H. Avil es 18/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
La sem antica tiene que ver con la asociaci on de los elementos de un lenguaje l ogico con elementos de un dominio de discurso en particular
H. Avil es 19/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
La sem antica tiene que ver con la asociaci on de los elementos de un lenguaje l ogico con elementos de un dominio de discurso en particular En la l ogica proposicional, asociaremos atomos con proposiciones simples (proposiciones que no incluyen conectivas l ogicas) como las vistas anteriormente
H. Avil es 19/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
La sem antica tiene que ver con la asociaci on de los elementos de un lenguaje l ogico con elementos de un dominio de discurso en particular En la l ogica proposicional, asociaremos atomos con proposiciones simples (proposiciones que no incluyen conectivas l ogicas) como las vistas anteriormente A esta asociaci on le llamaremos una interpretaci on (denotaci on) de esos atomos
H. Avil es 19/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Algunos ejemplos:
H. Avil es 20/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Algunos ejemplos:
P : La casa de la esquina es verde
H. Avil es 20/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Algunos ejemplos:
P : La casa de la esquina es verde Q : En la pel cula 30 d as de noche participan actores mexicanos
H. Avil es 20/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Algunos ejemplos:
P : La casa de la esquina es verde Q : En la pel cula 30 d as de noche participan actores mexicanos R : A Alicia le gustan las gomitas
H. Avil es 20/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Algunos ejemplos:
P : La casa de la esquina es verde Q : En la pel cula 30 d as de noche participan actores mexicanos R : A Alicia le gustan las gomitas S : Garc a M arquez es un premio Nobel de literatura
H. Avil es 20/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Algunos ejemplos:
P : La casa de la esquina es verde Q : En la pel cula 30 d as de noche participan actores mexicanos R : A Alicia le gustan las gomitas S : Garc a M arquez es un premio Nobel de literatura T: 5 < 1
H. Avil es 20/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Por supuesto, podemos construir proposiciones compuestas usando las conectivas l ogicas:
H. Avil es 21/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
P Q : Hoy llueve y es un d a nublado
H. Avil es 21/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
P Q : Hoy llueve y es un d a nublado R S : Mi celular se descompuso o no hay se nal
H. Avil es 21/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
P Q : Hoy llueve y es un d a nublado R S : Mi celular se descompuso o no hay se nal T U : Si a Fido le gustan las gomitas entonces no come croquetas
H. Avil es 21/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
P Q : Hoy llueve y es un d a nublado R S : Mi celular se descompuso o no hay se nal T U : Si a Fido le gustan las gomitas entonces no come croquetas U : No es cierto que 6 3
H. Avil es 21/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
En espa nol hay diferentes formas de expresar las conectivas l ogicas:
H. Avil es 22/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica

P Q : P y Q , P [y] adem as Q , P [y] tambi en Q , P asimismo Q , P incluso Q , P a un Q , P todav a Q , P igualmente Q , P pero Q , P aunque Q , P sin embargo Q , P no obstante Q
H. Avil es 22/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica

P Q : P y Q , P [y] adem as Q , P [y] tambi en Q , P asimismo Q , P incluso Q , P a un Q , P todav a Q , P igualmente Q , P pero Q , P aunque Q , P sin embargo Q , P no obstante Q P Q: P o Q [o ambas], al menos P o Q , ya sea P o Q, como m nimo P o Q, oP o Q (forma exclusiva)
H. Avil es 22/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica

P Q : P y Q , P [y] adem as Q , P [y] tambi en Q , P asimismo Q , P incluso Q , P a un Q , P todav a Q , P igualmente Q , P pero Q , P aunque Q , P sin embargo Q , P no obstante Q P Q: P o Q [o ambas], al menos P o Q , ya sea P o Q, como m nimo P o Q, oP o Q (forma exclusiva) U : No es cierto que U , no pasa que U , se niega que U , es falso que U , no ocurre que U , no U
H. Avil es 22/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
Algunas formas de leer P Q :
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 Si P , entonces Q
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 Si P , entonces Q 2 Q , si P
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 Si P , entonces Q 2 Q , si P 3 P es una condici on suciente para [que ocurra] Q
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 2 3 4 Si P , entonces Q Q , si P P es una condici on suciente para [que ocurra] Q Q es una condici on necesaria para [que ocurra] P
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 2 3 4 5 Si P , entonces Q Q , si P P es una condici on suciente para [que ocurra] Q Q es una condici on necesaria para [que ocurra] P Q sigue de P
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 2 3 4 5 6 Si P , entonces Q Q , si P P es una condici on suciente para [que ocurra] Q Q es una condici on necesaria para [que ocurra] P Q sigue de P Q siempre que [sucede] P
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 2 3 4 5 6 7 Si P , entonces Q Q , si P P es una condici on suciente para [que ocurra] Q Q es una condici on necesaria para [que ocurra] P Q sigue de P Q siempre que [sucede] P Q es consecuencia de P
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 2 3 4 5 6 7 8 Si P , entonces Q Q , si P P es una condici on suciente para [que ocurra] Q Q es una condici on necesaria para [que ocurra] P Q sigue de P Q siempre que [sucede] P Q es consecuencia de P Q cuando [sucede] P
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

1 2 3 4 5 6 7 8 9 Si P , entonces Q Q , si P P es una condici on suciente para [que ocurra] Q Q es una condici on necesaria para [que ocurra] P Q sigue de P Q siempre que [sucede] P Q es consecuencia de P Q cuando [sucede] P P implica Q
H. Avil es 23/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica - Ejercicio
Dena 5 proposiciones simples, relaci onelas con los atomos P , Q , R , S y T y con ellas traduzca al espa nol las siguientes f ormulas:
(P Q ) R (P Q S ) (S T ) (P S ) (R S ) P
H. Avil es 24/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica - Ejercicio (1)

De manera individual denote las siguientes proposiciones como atomos y describa cada enunciado como una fbf:
1 No es cierto que niego que plagi e ese p arrafo 2 Si no llueve, entonces el campo estar a seco 3 El equipo mexicano perdi o en el mundial, sin embargo el equipo se lleva bien 4 No obstante el coche es nuevo, se descompuso 5 Estoy cansado, aunque con ganas de salir al cine 6 La casa es verde o es azul 7 Mi perro no quiere comer, ni ladrar, ni jugar 8 A la vez sucede que Mart n juega y est a cuidando a su hermanita 9 Que el color de la casa sea blanco implica que guarda menos el calor
Introducci on
El lenguaje
Sem antica

10 Pablo caminaba por la calle y Susana lo esperaba en la escuela 11 Contestar el cuestionario y pagar la cuota es suciente para ingresar al grupo 12 LLegar e tamprano a mi trabajo si me compro un coche 13 El castigo fue consecuencia de tu comportamiento 14 Hoy hace fr o; no obstante el d a est a soleado 15 Vayas o no vayas a la escuela, igualmente hoy har as tu tarea 16 Luis, Pepe, Alberto y yo fuimos a la esta 17 Se niega que el acusado es inocente 18 Ya sea que o me vaya en cami on o en coche o caminando llegar e tarde a la reuni on
Introducci on
El lenguaje
Sem antica

19 Est as despierto o est as dormido 20 Hablo y me quedo callado no corre y no est 21 El a contento 22 Si mis amigos llegan temprano entonces nos vamos al cine 23 No sucede que salgo a recreo si no hago mi tarea 24 Si trabajas o estudias entonces te preparas mejor para la vida 25 No me gusta desvelarme ni despertar temprano 26 No s e si ir e al cine o me quedar e a leer 27 Si estudio m as aprender e mejor las tablas de verdad. Si adem as no falto a clase, seguro no reprobar e el curso
Introducci on
El lenguaje
Sem antica
Sem antica
Una vez relacionados a una proposici on, los atomos se vuelven verdaderos (V) o falsos (F) en el mundo de inter es
H. Avil es 28/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Una vez relacionados a una proposici on, los atomos se vuelven verdaderos (V) o falsos (F) en el mundo de inter es As , en cualquier momento podemos determinar el valor de verdad de los atomos de una fbf
H. Avil es 28/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Una vez relacionados a una proposici on, los atomos se vuelven verdaderos (V) o falsos (F) en el mundo de inter es As , en cualquier momento podemos determinar el valor de verdad de los atomos de una fbf Sin embargo, tambi en podemos especicar una interpretaci on al asignar valores de verdad a los atomos sin considerar las proposiciones asociadas
H. Avil es 28/61
UPV
Introducci on
El lenguaje
Sem antica
Sem antica
Una vez relacionados a una proposici on, los atomos se vuelven verdaderos (V) o falsos (F) en el mundo de inter es As , en cualquier momento podemos determinar el valor de verdad de los atomos de una fbf Sin embargo, tambi en podemos especicar una interpretaci on al asignar valores de verdad a los atomos sin considerar las proposiciones asociadas Al listado de combinaciones de valores de verdad para todos los atomos de una fbf se le denomina tabla de verdad
H. Avil es 28/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
Tabla de verdad para los operadores , , y P V V F F Q V F V F P Q P Q P PQ
H. Avil es 29/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
La utilidad de las f ormulas b asicas anteriores es m ultiple y bajo diferentes interpretaciones nos permiten:
H. Avil es 30/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
construir fbfs y conectivos l ogicos m as complejos
H. Avil es 30/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
construir fbfs y conectivos l ogicos m as complejos modelar los procesos de pensamiento y expresi on natural humano
H. Avil es 30/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
construir fbfs y conectivos l ogicos m as complejos modelar los procesos de pensamiento y expresi on natural humano describir las reglas de operaci on del mundo
H. Avil es 30/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
construir fbfs y conectivos l ogicos m as complejos modelar los procesos de pensamiento y expresi on natural humano describir las reglas de operaci on del mundo formalizar teor as matem aticas y el dise no de sistemas de inteligencia articial
H. Avil es 30/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
Note que hay 2n maneras posibles de asignar valores a las f ormulas, donde n es el n umero de proposiciones simples en la fbf
H. Avil es 31/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
Note que hay 2n maneras posibles de asignar valores a las f ormulas, donde n es el n umero de proposiciones simples en la fbf Si una interpretaci on (i.e., rengl on de la tabla) asigna el valor de V a la f ormula, se le denomina un modelo para la fbf
H. Avil es 31/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
Note que hay 2n maneras posibles de asignar valores a las f ormulas, donde n es el n umero de proposiciones simples en la fbf Si una interpretaci on (i.e., rengl on de la tabla) asigna el valor de V a la f ormula, se le denomina un modelo para la fbf Cada interpretaci on nos indica de cu antas maneras puede ser el mundo (o de cu antas maneras esta regla reeja el comportamiento de nuestro dominio)
H. Avil es 31/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
Note que hay 2n maneras posibles de asignar valores a las f ormulas, donde n es el n umero de proposiciones simples en la fbf Si una interpretaci on (i.e., rengl on de la tabla) asigna el valor de V a la f ormula, se le denomina un modelo para la fbf Cada interpretaci on nos indica de cu antas maneras puede ser el mundo (o de cu antas maneras esta regla reeja el comportamiento de nuestro dominio) En particular, los modelos nos indican las maneras en que una fbf se cumple en el mundo (o en el que este se comporta)
H. Avil es 31/61
UPV
Introducci on
El lenguaje
Sem antica
Precedencia
Para evaluar el valor de verdad de fbfs se supone el siguiente orden de precedencia de operaciones:
1 2 3 4
En caso de operaciones con la misma precedencia (e.g., A1 A2 A3 A4 ...), se pueden ejecutar las operaciones en cualquier orden Sin embargo, para evitar ambig uedad, es una buena idea usar par entesis para agrupar operaciones e indicar aquellas que debe realizarse primero
Introducci on
El lenguaje
Sem antica
Tablas de verdad
El c alculo del valor de verdad de una fbf hay que descomponer las operaciones de las operaciones a realizar Una manera es identicar el orden de operaci on incluyendo par entesis para indicar este orden Por ejemplo, para la f ormula P S Q R el orden es (de izquierda a derecha):
1 2 3 4 5
(P ) (R ) ((P ) S ) (Q (R )) (((P ) S ) (Q (R )))
H. Avil es 33/61
UPV
Introducci on
El lenguaje
Sem antica
Ejercicios
Para las siguientes f ormulas identique de manera individual el orden de ejecuci on de cada operaci on:
(P Q R ) (P R ) (P1 P2 P3 P4 ) Q R Q R S T U (Q1 Q2 Q3 ) (Q4 Q5 ) P (Q ) R
H. Avil es 34/61
UPV
Introducci on
El lenguaje
Sem antica
Tablas de verdad
Ahora es posible calcular el valor de verdad de la fbf P S Q R : Q R P R P S Q R P S Q R V V V F F V F F V V V F F V F F
P V V V V F F F F
H. Avil es 35/61
UPV
Introducci on
El lenguaje
Sem antica
Ejercicios
De manera individual calcule la tabla de verdad para las siguientes fbf:

P Q A (B C ) R (S T ) (P Q ) (P Q ) P Q P (P Q ) P Q (Q P ) Q (P Q ) P
H. Avil es 36/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
La condicional () presenta dos hechos importantes:
H. Avil es 37/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

Si P Q es verdadera, no podemos conocer los valores de verdad de los atomos
H. Avil es 37/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

Si P Q es verdadera, no podemos conocer los valores de verdad de los atomos No obstante, si P Q es falsa, sabemos que P es verdadera y Q es falsa
Pregunta: Por qu e crees que sucede esto?
H. Avil es 37/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
Para explicar lo anterior, considere los siguientes atomos:

P 1: Me porto bien
H. Avil es 38/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
Para explicar lo anterior, considere los siguientes atomos:

P 1: Me porto bien P 2: Me compran un helado
H. Avil es 38/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
En el mundo podr an darse los siguientes casos:
H. Avil es 39/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

P 1 y P 2 son verdaderos, es decir, me porto bien y me dan mi premio. Por tanto, P 1 P 2 es verdadera (se cumple el consecuente y por tanto la regla es verdadera)
H. Avil es 39/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

P 1 y P 2 son verdaderos, es decir, me porto bien y me dan mi premio. Por tanto, P 1 P 2 es verdadera (se cumple el consecuente y por tanto la regla es verdadera) P 1 sucede y P 2 no (i.e., ocurre P 2). Por tanto, P 1 P 2 es falsa (i.e., me port e bien pero no me cumplen y por ello esta regla es falsa)
H. Avil es 39/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional

P 1 y P 2 son verdaderos, es decir, me porto bien y me dan mi premio. Por tanto, P 1 P 2 es verdadera (se cumple el consecuente y por tanto la regla es verdadera) P 1 sucede y P 2 no (i.e., ocurre P 2). Por tanto, P 1 P 2 es falsa (i.e., me port e bien pero no me cumplen y por ello esta regla es falsa) P 1 no ocurre y P 2 s . As , P 1 P 2 es verdadera (no podemos decir que la f ormula es falsa porque si P 1 no se sucedi o, no hay evidencia que refute a P 1 P 2)
H. Avil es 39/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
P 1 y P 2 no ocurrieron (no me port e bien y no me dieron mi premio) por tanto, as P 1 P 2 es verdadera puesto que no puedo decir que la regla sea falsa)
H. Avil es 40/61
UPV
Introducci on
El lenguaje
Sem antica
Condicional
P 1 y P 2 no ocurrieron (no me port e bien y no me dieron mi premio) por tanto, as P 1 P 2 es verdadera puesto que no puedo decir que la regla sea falsa) Esta u ltima es com un cuando se quiere enfatizar alg un absurdo (e.g., Si tu eres poeta, entonces yo soy astronauta)
H. Avil es 40/61
UPV
Introducci on
El lenguaje
Sem antica
Ejercicio
De manera individual, proponga dos proposiciones y su condicional y explique las 4 formas en que esta condicional puede ser verdadera o falsa
H. Avil es 41/61
UPV
Introducci on
El lenguaje
Sem antica
Condiciones necesarias y sucientes
Los conceptos de necesidad y suciencia establecen relaciones condicionales entre dos proposiciones
H. Avil es 42/61
UPV
Introducci on
El lenguaje
Sem antica
Los conceptos de necesidad y suciencia establecen relaciones condicionales entre dos proposiciones Considere la siguiente frase Si el coche se mueve entonces tiene gasolina
H. Avil es 42/61
UPV
Introducci on
El lenguaje
Sem antica
Los conceptos de necesidad y suciencia establecen relaciones condicionales entre dos proposiciones Considere la siguiente frase Si el coche se mueve entonces tiene gasolina En este caso denotaremos P : El coche se mueve y Q : El coche tiene gasolina
H. Avil es 42/61
UPV
Introducci on
El lenguaje
Sem antica
Los conceptos de necesidad y suciencia establecen relaciones condicionales entre dos proposiciones Considere la siguiente frase Si el coche se mueve entonces tiene gasolina En este caso denotaremos P : El coche se mueve y Q : El coche tiene gasolina As , la fbf que se obtiene es P Q
H. Avil es 42/61
UPV
Introducci on
El lenguaje
Sem antica

Adem as, considere nuevamente la tabla de verdad de la f ormula condicional: Rengl on 1 2 3 4 P V V F F Q V F V F PQ V F V V
En este caso, suponemos que P Q es verdadera, as que el segundo rengl on no lo tomaremos en cuenta
H. Avil es 43/61
UPV
Introducci on
El lenguaje
Sem antica
Considere: Que el coche se mueva es una condici on suciente para que el coche tenga gasolina
H. Avil es 44/61
UPV
Introducci on
El lenguaje
Sem antica
Considere: Que el coche se mueva es una condici on suciente para que el coche tenga gasolina La condici on P es suciente porque al ser verdad, esta implica que tambi en se cumplir a el consecuente Q (reng on 1 de la tabla anterior)
H. Avil es 44/61
UPV
Introducci on
El lenguaje
Sem antica
Considere: Que el coche se mueva es una condici on suciente para que el coche tenga gasolina La condici on P es suciente porque al ser verdad, esta implica que tambi en se cumplir a el consecuente Q (reng on 1 de la tabla anterior) De esta manera, si el coche se mueve es porque tiene gasolina
H. Avil es 44/61
UPV
Introducci on
El lenguaje
Sem antica
Considere: Que el coche se mueva es una condici on suciente para que el coche tenga gasolina La condici on P es suciente porque al ser verdad, esta implica que tambi en se cumplir a el consecuente Q (reng on 1 de la tabla anterior) De esta manera, si el coche se mueve es porque tiene gasolina Los renglones 3 y 4 de la tabla no aplican puesto que el antecedente es falso en ambos casos
H. Avil es 44/61
UPV
Introducci on
El lenguaje
Sem antica
Considere ahora la sentencia: Tener gasolina es necesario para que el coche se mueva
H. Avil es 45/61
UPV
Introducci on
El lenguaje
Sem antica
Considere ahora la sentencia: Tener gasolina es necesario para que el coche se mueva Cuando una condici on necesaria (i.e., el consecuente Q de una implicaci on) es verdadera apoya a la veracidad del antecedente (renglones 1 y 3)
H. Avil es 45/61
UPV
Introducci on
El lenguaje
Sem antica
Considere ahora la sentencia: Tener gasolina es necesario para que el coche se mueva Cuando una condici on necesaria (i.e., el consecuente Q de una implicaci on) es verdadera apoya a la veracidad del antecedente (renglones 1 y 3) Sin embargo, todav a el antecedente podr a ser falso (el coche podr a no moverse a un teniendo gasolina)
H. Avil es 45/61
UPV
Introducci on
El lenguaje
Sem antica
Considere ahora la sentencia: Tener gasolina es necesario para que el coche se mueva Cuando una condici on necesaria (i.e., el consecuente Q de una implicaci on) es verdadera apoya a la veracidad del antecedente (renglones 1 y 3) Sin embargo, todav a el antecedente podr a ser falso (el coche podr a no moverse a un teniendo gasolina) As , el consecuente es una condici on necesaria pero no es por si mismo una condici on suciente
H. Avil es 45/61
UPV
Introducci on
El lenguaje
Sem antica
Otro ejemplo
Otro ejemplo Si soy victorense entonces soy tamaulipeco
H. Avil es 46/61
UPV
Introducci on
El lenguaje
Sem antica
Otro ejemplo

Ser victorense es una condici on suciente para ser tamaulipeco (porque con ser victorense se cumple que soy tamaulipeco)
H. Avil es 46/61
UPV
Introducci on
El lenguaje
Sem antica
Otro ejemplo

Ser victorense es una condici on suciente para ser tamaulipeco (porque con ser victorense se cumple que soy tamaulipeco) Ser tamaulipeco es necesario para ser victorense (ser tamaulipeco es necesario porque si no soy tamaulipeco, no podr a ser victorense)
H. Avil es 46/61
UPV
Introducci on
El lenguaje
Sem antica
Tautolog as
Las tautolog as son fbf cuyo valor de verdad es siempre verdadero (T) bajo cualquier interpretaci on Ejemplo: P V F P F V P P V V
H. Avil es 47/61
UPV
Introducci on
El lenguaje
Sem antica
Contradicciones
Por otro lado, las contradicciones o falacias son fbf cuyo valor de verdad es siempre falso (F) bajo cualquier interpretaci on Ejemplo: Q V F Q F V Q Q F F
H. Avil es 48/61
UPV
Introducci on
El lenguaje
Sem antica
Contingencias
Sin embargo, son las contingencias las fbf m as interesantes para evaluar al mundo, pues su valor de verdad puede ser falso o verdadero de acuerdo a la interpretaci on Ejemplo: P V V F F Q V F V F Q F V F V P Q F V F F
H. Avil es 49/61
UPV
Introducci on
El lenguaje
Sem antica
Ejercicios
Indique de manera individual si las siguientes fbf son una tautolog a, una contradicci on o una contingencia usando tablas de verdad
P (P Q ) P (Q R ) (P Q ) (P R ) (P Q ) (Q P ) (Q R ) S ((P Q ) (P Q ))
H. Avil es 50/61
UPV
Introducci on
El lenguaje
Sem antica
Equivalencias l ogicas
Considere el siguiente ejemplo: Si termino mi tarea, entonces salgo a jugar
H. Avil es 51/61
UPV
Introducci on
El lenguaje
Sem antica
Considere el siguiente ejemplo: Si termino mi tarea, entonces salgo a jugar Ahora considere la siguiente armaci on: Si no salgo a jugar, entonces no he terminado mi tarea
H. Avil es 51/61
UPV
Introducci on
El lenguaje
Sem antica
Considere el siguiente ejemplo: Si termino mi tarea, entonces salgo a jugar Ahora considere la siguiente armaci on: Si no salgo a jugar, entonces no he terminado mi tarea En l ogica, dos proposiciones p y q son l ogicamente equivalentes si es posible derivar una f ormula a partir de la otra o poseen el mismo valor de verdad bajo un modelo particular
H. Avil es 51/61
UPV
Introducci on
El lenguaje
Sem antica
Considere el siguiente ejemplo: Si termino mi tarea, entonces salgo a jugar Ahora considere la siguiente armaci on: Si no salgo a jugar, entonces no he terminado mi tarea En l ogica, dos proposiciones p y q son l ogicamente equivalentes si es posible derivar una f ormula a partir de la otra o poseen el mismo valor de verdad bajo un modelo particular En cualquier caso, el s mbolo de equivalencia es
H. Avil es 51/61
UPV
Introducci on
El lenguaje
Sem antica
Considere el siguiente ejemplo: Si termino mi tarea, entonces salgo a jugar Ahora considere la siguiente armaci on: Si no salgo a jugar, entonces no he terminado mi tarea En l ogica, dos proposiciones p y q son l ogicamente equivalentes si es posible derivar una f ormula a partir de la otra o poseen el mismo valor de verdad bajo un modelo particular En cualquier caso, el s mbolo de equivalencia es Hay m ultiples equivalencias identicadas, que se muestran a continuaci on
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P Asociativa: (P Q ) R P (Q R ) y (P Q ) R P (Q R )
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P Asociativa: (P Q ) R P (Q R ) y (P Q ) R P (Q R ) Distributiva: P (Q R ) P Q P R y adem as, P (Q R ) P Q P R
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P Asociativa: (P Q ) R P (Q R ) y (P Q ) R P (Q R ) Distributiva: P (Q R ) P Q P R y adem as, P (Q R ) P Q P R Idempotencia: P P P y adem as, P P P
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P Asociativa: (P Q ) R P (Q R ) y (P Q ) R P (Q R ) Distributiva: P (Q R ) P Q P R y adem as, P (Q R ) P Q P R Idempotencia: P P P y adem as, P P P Identidad: P V P y adem as, P F P
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P Asociativa: (P Q ) R P (Q R ) y (P Q ) R P (Q R ) Distributiva: P (Q R ) P Q P R y adem as, P (Q R ) P Q P R Idempotencia: P P P y adem as, P P P Identidad: P V P y adem as, P F P Contradicci on: P P F
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Conmutativa: P Q Q P y adem as, P Q Q P Asociativa: (P Q ) R P (Q R ) y (P Q ) R P (Q R ) Distributiva: P (Q R ) P Q P R y adem as, P (Q R ) P Q P R Idempotencia: P P P y adem as, P P P Identidad: P V P y adem as, P F P Contradicci on: P P F Exclusi on del t ermino medio: P P V
H. Avil es 52/61
UPV
Introducci on
El lenguaje
Sem antica
Dominaci on: P V V y P F F
H. Avil es 53/61
UPV
Introducci on
El lenguaje
Sem antica
Dominaci on: P V V y P F F Doble negaci on: P P
H. Avil es 53/61
UPV
Introducci on
El lenguaje
Sem antica
Dominaci on: P V V y P F F Doble negaci on: P P Leyes de Morgan: P Q (P Q ) y P Q (P Q )
H. Avil es 53/61
UPV
Introducci on
El lenguaje
Sem antica
Dominaci on: P V V y P F F Doble negaci on: P P Leyes de Morgan: P Q (P Q ) y P Q (P Q ) Relaci on de implicaci on: P Q P Q
H. Avil es 53/61
UPV
Introducci on
El lenguaje
Sem antica
Dominaci on: P V V y P F F Doble negaci on: P P Leyes de Morgan: P Q (P Q ) y P Q (P Q ) Relaci on de implicaci on: P Q P Q Absorci on: P (P Q ) P y P (P Q ) P
H. Avil es 53/61
UPV
Introducci on
El lenguaje
Sem antica
Otras f ormulas importantes
La f ormula rec proca de una condicional P Q es Q P
H. Avil es 54/61
UPV
Introducci on
El lenguaje
Sem antica
La f ormula rec proca de una condicional P Q es Q P La f ormula contrarec proca de una condicional P Q es Q P ( estas son l ogicamente equivalentes)
H. Avil es 54/61
UPV
Introducci on
El lenguaje
Sem antica
La f ormula rec proca de una condicional P Q es Q P La f ormula contrarec proca de una condicional P Q es Q P ( estas son l ogicamente equivalentes) La f ormula P Q se le denomina bicondicional y quiere decir que P Q Q P
H. Avil es 54/61
UPV
Introducci on
El lenguaje
Sem antica
La f ormula rec proca de una condicional P Q es Q P La f ormula contrarec proca de una condicional P Q es Q P ( estas son l ogicamente equivalentes) La f ormula P Q se le denomina bicondicional y quiere decir que P Q Q P Esta f ormula se lee P si y s olo si Q , P es una condici on necesaria y suciente de Q y rec procamente, Q es una condici on necesaria y suciente de P
H. Avil es 54/61
UPV
Introducci on
El lenguaje
Sem antica
La f ormula rec proca de una condicional P Q es Q P La f ormula contrarec proca de una condicional P Q es Q P ( estas son l ogicamente equivalentes) La f ormula P Q se le denomina bicondicional y quiere decir que P Q Q P Esta f ormula se lee P si y s olo si Q , P es una condici on necesaria y suciente de Q y rec procamente, Q es una condici on necesaria y suciente de P Su predecencia de ejecuci on es inferior a la condicional
H. Avil es 54/61
UPV
Introducci on
El lenguaje
Sem antica
Tabla de verdad para la bicondicional P Q P V V F F Q V F V F PQ QP (P Q ) (Q P )
H. Avil es 55/61
UPV
Introducci on
El lenguaje
Sem antica
La equivalencia l ogica P Q es de hecho una f ormula bicondicional tautol ogica (i.e., cuando P Q es una tautolog a)
H. Avil es 56/61
UPV
Introducci on
El lenguaje
Sem antica
La equivalencia l ogica P Q es de hecho una f ormula bicondicional tautol ogica (i.e., cuando P Q es una tautolog a) De esta manera P Q puede representarse como (P Q ) (Q P )
H. Avil es 56/61
UPV
Introducci on
El lenguaje
Sem antica
Ejercicios
Indique individualmente si las fbf de los slides 52 y 53 son tautolog as usando tablas de verdad
H. Avil es 57/61
UPV
Introducci on
El lenguaje
Sem antica

Hasta el momento hemos utilizado la f ormula de manera inclusiva i.e., es falsa s olo cuando son falsas todas las fbf que la componen (e.g,, F F F...)
H. Avil es 58/61
UPV
Introducci on
El lenguaje
Sem antica

Hasta el momento hemos utilizado la f ormula de manera inclusiva i.e., es falsa s olo cuando son falsas todas las fbf que la componen (e.g,, F F F...) En algunos casos, queremos representar aquellos casos en que dos atomos P y Q son uno u otro verdadero, pero no ambos. Esta f ormula se representa como P Q
H. Avil es 58/61
UPV
Introducci on
El lenguaje
Sem antica

Hasta el momento hemos utilizado la f ormula de manera inclusiva i.e., es falsa s olo cuando son falsas todas las fbf que la componen (e.g,, F F F...) En algunos casos, queremos representar aquellos casos en que dos atomos P y Q son uno u otro verdadero, pero no ambos. Esta f ormula se representa como P Q As : P V V F F La equivalencia de esta
H. Avil es 58/61
Q P Q V F F V V V F F f ormula es (P Q ) (P Q )
UPV
Introducci on
El lenguaje
Sem antica
Otras operaciones u tiles son NAND, NOR, XNOR que en general aplican la operaci on a la salida de operaci on de , , y , respectivamente
H. Avil es 59/61
UPV
Introducci on
El lenguaje
Sem antica
El lenguaje - Ejercicio
Realice de manera individual los ejercicio de las p aginas 7, 8, 16, 17, 18 del libro Richard Johnsonbaugh. Matem aticas Discretas 4 Edici on. Prentice Hall (1997)
H. Avil es 60/61
UPV
Introducci on
El lenguaje
Sem antica
Bibliograf a
Richard Johnsonbaugh. Matem aticas Discretas 4 Edici on. Prentice Hall (1997). Cap. 1 Nils Nilsson. Articial Intelligence: A New Synthesis. Morgan Kauman (1998). Cap. 13
H. Avil es 61/61
UPV

Logica 1

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica 1

Caricato da

Copyright:

Formati disponibili

Razonamiento L ogico/L ogica Computacional

Dr. H ector Avil es

Introducci on El lenguaje de la l ogica proposicional Sem antica

Introducci on El lenguaje de la l ogica proposicional Sem antica

x Introducci on El lenguaje de la l ogica proposicional Sem antica

Los elementos l exicos del lenguaje son:

Atomos y atomos negados tambi en son llamados literales

4 Finalmente, no hay otras f ormulas bien formadas

Los s mbolos &, || y ! se utilizan principalmente en lenguajes de programaci on

x Introducci on x El lenguaje de la l ogica proposicional Sem antica

Primero asignaremos un signicado a las operaciones l ogicas que hemos visto:

Primero asignaremos un signicado a las operaciones l ogicas que hemos visto:

Primero asignaremos un signicado a las operaciones l ogicas que hemos visto:

Primero asignaremos un signicado a las operaciones l ogicas que hemos visto:

Primero asignaremos un signicado a las operaciones l ogicas que hemos visto:

En espa nol hay diferentes formas de expresar las conectivas l ogicas:

En espa nol hay diferentes formas de expresar las conectivas l ogicas:

En espa nol hay diferentes formas de expresar las conectivas l ogicas:

En espa nol hay diferentes formas de expresar las conectivas l ogicas:

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Algunas formas de leer P Q :

Sem antica - Ejercicio

Sem antica - Ejercicio (1)

Sem antica - Ejercicio (2)

Sem antica - Ejercicio (3)

Tabla de verdad para los operadores , , y P V V F F Q V F V F P Q P Q P PQ

(P ) (R ) ((P ) S ) (Q (R )) (((P ) S ) (Q (R )))

De manera individual calcule la tabla de verdad para las siguientes fbf:

La condicional () presenta dos hechos importantes:

La condicional () presenta dos hechos importantes:

La condicional () presenta dos hechos importantes:

Pregunta: Por qu e crees que sucede esto?

Para explicar lo anterior, considere los siguientes atomos:

Para explicar lo anterior, considere los siguientes atomos:

En el mundo podr an darse los siguientes casos:

En el mundo podr an darse los siguientes casos:

En el mundo podr an darse los siguientes casos:

En el mundo podr an darse los siguientes casos:

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Condiciones necesarias y sucientes

Otro ejemplo Si soy victorense entonces soy tamaulipeco

Otro ejemplo Si soy victorense entonces soy tamaulipeco

Otro ejemplo Si soy victorense entonces soy tamaulipeco

Conmutativa: P Q Q P y adem as, P Q Q P