01 de 23

Unidad de: Lógica Matemática Bivalente

02 de 23
03 de 23
 04 de 23

Si una proposición no es verdadera, entonces es Falsa.

( La lógica matemática es bivalente. La proposición, o es
verdadero o es falso )
05 de 23
06 de 23
07 de 23
08 de 23
09 de 23
10 de 23
11 de 23
12 de 23
 13 de 23

Disyunción excluyente: pvq

- Definición: Es la disyunción excluyente: p v q. Se lee “o
p o q”
- Valor de Verdad: p v q es verdadero cuando las
proposiciones p y q tienen valor de verdad distinto. Si
tienen valor de verdad igual, el valor es falso.
- Expresiones: “o bien p o bien q”; “o es p o es q” ; “p o q
pero no ambas”
- Ejemplo: “Juan Pérez o esta presente o esta ausente”
“el cuadrado de -2, o es 4 o es -4”
14 de 23
15 de 23
16 de 23
 17 de 23

Cuantificadores
- Permiten tener proposiciones que hacen referencia a
cantidad de elementos de un conjunto que cumplen una
característica o condición, expresada en una
proposición.
 18 de 23

Función Proposicional en una variable “x” es toda oración

en la cual “x” figura como sujeto, que se convierte en
proposición para cada valor específico de “x”.
Conjunto de Verdad de una función proposicional, en un
conjunto A dado, es una colección de elementos de A que
al emplearlos en lugar de las variables de la función
proposicional la convierten en Verdadera.
Ejemplo:
-Conjunto A: Los dígitos (enteros de 0 a 9)
-Función proposicional: “Los elementos x satisfacen la
ecuación: x3-3x2+2x=0”
-Conjunto de verdad: 0,1,2
19 de 23
 20 de 23

Ejemplo:
La proposición: “Todos los estudiantes universitarios tienen mas de
600 puntos en la PSU y son buenos para matemáticas”
Tiene la estructura lógica:
x, x  A; p( x )
Donde: A  x / x es universita rio 
p(x): “x tiene mas de 600 puntos en la PSU y es bueno
para matemáticas”
Que se puede considerar también como p^q, con
p: x tiene mas de 600 puntos en la PSU
q: es bueno para matemáticas
x, x  A; p( x )^ q( x )
 Negación de un cuantificador 21 de 23

• Negación de un cuantificador existencial:

~ x, x  A; p(x)  x, x  A; ~ p(x)
• Negación de un cuantificador universal:
~ x, x  A; p(x)  x, x  A; ~ p(x)
Ejemplo:
La proposición: “Hay alumnos que si no hay prueba, no estudian”
Tiene la forma: x , x  A; p  q
Su negación es: x , x  A; p^ ~ q
La negación en palabras: “Todos los alumnos, no hay prueba y estudian”
O bien: “ todos los alumnos son tales que no hay prueba y estudian igual”
22 de 23
 23 de 23

FIN