Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
BASICAS
Enero de 2015
Universidad Nacional de Colombia
Matem
aticas B
asicas
L
ogica
1/1
Parte I
Logica
Matem
aticas B
asicas
L
ogica
2/1
Proposiciones
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
Es una orden.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
Es una orden.
2 + 3 = 5.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
Es una orden.
Es verdadero.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
Es una orden.
Es verdadero.
2
5.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Es falso.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Es falso.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Es falso.
Es una paradoja.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Es falso.
Es una paradoja.
Matem
aticas B
asicas
L
ogica
3/1
Proposiciones
1
3
2
5.
Es una orden.
Es verdadero.
Es falso.
Tienes hambre?
Es una pregunta.
Es una paradoja.
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.
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.
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.
Matem
aticas B
asicas
L
ogica
6/1
Conectivos logicos
Matem
aticas B
asicas
L
ogica
7/1
Conectivos logicos
Matem
aticas B
asicas
L
ogica
7/1
Conectivos logicos
Matem
aticas B
asicas
L
ogica
7/1
Conectivos logicos
Matem
aticas B
asicas
L
ogica
7/1
Conectivos logicos
Matem
aticas B
asicas
L
ogica
7/1
Conectivos logicos
Matem
aticas B
asicas
L
ogica
7/1
Conectivos logicos
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.
Matem
aticas B
asicas
L
ogica
8/1
Proposiciones
Ejercicio
Simbolizar las siguientes proposiciones en terminos de p, q, r .
1
Ma
nana a las 9 am, o voy a jugar f
utbol,
o a estudiar a la biblioteca.
Matem
aticas B
asicas
L
ogica
9/1
Proposiciones
Ejercicio
Simbolizar las siguientes proposiciones matematicas.
1
Cuatro no es un n
umero impar.
No es cierto que: si un n
umero es par entonces es primo.
Matem
aticas B
asicas
L
ogica
10 / 1
Proposiciones
Ejercicio
Negar las siguientes proposiciones.
1
No ocurre que 3 6= 7.
Matem
aticas B
asicas
L
ogica
11 / 1
Proposiciones
Proposiciones
Si p y q son proposiciones, entonces
Matem
aticas B
asicas
L
ogica
12 / 1
Proposiciones
Proposiciones
Si p y q son proposiciones, entonces
p
q
Matem
aticas B
asicas
L
ogica
12 / 1
Proposiciones
Proposiciones
Si p y q son proposiciones, entonces
p
pq
qp
Matem
aticas B
asicas
L
ogica
12 / 1
Proposiciones
Proposiciones
Si p y q son proposiciones, entonces
p
pq
pq
qp
qp
Matem
aticas B
asicas
L
ogica
12 / 1
Proposiciones
Proposiciones
Si p y q son proposiciones, entonces
p
pq
pq
pq
qp
qp
qp
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.
Matem
aticas B
asicas
L
ogica
12 / 1
Negacion
Negacion
Dada una proposicion p, llamaremos p a la negaci
on de p.
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.
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
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 . . .
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 . . .
Matem
aticas B
asicas
L
ogica
13 / 1
Negacion
Negaci
on
p p
V
F
Matem
aticas B
asicas
L
ogica
14 / 1
Negacion
Negaci
on
p p
V
F
F
Matem
aticas B
asicas
L
ogica
14 / 1
Negacion
Negaci
on
p p
V
F
F
V
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,
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.
Matem
aticas B
asicas
L
ogica
15 / 1
Conjuncion
Conjunci
on
p q pq
V V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
16 / 1
Conjuncion
Conjunci
on
p q pq
V V
V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
16 / 1
Conjuncion
Conjunci
on
p q pq
V V
V
V F
F
F V
F F
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
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
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,
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
Matem
aticas B
asicas
L
ogica
17 / 1
Disyuncion
Disyunci
on
p q pq
V V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
18 / 1
Disyuncion
Disyunci
on
p q pq
V V
V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
18 / 1
Disyuncion
Disyunci
on
p q pq
V V
V
V F
V
F V
F F
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
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
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,
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.
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
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
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
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
Matem
aticas B
asicas
L
ogica
19 / 1
Condicional o implicacion
Condicional
p q pq
V V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
20 / 1
Condicional o implicacion
Condicional
p q pq
V V
V
V F
F V
F F
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
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
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
Matem
aticas B
asicas
L
ogica
20 / 1
Matem
aticas B
asicas
L
ogica
21 / 1
Matem
aticas B
asicas
L
ogica
21 / 1
Matem
aticas B
asicas
L
ogica
21 / 1
Matem
aticas B
asicas
L
ogica
21 / 1
Bi-condicional
p q pq
V V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
22 / 1
Bi-condicional
p q pq
V V
V
V F
F V
F F
Matem
aticas B
asicas
L
ogica
22 / 1
Bi-condicional
p q pq
V V
V
V F
F
F V
F F
Matem
aticas B
asicas
L
ogica
22 / 1
Bi-condicional
p q pq
V V
V
V F
F
F V
F
F F
Matem
aticas B
asicas
L
ogica
22 / 1
Bi-condicional
p q pq
V V
V
V F
F
F V
F
F F
V
Matem
aticas B
asicas
L
ogica
22 / 1
Tablas de verdad
Matem
aticas B
asicas
L
ogica
23 / 1
Tablas de verdad
Matem
aticas B
asicas
L
ogica
23 / 1
Tablas de verdad
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
Matem
aticas B
asicas
L
ogica
24 / 1
Reglas
Regla 1 El smbolo de implicaci
on es mas potente que otros
terminos de enlace.
Matem
aticas B
asicas
L
ogica
25 / 1
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.
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
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.
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.
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.
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.
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 .
Matem
aticas B
asicas
L
ogica
28 / 1
Equivalencia Logica
Ejemplos
p p p
p p p
Matem
aticas B
asicas
L
ogica
29 / 1
Equivalencia Logica
Matem
aticas B
asicas
L
ogica
30 / 1
Equivalencia Logica
Ejemplos
p p es una tautologa.
Matem
aticas B
asicas
L
ogica
31 / 1
Equivalencia Logica
Ejemplos
p p es una tautologa.
p p es una contradicci
on.
Matem
aticas B
asicas
L
ogica
31 / 1
Equivalencia Logica
Ejemplos
p p es una tautologa.
p p es una contradicci
on.
p p
Matem
aticas B
asicas
L
ogica
31 / 1
Equivalencia Logica
Matem
aticas B
asicas
L
ogica
32 / 1
Equivalencia Logica
Matem
aticas B
asicas
L
ogica
33 / 1
Equivalencia Logica
Matem
aticas B
asicas
L
ogica
34 / 1
Equivalencia Logica
Matem
aticas B
asicas
L
ogica
35 / 1
Equivalencia Logica
Ejemplos
p q q p
p q (p q) (q p)
Matem
aticas B
asicas
L
ogica
36 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
F
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
F
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
V
F
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
Original Contrarrecproca
Original Contrarrecproca
q
pq
q p
V
V
V
F
F
F
V
V
V
F
V
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
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
Matem
aticas B
asicas
L
ogica
37 / 1
IMPORTANTE!
p
V
V
F
F
q
V
F
V
F
Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
F
V
V
Matem
aticas B
asicas
L
ogica
38 / 1
IMPORTANTE!
p
V
V
F
F
q
V
F
V
F
Contraria Recproca
Original Contraria Recproca
p q p q
qp
V
V
F
V
V
Matem
aticas B
asicas
L
ogica
38 / 1
IMPORTANTE!
p
V
V
F
F
q
V
F
V
F
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!
p
V
V
F
F
q
V
F
V
F
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!
p
V
V
F
F
q
V
F
V
F
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!
p
V
V
F
F
q
V
F
V
F
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!
p
V
V
F
F
q
V
F
V
F
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!
p
V
V
F
F
q
V
F
V
F
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!
p
V
V
F
F
q
V
F
V
F
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.
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.
Matem
aticas B
asicas
L
ogica
40 / 1
Predicados
Ejemplo
Consideremos la proposici
on
p:
x >4
Matem
aticas B
asicas
L
ogica
41 / 1
Predicados
Ejemplo
Consideremos la proposici
on
p:
x >4
Matem
aticas B
asicas
L
ogica
41 / 1
Predicados
Ejemplo
Consideremos la proposici
on
p:
x >4
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.
Matem
aticas B
asicas
L
ogica
42 / 1
Cuantificadores
Matem
aticas B
asicas
L
ogica
43 / 1
Cuantificadores
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).
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)
Matem
aticas B
asicas
L
ogica
44 / 1
Cuantificadores
Ejemplos
Todos los hombres de esta clase son caballeros.
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.
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.
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.
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?
Matem
aticas B
asicas
L
ogica
45 / 1
Predicados
Ejercicio
Determine el valor de verdad de cada una de las siguientes proposiciones.
1
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.
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).
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)))
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)))
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)))
Matem
aticas B
asicas
L
ogica
47 / 1
Negacion de cuantificadores
Ejercicio
Escriba la negacion de las siguientes proposiciones.
1
Ning
un profesor es perfecto.
Matem
aticas B
asicas
L
ogica
48 / 1
Matem
aticas B
asicas
L
ogica
49 / 1
Matem
aticas B
asicas
L
ogica
49 / 1
Matem
aticas B
asicas
L
ogica
49 / 1
Matem
aticas B
asicas
L
ogica
49 / 1
Matem
aticas B
asicas
L
ogica
49 / 1