Sei sulla pagina 1di 144

MATEMATICAS

BASICAS

Autora: Jeanneth Galeano Pe


naloza
Edici
on: Rafael Ballestas Rojano
Universidad Nacional de Colombia
Departamento de Matem
aticas
Sede Bogot
a

Enero de 2015
Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

1/1

Parte I
Logica

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

2/1

Proposiciones

Considere las siguientes frases


Guarde el celular!

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!

Universidad Nacional de Colombia

Es una orden.

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!

Es una orden.

2 + 3 = 5.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.

Es una orden.

Es verdadero.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

Es una orden.

Es verdadero.

2
5.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Universidad Nacional de Colombia

Es una pregunta.

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Es una pregunta.

En Bogota todos los das llueve.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Es una pregunta.

En Bogota todos los das llueve.

Universidad Nacional de Colombia

Es falso.

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Es una pregunta.

En Bogota todos los das llueve.

Es falso.

Esta oracion es falsa.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Es una pregunta.

En Bogota todos los das llueve.


Esta oracion es falsa.

Universidad Nacional de Colombia

Es falso.

Es una paradoja.

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Es una pregunta.

En Bogota todos los das llueve.


Esta oracion es falsa.

Es falso.

Es una paradoja.

Falcao es mejor jugador que Messi.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Considere las siguientes frases


Guarde el celular!
2 + 3 = 5.
1
2

1
3

2
5.

Es una orden.

Es verdadero.
Es falso.

Tienes hambre?

Es una pregunta.

En Bogota todos los das llueve.


Esta oracion es falsa.

Es una paradoja.

Falcao es mejor jugador que Messi.

Universidad Nacional de Colombia

Es falso.
Es una opinion.

Matem
aticas B
asicas

L
ogica

3/1

Proposiciones

Definicion
Una proposicion es un enunciado u oraci
on declarativa de la cual se puede
afirmar que es falsa (F) o verdadera (V) pero no ambas cosas a la vez.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

4/1

Proposiciones

Proposiciones Compuestas
Son aquellas que estan formadas por proposiciones simples, su valor de
verdad depende de los valores de verdad de cada una de las proposiciones
simples y del tipo de conectivo.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

5/1

Proposiciones

Ejemplos
Julian estudia qumica y m
usica.
Si compro el libro, entonces no voy a cine.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

6/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas. Sus smbolos son:
Negaci
on

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas. Sus smbolos son:
Negaci
on
Conjuncion

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas. Sus smbolos son:
Negaci
on
Conjuncion
Disyuncion

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas. Sus smbolos son:
Negaci
on
Conjuncion
Disyuncion
Disyuncion exclusiva Y

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas. Sus smbolos son:
Negaci
on
Conjuncion
Disyuncion
Disyuncion exclusiva Y
Condicional

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Conectivos logicos

Los siguientes son los conectivos logicos mas usados.


Los conectivos logicos son las palabras como y, o, no, si . . . entonces,
que permiten combinar proposiciones simples para producir otras, llamadas
proposiciones compuestas. Sus smbolos son:
Negaci
on
Conjuncion
Disyuncion
Disyuncion exclusiva Y
Condicional
Bi-condicional

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

7/1

Proposiciones

Ejemplo
Julian estudia qumica y m
usica. Es un enunciado de la forma
pq
donde
p : Julian estudia qumica,
q : Julian estudia m
usica.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

8/1

Proposiciones

Ejercicio
Simbolizar las siguientes proposiciones en terminos de p, q, r .
1

Este semestre inscrib Ingles I y Matematicas Basicas.

O inicio clases esta semana,


o presto el servicio militar.

Si no hay paro, entonces hacemos clase.

Si no paso Matematicas Basicas, entonces quedo en retiro academico.

Puedo ver Ingles II si paso Ingles I.

Ma
nana a las 9 am, o voy a jugar f
utbol,
o a estudiar a la biblioteca.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

9/1

Proposiciones

Ejercicio
Simbolizar las siguientes proposiciones matematicas.
1

Dos es mayor que cinco.

Cuatro no es un n
umero impar.

Cinco es igual a tres o cinco es mayor que seis.

No es cierto que: si un n
umero es par entonces es primo.

Si ocho es menor que cinco o mayor que siete, entonces no es igual a


seis.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

10 / 1

Proposiciones

Ejercicio
Negar las siguientes proposiciones.
1

El viento sopla muy fuerte.

El amigo de Juan tiene raz


on.

No ocurre que 3 6= 7.

Las elecciones presidenciales siempre terminan en armona.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

11 / 1

Proposiciones

Proposiciones
Si p y q son proposiciones, entonces

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

12 / 1

Proposiciones

Proposiciones
Si p y q son proposiciones, entonces
p
q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

12 / 1

Proposiciones

Proposiciones
Si p y q son proposiciones, entonces
p

pq

qp

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

12 / 1

Proposiciones

Proposiciones
Si p y q son proposiciones, entonces
p

pq

pq

qp

qp

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

12 / 1

Proposiciones

Proposiciones
Si p y q son proposiciones, entonces
p

pq

pq

pq

qp

qp

qp

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

12 / 1

Proposiciones

Proposiciones
Si p y q son proposiciones, entonces
p

pq

pq

pq

pq

qp

qp

qp

qp

tambien lo son.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

12 / 1

Negacion

Negacion
Dada una proposicion p, llamaremos p a la negaci
on de p.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

13 / 1

Negacion

Negacion
Dada una proposicion p, llamaremos p a la negaci
on de p.
Si p es verdadera (V), entonces p es falsa (F),
si p es falsa (F), entonces p es verdadera.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

13 / 1

Negacion

Negacion
Dada una proposicion p, llamaremos p a la negaci
on de p.
Si p es verdadera (V), entonces p es falsa (F),
si p es falsa (F), entonces p es verdadera.
p se lee como
no p

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

13 / 1

Negacion

Negacion
Dada una proposicion p, llamaremos p a la negaci
on de p.
Si p es verdadera (V), entonces p es falsa (F),
si p es falsa (F), entonces p es verdadera.
p se lee como
no p
es falso que . . .

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

13 / 1

Negacion

Negacion
Dada una proposicion p, llamaremos p a la negaci
on de p.
Si p es verdadera (V), entonces p es falsa (F),
si p es falsa (F), entonces p es verdadera.
p se lee como
no p
es falso que . . .
no es cierto que . . .

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

13 / 1

Negacion

Negaci
on
p p
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

14 / 1

Negacion

Negaci
on
p p
V
F
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

14 / 1

Negacion

Negaci
on
p p
V
F
F
V

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

14 / 1

Conjuncion

Conjuncion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina la
conjuncion de p y q,

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

15 / 1

Conjuncion

Conjuncion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina la
conjuncion de p y q, y sera verdadera cuando los dos enunciados p, q sean
simultaneamente verdaderos, y falsa en cualquier otro caso.
p q se lee p y q.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

15 / 1

Conjuncion

Conjunci
on
p q pq
V V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

16 / 1

Conjuncion

Conjunci
on
p q pq
V V
V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

16 / 1

Conjuncion

Conjunci
on
p q pq
V V
V
V F
F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

16 / 1

Conjuncion

Conjunci
on
p q pq
V V
V
V F
F
F V
F
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

16 / 1

Conjuncion

Conjunci
on
p q pq
V V
V
V F
F
F V
F
F F
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

16 / 1

Disyuncion

Disyuncion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina la
disyuncion de p con q,

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

17 / 1

Disyuncion

Disyuncion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina la
disyuncion de p con q, la cual sera verdadera cuando al menos una de las
dos sea verdadero, es decir que la disyunci
on es falsa u
nicamente cuando
las dos proposiciones sean falsas.
p q se lee p o q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

17 / 1

Disyuncion

Disyunci
on
p q pq
V V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

18 / 1

Disyuncion

Disyunci
on
p q pq
V V
V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

18 / 1

Disyuncion

Disyunci
on
p q pq
V V
V
V F
V
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

18 / 1

Disyuncion

Disyunci
on
p q pq
V V
V
V F
V
F V
V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

18 / 1

Disyuncion

Disyunci
on
p q pq
V V
V
V F
V
F V
V
F F
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

18 / 1

Condicional o implicacion

Condicional o implicacion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina
condicional,

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

19 / 1

Condicional o implicacion

Condicional o implicacion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina
condicional, la cual es verdadera en todos los casos salvo en el caso en que
p sea verdadero y q sea falso.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

19 / 1

Condicional o implicacion

Condicional o implicacion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina
condicional, la cual es verdadera en todos los casos salvo en el caso en que
p sea verdadero y q sea falso.
p q se lee
Si p entonces q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

19 / 1

Condicional o implicacion

Condicional o implicacion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina
condicional, la cual es verdadera en todos los casos salvo en el caso en que
p sea verdadero y q sea falso.
p q se lee
Si p entonces q
p solo si q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

19 / 1

Condicional o implicacion

Condicional o implicacion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina
condicional, la cual es verdadera en todos los casos salvo en el caso en que
p sea verdadero y q sea falso.
p q se lee
Si p entonces q
p solo si q
p es condicion suficiente para q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

19 / 1

Condicional o implicacion

Condicional o implicacion
Dadas las proposiciones p, q, a la proposici
on p q se le denomina
condicional, la cual es verdadera en todos los casos salvo en el caso en que
p sea verdadero y q sea falso.
p q se lee
Si p entonces q
p solo si q
p es condicion suficiente para q
q es condicion necesaria para p

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

19 / 1

Condicional o implicacion

Condicional
p q pq
V V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

20 / 1

Condicional o implicacion

Condicional
p q pq
V V
V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

20 / 1

Condicional o implicacion

Condicional
p q pq
V V
V
V F
F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

20 / 1

Condicional o implicacion

Condicional
p q pq
V V
V
V F
F
F V
V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

20 / 1

Condicional o implicacion

Condicional
p q pq
V V
V
V F
F
F V
V
F F
V

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

20 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional, equivalencia o doble implicacion


Dadas las proposiciones p, q, a la proposici
on p q se le denomina
bi-condicional,

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

21 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional, equivalencia o doble implicacion


Dadas las proposiciones p, q, a la proposici
on p q se le denomina
bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de
verdad.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

21 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional, equivalencia o doble implicacion


Dadas las proposiciones p, q, a la proposici
on p q se le denomina
bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de
verdad.
p q se lee
p si y solo si q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

21 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional, equivalencia o doble implicacion


Dadas las proposiciones p, q, a la proposici
on p q se le denomina
bi-condicional, la cual es verdadera cuando p y q tomen el mismo valor de
verdad.
p q se lee
p si y solo si q
p es condicion necesaria y suficiente para q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

21 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional
p q pq
V V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

22 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional
p q pq
V V
V
V F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

22 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional
p q pq
V V
V
V F
F
F V
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

22 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional
p q pq
V V
V
V F
F
F V
F
F F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

22 / 1

Bi-condicional, equivalencia o doble implicacion

Bi-condicional
p q pq
V V
V
V F
F
F V
F
F F
V

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

22 / 1

Tablas de verdad

Cuantas posibilidades se dan para determinar el valor de verdad de


una proposicion?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

23 / 1

Tablas de verdad

Cuantas posibilidades se dan para determinar el valor de verdad de


una proposicion?
Depende del n
umero de proposiciones, sabiendo que cada una de ellas
tiene dos valores posibles.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

23 / 1

Tablas de verdad

Cuantas posibilidades se dan para determinar el valor de verdad de


una proposicion?
Depende del n
umero de proposiciones, sabiendo que cada una de ellas
tiene dos valores posibles.
Si el n
umero de proposiciones es n entonces el n
umero de
posibilidades es . . .

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

23 / 1


Diagrama de Arbol
Caso con tres proposiciones p, q y r .
p

r
V

V
F
V
V
F
F
V
V
F
F
V
F
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

24 / 1

Eliminacion de algunos parentesis

Reglas
Regla 1 El smbolo de implicaci
on es mas potente que otros
terminos de enlace.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

25 / 1

Eliminacion de algunos parentesis

Reglas
Regla 1 El smbolo de implicaci
on es mas potente que otros
terminos de enlace.
Regla 2 El smbolo de negaci
on es mas debil que cualquiera de los
otros tres terminos de enlace.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

25 / 1

Proposiciones

Ejercicio
Junto a cada una de las siguientes proposiciones se indica el tipo de
proposicion al que pertenece. A
nadir s
olo los parentesis necesarios.
condicional p q r
disyuncion p q r
conjuncion r s t
negacion p q
condicional p q r
conjuncion p q r

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

26 / 1

Tautologas y Contradicciones

Definicion
Una tautologa es una proposici
on cuyo valor de verdad es verdadero
independientemente de los valores de verdad de las proposiciones que
la componen.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

27 / 1

Tautologas y Contradicciones

Definicion
Una tautologa es una proposici
on cuyo valor de verdad es verdadero
independientemente de los valores de verdad de las proposiciones que
la componen.
Si la proposicion es una equivalencia, se dice que las dos
proposiciones que ella conecta son l
ogicamente equivalentes.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

27 / 1

Tautologas y Contradicciones

Definicion
Una tautologa es una proposici
on cuyo valor de verdad es verdadero
independientemente de los valores de verdad de las proposiciones que
la componen.
Si la proposicion es una equivalencia, se dice que las dos
proposiciones que ella conecta son l
ogicamente equivalentes.
Si es una implicacion, la primera proposici
on implica logicamente a la
segunda.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

27 / 1

Tautologas y Contradicciones

Definicion
Una tautologa es una proposici
on cuyo valor de verdad es verdadero
independientemente de los valores de verdad de las proposiciones que
la componen.
Si la proposicion es una equivalencia, se dice que las dos
proposiciones que ella conecta son l
ogicamente equivalentes.
Si es una implicacion, la primera proposici
on implica logicamente a la
segunda.
Una contradiccion es una proposici
on cuyo valor de verdad siempre es
falso.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

27 / 1

Equivalencia Logica

Definicion
Diremos que dos formulas son equivalentes si tienen exactamente la misma
tabla de verdad; para indicar esto, usaremos el smbolo .

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

28 / 1

Equivalencia Logica

Ejemplos
p p p
p p p

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

29 / 1

Equivalencia Logica

Ejemplo. Ley conmutativa


p q q p
p q q p

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

30 / 1

Equivalencia Logica

Ejemplos
p p es una tautologa.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

31 / 1

Equivalencia Logica

Ejemplos
p p es una tautologa.
p p es una contradicci
on.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

31 / 1

Equivalencia Logica

Ejemplos
p p es una tautologa.
p p es una contradicci
on.
p p

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

31 / 1

Equivalencia Logica

Ejemplo. Ley asociativa


p (q r ) (p q) r
p (q r ) (p q) r

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

32 / 1

Equivalencia Logica

Ejemplo. Ley distributiva


p (q r ) (p q) (p r )
p (q r ) (p q) (p r )

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

33 / 1

Equivalencia Logica

Ejemplo. Leyes de De Morgan


(p q) p q
(p q) p q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

34 / 1

Equivalencia Logica

Ejemplo. Negacion del condicional y del bi-condicional


(p q) p q
(p q) p q p q

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

35 / 1

Equivalencia Logica

Ejemplos
p q q p
p q (p q) (q p)

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

36 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
F
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
F
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
V
F

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
V
F
V

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion original y su contrarrecproca son equivalentes

p
V
V
F
F

Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
V
F
V
V

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

37 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
F
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
F
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V
V
F
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V
V
F
F
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V
V
F
F
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

IMPORTANTE!

La proposicion contraria y la recproca son equivalentes

p
V
V
F
F

q
V
F
V
F

Universidad Nacional de Colombia

Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
V
F
V
V
V
F
F
V
V
V

Matem
aticas B
asicas

L
ogica

38 / 1

Proposiciones

Ejercicio
Escriba la contraria, la recproca y la contrarrecproca de las siguientes
proposiciones:
Si voy al cine, entonces no leo el libro.
Si me conecto a facebook entonces no me concentro.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

39 / 1

Predicados

Definicion
Un predicado es una frase en la cual intervienen variables, se transforma en
proposicion al ser reemplazadas las variables por constantes.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

40 / 1

Predicados

Ejemplo
Consideremos la proposici
on
p:

x >4

Cual es el valor de verdad de p?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

41 / 1

Predicados

Ejemplo
Consideremos la proposici
on
p:

x >4

Cual es el valor de verdad de p?


Cual es el contexto en el que la proposici
on tiene sentido?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

41 / 1

Predicados

Ejemplo
Consideremos la proposici
on
p:

x >4

Cual es el valor de verdad de p?


Cual es el contexto en el que la proposici
on tiene sentido?
Cual es el conjunto mas grande en el cual la proposicion se hace
verdadera?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

41 / 1

Predicados

Ejercicio
Dado que x = 4, y = 2 y z = 5, encuentre el valor de verdad de:
1

(x + y = 6 y z < 0)
o z = 0.

x = 0 y (y + z > x
o z = 0).

y + z = z + y y 0 + x = x.

y + x > y + x + z o z = 0.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

42 / 1

Cuantificadores

Cuantificadores universales y existenciales


Las palabras todo, cada uno, todos y ninguno se denominan
cuantificadores universales.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

43 / 1

Cuantificadores

Cuantificadores universales y existenciales


Las palabras todo, cada uno, todos y ninguno se denominan
cuantificadores universales.
Las palabras y frases como hay y al menos uno se conocen como
cuantificadores existenciales.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

43 / 1

Cuantificadores

Notacion
El cuantificador universal se simboliza por ,
(x)(p(x))
se lee para todo x se satisface p(x).

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

44 / 1

Cuantificadores

Notacion
El cuantificador universal se simboliza por ,
(x)(p(x))
se lee para todo x se satisface p(x).
El cuantificador existencial se simboliza por ,
(x)(p(x))
se lee existe un x que satisface p(x)

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

44 / 1

Cuantificadores

Ejemplos
Todos los hombres de esta clase son caballeros.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

45 / 1

Cuantificadores

Ejemplos
Todos los hombres de esta clase son caballeros.
Todos los estudiantes de esta clase estan inscritos en Ingles I.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

45 / 1

Cuantificadores

Ejemplos
Todos los hombres de esta clase son caballeros.
Todos los estudiantes de esta clase estan inscritos en Ingles I.
Algunos estudiantes de esta clase estan repitiendo la materia.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

45 / 1

Cuantificadores

Ejemplos
Todos los hombres de esta clase son caballeros.
Todos los estudiantes de esta clase estan inscritos en Ingles I.
Algunos estudiantes de esta clase estan repitiendo la materia.
Ning
un estudiante de esta clase usa tenis rojos.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

45 / 1

Cuantificadores

Ejemplos
Todos los hombres de esta clase son caballeros.
Todos los estudiantes de esta clase estan inscritos en Ingles I.
Algunos estudiantes de esta clase estan repitiendo la materia.
Ning
un estudiante de esta clase usa tenis rojos.
Cual es la negacion de cada una de las proposiciones anteriores?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

45 / 1

Predicados

Ejercicio
Determine el valor de verdad de cada una de las siguientes proposiciones.
1

Todo entero no negativo es un entero.

Todo n
umero natural es un entero.

Existe un n
umero racional que no es un entero.

Existe un n
umero entero que no es natural.

Todos los n
umeros racionales son reales.

Algunos n
umeros racionales no son enteros.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

46 / 1

Cuantificadores

Negacion de cuantificadores
La negacion de para todo x se tiene el predicado p(x) es:
existe un x para el cual NO se cumple p(x).

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

47 / 1

Cuantificadores

Negacion de cuantificadores
La negacion de para todo x se tiene el predicado p(x) es:
existe un x para el cual NO se cumple p(x). En smbolos
((x)(p(x))) (x)( (p(x)))

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

47 / 1

Cuantificadores

Negacion de cuantificadores
La negacion de para todo x se tiene el predicado p(x) es:
existe un x para el cual NO se cumple p(x). En smbolos
((x)(p(x))) (x)( (p(x)))

La negacion de existe un x para el cual se tiene p(x) es:


para todo x NO se cumple p(x).

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

47 / 1

Cuantificadores

Negacion de cuantificadores
La negacion de para todo x se tiene el predicado p(x) es:
existe un x para el cual NO se cumple p(x). En smbolos
((x)(p(x))) (x)( (p(x)))

La negacion de existe un x para el cual se tiene p(x) es:


para todo x NO se cumple p(x). En smbolos
((x)(p(x))) (x)( (p(x)))

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

47 / 1

Negacion de cuantificadores

Ejercicio
Escriba la negacion de las siguientes proposiciones.
1

Algunos estudiantes aprobaran este curso.

Todos los estudiantes de la Universidad aman las matematicas.

Ning
un profesor es perfecto.

Hay estudiantes mas inteligentes que Einstein.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

48 / 1

El problema de la dama o el tigre


Un prisionero debe hacer una elecci
on entre dos puertas: detras de una de ellas
esta una hermosa dama y detras de la otra se encuentra un tigre hambriento.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

49 / 1

El problema de la dama o el tigre


Un prisionero debe hacer una elecci
on entre dos puertas: detras de una de ellas
esta una hermosa dama y detras de la otra se encuentra un tigre hambriento.
Que sucedera si cada una de las puertas tuviera un letrero y el hombre supiera
que solo uno de los letreros es verdadero?

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

49 / 1

El problema de la dama o el tigre


Un prisionero debe hacer una elecci
on entre dos puertas: detras de una de ellas
esta una hermosa dama y detras de la otra se encuentra un tigre hambriento.
Que sucedera si cada una de las puertas tuviera un letrero y el hombre supiera
que solo uno de los letreros es verdadero?
El letrero de la primera puerta dice:
EN ESTE CUARTO HAY UNA DAMA Y EN EL OTRO CUARTO HAY UN
TIGRE

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

49 / 1

El problema de la dama o el tigre


Un prisionero debe hacer una elecci
on entre dos puertas: detras de una de ellas
esta una hermosa dama y detras de la otra se encuentra un tigre hambriento.
Que sucedera si cada una de las puertas tuviera un letrero y el hombre supiera
que solo uno de los letreros es verdadero?
El letrero de la primera puerta dice:
EN ESTE CUARTO HAY UNA DAMA Y EN EL OTRO CUARTO HAY UN
TIGRE
y el letrero de la segunda puerta dice:
EN UNO DE ESTOS CUARTOS HAY UNA DAMA Y EN UNO DE ESTOS
CUARTOS HAY UN TIGRE.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

49 / 1

El problema de la dama o el tigre


Un prisionero debe hacer una elecci
on entre dos puertas: detras de una de ellas
esta una hermosa dama y detras de la otra se encuentra un tigre hambriento.
Que sucedera si cada una de las puertas tuviera un letrero y el hombre supiera
que solo uno de los letreros es verdadero?
El letrero de la primera puerta dice:
EN ESTE CUARTO HAY UNA DAMA Y EN EL OTRO CUARTO HAY UN
TIGRE
y el letrero de la segunda puerta dice:
EN UNO DE ESTOS CUARTOS HAY UNA DAMA Y EN UNO DE ESTOS
CUARTOS HAY UN TIGRE.
Con esta informaci
on, puede el hombre elegir la puerta correcta?
Escrito por Frank R. Stockton en 1882.

Universidad Nacional de Colombia

Matem
aticas B
asicas

L
ogica

49 / 1

Potrebbero piacerti anche