Introducci

on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Algoritmos y Estructura de Datos I

Clase practica de Especificaci
on - L
ogica proposicional

Viernes 16 de agosto de 2013

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas
Tablas de verdad

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas
Tablas de verdad
Tautologas, Contingencias y Contradicciones

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas
Tablas de verdad
Tautologas, Contingencias y Contradicciones
Relacion de fuerza

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas
Tablas de verdad
Tautologas, Contingencias y Contradicciones
Relacion de fuerza
Representando el mundo real con L
ogica proposicional.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas
Tablas de verdad
Tautologas, Contingencias y Contradicciones
Relacion de fuerza
Representando el mundo real con L
ogica proposicional.
Falacias

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Menu del da

Introduccion a la L
ogica proposicional
Formulas bien formadas
Tablas de verdad
Tautologas, Contingencias y Contradicciones
Relacion de fuerza
Representando el mundo real con L
ogica proposicional.
Falacias
Logica trivaluada con semantica de cortocircuito

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Que es la logica proposicional?

Que es?
Es la l
ogica(s, hay mas de una) que habla sobre las
proposiciones.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Que es la logica proposicional?

Que es?
Es la l
ogica(s, hay mas de una) que habla sobre las
proposiciones.
Son oraciones que tienen un valor de verdad, Verdadero o
Falso (aunque vamos a usar una variaci on)

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Usos y Abusos
Y para que sirve la L
ogica proposicional?

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Usos y Abusos
Y para que sirve la L
ogica proposicional?
Para poder deducir el valor de verdad de una proposicion, a
partir de conocer el valor de otras.
Para ejercitarse en el razonamiento deductivo de porque las
cosas andan (cuando andan. . . ).

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Usos y Abusos
Y para que sirve la L
ogica proposicional?
Para poder deducir el valor de verdad de una proposicion, a
partir de conocer el valor de otras.
Para ejercitarse en el razonamiento deductivo de porque las
cosas andan (cuando andan. . . ).
Porque tiene muchas aplicaciones directas:
Los circuitos que tienen todas las computadoras que conocen.
Problemas para modelar cosas del mundo real con Logica
proposicional

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Usos y Abusos
Y para que sirve la L
ogica proposicional?
Para poder deducir el valor de verdad de una proposicion, a
partir de conocer el valor de otras.
Para ejercitarse en el razonamiento deductivo de porque las
cosas andan (cuando andan. . . ).
Porque tiene muchas aplicaciones directas:
Los circuitos que tienen todas las computadoras que conocen.
Problemas para modelar cosas del mundo real con Logica
proposicional
Para lograr siempre lo que quieran (en terminos de
argumentacion)
Mama, si te pidiese que me regales un auto, tu respuesta
sera la misma que a esta pregunta?

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Componentes

Constantes: True y False

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Componentes

Constantes: True y False

Variables: p,q,r. . .

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Componentes

Constantes: True y False

Variables: p,q,r. . .
Conectores:
Not
And
Or

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.
Son formulas bien formadas ?:

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.
Son formulas bien formadas ?:
(pq)

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.
Son formulas bien formadas ?:
(pq)
pq

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.
Son formulas bien formadas ?:
(pq)
pq
p

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.
Son formulas bien formadas ?:
(pq)
pq
p
(pq)

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Formulas bien formadas

Cada conector tiene una sola forma de escribirse.

La unicidad de escritura hace que no pueda pasar cosas como esta:
No estudio Algo I o estudio Algo I entonces apruebo.
Son formulas bien formadas ?:
(pq)
pq
p
(pq)
p

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Tautologas, Contingencias y Contradicciones

Tautologa: Formula que es verdadera sin importar el valor de

verdad de las variables que la conforman.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Tautologas, Contingencias y Contradicciones

Tautologa: Formula que es verdadera sin importar el valor de

verdad de las variables que la conforman.
Contradiccion: Formula que es falsa sin importar el valor de
verdad de las variables que la conforman.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Tautologas, Contingencias y Contradicciones

Tautologa: Formula que es verdadera sin importar el valor de

verdad de las variables que la conforman.
Contradiccion: Formula que es falsa sin importar el valor de
verdad de las variables que la conforman.
Contingencia: Formula que puede ser verdadera o falsa,
dependiendo el valor de verdad de las variables que la
conforman.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Tautologas, Contingencias y Contradicciones

Tautologa: Formula que es verdadera sin importar el valor de

verdad de las variables que la conforman.
Contradiccion: Formula que es falsa sin importar el valor de
verdad de las variables que la conforman.
Contingencia: Formula que puede ser verdadera o falsa,
dependiendo el valor de verdad de las variables que la
conforman.
Ejemplos:
((pq)(pq))
((p(qr))(pr))
(pq)

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Relacion de fuerza
Definicion: Decimos que p es mas fuerte que q cuando (pq) es
una Tautologa.

Intuitivamente estamos diciendo que si p es verdad, p fuerza a q a

tambien ser verdad.
La demostracion de que cierta p fuerza a cierta q viene directo de
la definicion, usando tablas de verdad.
Ejemplos:
p y (pq)

Genera esto un orden entre las f

ormulas?
Algoritmos y Estructura de Datos I
 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Relacion de fuerza
Definicion: Decimos que p es mas fuerte que q cuando (pq) es
una Tautologa.

Intuitivamente estamos diciendo que si p es verdad, p fuerza a q a

tambien ser verdad.
La demostracion de que cierta p fuerza a cierta q viene directo de
la definicion, usando tablas de verdad.
Ejemplos:
p y (pq)
p y (pq)

Genera esto un orden entre las f

ormulas?
Algoritmos y Estructura de Datos I
 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Relacion de fuerza
Definicion: Decimos que p es mas fuerte que q cuando (pq) es
una Tautologa.

Intuitivamente estamos diciendo que si p es verdad, p fuerza a q a

tambien ser verdad.
La demostracion de que cierta p fuerza a cierta q viene directo de
la definicion, usando tablas de verdad.
Ejemplos:
p y (pq)
p y (pq)
p y (qp)
Genera esto un orden entre las f
ormulas?
Algoritmos y Estructura de Datos I
 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Usando la Logica para expresar cosas del mundo real

Sean las variables proposicionales f, e y m, con los siguientes

significados:
f es fin de semana
e Juan estudia
m Juan escucha m
usica

Escribir usando logica proposicional:

Si es fin de semana, Juan estudia o escucha m
usica, pero no
ambas.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Usando la Logica para expresar cosas del mundo real

Sean las variables proposicionales f, e y m, con los siguientes

significados:
f es fin de semana
e Juan estudia
m Juan escucha m
usica

Escribir usando logica proposicional:

Si es fin de semana, Juan estudia o escucha m
usica, pero no
ambas.

(f((em)(em)))

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Un tomate es mejor que nada.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Un tomate es mejor que nada.
Un tomate es mejor que la felicidad eterna.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Un tomate es mejor que nada.
Un tomate es mejor que la felicidad eterna.

Yo soy un Don Nadie. Nadie es perfecto.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Un tomate es mejor que nada.
Un tomate es mejor que la felicidad eterna.

Yo soy un Don Nadie. Nadie es perfecto.

Entonces yo soy perfecto. Solo Dios es perfecto.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Un tomate es mejor que nada.
Un tomate es mejor que la felicidad eterna.

Yo soy un Don Nadie. Nadie es perfecto.

Entonces yo soy perfecto. Solo Dios es perfecto.
Entonces soy Dios. Dios es Stevie Wonder.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Dios es amor. El amor es ciego.

Stevie Wonder es ciego. Stevie Wonder es Dios.

Nada es mejor que la felicidad eterna.

Un tomate es mejor que nada.
Un tomate es mejor que la felicidad eterna.

Yo soy un Don Nadie. Nadie es perfecto.

Entonces yo soy perfecto. Solo Dios es perfecto.
Entonces soy Dios. Dios es Stevie Wonder.
Por Dios! Soy Ciego!

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Falacia: Razonamiento invalido por el que se deduce el valor de

verdad de una proposici
on.
Esto no quiere decir que el resultado del razonamiento sea falso!
Ejemplos:
Falacia de afirmaci
on del consecuente.

Pienso, luego existo.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Falacia: Razonamiento invalido por el que se deduce el valor de

verdad de una proposici
on.
Esto no quiere decir que el resultado del razonamiento sea falso!
Ejemplos:
Falacia de afirmaci
on del consecuente.
Falacia de negaci
on del antecedente.

Pienso, luego existo.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Falacias

Falacia: Razonamiento invalido por el que se deduce el valor de

verdad de una proposici
on.
Esto no quiere decir que el resultado del razonamiento sea falso!
Ejemplos:
Falacia de afirmaci
on del consecuente.
Falacia de negaci
on del antecedente.
Falacia de generalizaci
on inductiva.

Pienso, luego existo.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Logica trivaluada

Agregamos un tercer valor de verdad: Indefinido.

Tenemos semantica de cortocircuito: Al ir evaluando el valor

de una formula, ni bien conocemos su valor final, dejamos de
evaluar el resto.

Veamos como las tablas de verdad de los conectores cambian

un poco.

Tambien cambian las equivalencias entre las formulas.

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Ejercicios

Determinar la relacion de fuerza del siguiente pare de formulas:

(p q), (p q)

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Ejercicios

Determinar la relacion de fuerza del siguiente pare de formulas:

(p q), (p q)

Si llueve (p), () la calle se moja (q)

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Ejercicios

Determinar la relacion de fuerza del siguiente pare de formulas:

(p q), (p q)

Si llueve (p), () la calle se moja (q)

Es valido mi razonamiento en un mundo que nunca llueve ?

Algoritmos y Estructura de Datos I

 Introducci
on a la L
ogica proposicional
Tablas de Verdad y Relacion de fuerza
Representando el mundo real
Falacias
L
ogica trivaluada
Ejercicios

Fin!

Preguntas?

Algoritmos y Estructura de Datos I