LGICA

1 16/08/2012

16/08/2012

16/08/2012

Subtemas.
Fundamentos de lgica. lgebra booleana. Clculo proposicional. Clculo de predicados. Demostracin automtica.
4 16/08/2012

FUNDAMENTOS DE LGICA

16/08/2012

Matemticas

Argumento matemtico

Demostracin

Reglas de lgica

Argumentos vlidos y no vlidos

16/08/2012

Axiomas o postulados Teoremas Corolarios Lemas Conjetura

16/08/2012

Observaciones.

Los axiomas o postulados son sentencias que subyacen a las estructuras matemticas.

16/08/2012

Observaciones.

Un teorema es una sentencia que se puede verificar que es verdadera. A veces a los teoremas se les llama proposiciones, hechos o resultados.

16/08/2012

Observaciones.

Un corolario es una proposicin que se puede establecer directamente a partir de un teorema que haya sido demostrado.

10

16/08/2012

Observaciones.

Un lema es un teorema sencillo utilizado en la demostracin de otros teoremas.

11

16/08/2012

Observaciones.

Una conjetura es una sentencia cuyo valor de verdad es desconocido.

12

16/08/2012

Proposicin:

Oracin declarativa, que es verdadera o falsa, pero no ambas cosas a la vez.

13

16/08/2012

Ejemplos de proposiciones:
1. Bruselas es la capital de la unin Europea. 2. Toronto es la capital de Canad. 3. 1+1=2. 4. 2+2=3. 5. Boston es la capital de Massachussets. 6. Buenos Aires es la capital de Argentina. 7. 2+3=5. 8. 5+7=10. 9. x+1=5 si x=1. 10. x+y=y+z si x=z
14 16/08/2012

Ejemplos de enunciados que no son proposiciones:

1. 2. 3. 4. 5. 6. 7.
15

Responde a esta pregunta. x+2=11. No pasar. Qu hora es? Lee esto con atencin. x+1=2. x+y=z.
16/08/2012

Notacin:
Proposicin p, q, r, s, Valor de verdad de una proposicin V Valor de verdad de una proposicin F

16

16/08/2012

Negacin: Sea p una proposicin. El enunciado <<No se cumple p>> es otra proposicin, llamada la negacin p.

17

16/08/2012

Notacin:

18

16/08/2012

Ejemplo de proposiciones negadas:

1. Hoy es viernes. Hoy no es viernes. No se cumple que hoy es viernes. No es viernes hoy. 2. No hay polucin en Nueva Jersey. Hay polucin en Nueva Jersey. Existe polucin en Nueva Jersey. En Nueva Jersey hay polucin.
19 16/08/2012

Tabla de verdad:

p p p V F

20

16/08/2012

Operaciones binarias:
p*q 1 V V V V p*q 9 F V V V
21

p*q 2 V V V F p*q 10 F V V F

p*q 3 V V F V p*q 11 F V F V

p*q 4 V V F F p*q 12 F V F F

p*q 5 V F V V p*q 13 F F V V

p*q 6 V F V F p*q 14 F F V F

p*q 7 V F F V p*q 15 F F F V

p*q 8 V F F F p*q 16 F F F F
16/08/2012

Negacin:
p

p V F
22

F V
16/08/2012

Conjuncin:
j p V V F F q V F V F p p pq V F F F

23

16/08/2012

Disyuncin inclusiva:
y p V V F F q V F V F p p pq V V V F

24

16/08/2012

Disyuncin exclusiva:
pq F V V F

p V V F F

q V F V F

25

16/08/2012

Implicacin:
p p V V F F q V F V F p p pq V F V V

26

16/08/2012

Consecuencias de la implicacin:

Recproca Contrarrecproca Inversa

qp q p p q

27

16/08/2012

Bicondicional:
p V V F F q V F V F p p pq V F F V

28

16/08/2012

Proposiciones y operaciones lgicas p

29

16/08/2012