Licenciatura en Matemática- Profesorado Universitario en Matemática

¿Tienen lógica los enunciados matemáticos?- Álgebra I

Profesoras: Robles - Camós

¿Tienen lógica los enunciados matemáticos?

Con el objeto de lograr precisión en el lenguaje matemático, es necesario introducir
símbolos y conectivos cuyo uso adecuado aportará claridad y economía de pensamiento.

Proposición

Considera los siguientes enunciados y determina la verdad o falsedad de cada uno de

ellos.

1.- ¿Lloverá el sábado?

2.- Levante el papel.
3.- La Paz es capital de Argentina.
4.- 5 es un número par.
5.- Lucas obtuvo el premio

Podemos observar que el 1 es una pregunta, el 2 es una orden y las tres restantes
declarativas. De las dos primeras no podemos decir que sean verdaderas o falsas; una
pregunta puede formularse o no, y una orden puede cumplirse o no. En cambio, de las
tres restantes, tiene sentido decir si son verdaderas o falsas, a éstas las denominamos
proposiciones

Una proposición es un enunciado de cuyo significado tiene sentido decir que es

verdadero o falso, es decir que expresa una verdad o una falsedad.

Toda proposición está asociada a un “valor de verdad” que puede ser verdadero (V) o
falso (F).

Ejercicio 1:

Observa las siguientes expresiones, y determina cuáles son proposiciones:

a) ¿Qué hora es?
b) El árbol pertenece al reino vegetal
c) Si me gano la lotería, seré millonario
d) Por favor, cierre la puerta
e) 5 es un número par
g) Deténgase
h) En Santiago del Estero hay un glaciar
i) Falta el enunciado f)

Valores de verdad de una proposición y su notación

1
 Licenciatura en Matemática- Profesorado Universitario en Matemática
¿Tienen lógica los enunciados matemáticos?- Álgebra I
Profesoras: Robles - Camós
Las proposiciones se representan simbólicamente con las letras p, q, r, etc., por ejemplo:

p: La UAI se fundó en 1995.

q: El rectorado de la UAI se halla en la ciudad de Lanús.
r: La carrera con más inscriptos en el año 2005 fue Ingeniería en Sistemas.

Como la UAI se fundó en 1995, la proposición p es verdadera, el valor de verdad de la

proposición p es V y se indica v(p)=V.

Como el rectorado de la UAI se encuentra en Capital Federal, la proposición q es falsa,

su valor de verdad es F y se indica v(q)=F.

No disponemos de información acerca de la cantidad de inscriptos en las distintas

carreras en el 2005, por lo tanto, no podemos determinar el valor de verdad de la
proposición r.

Ejercicio 2:

Propone tres expresiones que sean proposiciones y tres que no lo sean. Indica su valor
de verdad.

Conectivos lógicos

A partir de proposiciones simples es posible generar otras, simples o compuestas, es

decir operar con proposiciones.

Para las distintas operaciones lógicas se utilizan diferentes símbolos llamados

conectivos lógicos.

Conectivo Operación asociada Notación Significado

~ Negación ~p no p o no es cierto que p
˄ Conjunción p˄q pyq
˅ Disyunción p˅q p o q (en sentido incluyente)
⇒ Implicación p⇒q p implica q o si p, entonces q
⇔ Doble Implicación o p⇔q p si y sólo si q
Bicondicional
⊻ Diferencia Simétrica p⊻q p o q (en sentido excluyente)

Operaciones proposicionales

Dadas una o dos proposiciones cuyos valores de verdad se conocen, se caracterizará la

proposición resultante a través de su valor de verdad.

1.- Negación: la negación de la proposición p es la proposición ~p (se lee no p o es falso

p) y asigna el valor de verdad opuesto al de p.

Por ejemplo:

2
 Licenciatura en Matemática- Profesorado Universitario en Matemática
¿Tienen lógica los enunciados matemáticos?- Álgebra I
Profesoras: Robles - Camós
p: Gonzalo es analista de sistemas.
~p: Gonzalo no es analista de sistemas; o No es cierto que Gonzalo es analista de
sistemas.
Si v(p)=V ⇒ v(~p)=F
Si v(p)=F ⇒ v(~p)=V

Por lo que resulta sencillo construir su tabla de verdad:

p ~p
V F
F V
Esta tabla de verdad de la negación, relaciona los valores de verdad de una proposición
con los valores de verdad de su negación.

2.- Conjunción: dadas dos proposiciones p y q, se denomina conjunción de estas

proposiciones a la proposición que se obtiene al unir ambas con la conjunción “y”. Se
denota p˄q(se lee "p y q").

El valor de verdad de una conjunción depende del valor de verdad de las proposiciones
que intervienen. La conjunción “y” exige para ser verdadera que el valor de verdad de
ambas proposiciones elementales sea verdadero, en cualquier otro caso la conjunción es
falsa.
Su tabla de verdad es:
p q p˄q
V V V
V F F
F V F
F F F

Por ejemplo:
Sean p: 13 es un número impar, v(p)=V
q: 10 es un número par, v(q)=V
La proposición compuesta p˄q: 13 es un número impar y 10 es un número par, resulta
ser verdadera.

3.- Disyunción: Dadas dos proposiciones p y q, la disyunción entre ellas es la

proposición compuesta que se obtiene al unir a ambas con la letra “o”. Se denota p˅q (se
lee p o q).

El valor de verdad de una disyunción depende del valor de verdad de las proposiciones
que intervienen. La disyunción “o” exige para ser verdadera que el valor de verdad de
alguna proposición elemental sea verdadero, sólo en el caso de que ambas sean falsas
simultáneamente, la disyunción es falsa.

Su tabla de verdad es:

3
 Licenciatura en Matemática- Profesorado Universitario en Matemática
¿Tienen lógica los enunciados matemáticos?- Álgebra I
Profesoras: Robles - Camós

p q p˅q
V V V
V F V
F V V
F F F
Por ejemplo:
Sean p: 2.3=6; v(p)=V
q: 2.3=7; v(q)=F
La proposición compuesta p˅q: 2.3=6 ó 2.3=7, resulta ser verdadera, ya que una de las
dos proposiciones lo es.

4.- Implicación o condicional: Dadas dos proposiciones p y q, la implicación de ellas, en

ese orden, es la proposición p⇒q, donde p es el antecedente (o hipótesis) y q el
consecuente (o conclusión).

El condicional p⇒q se lee "p implica q" o "si p entonces q". Un condicional siempre es
verdadero, excepto cuando el antecedente es verdadero y el consecuente falso.

Su tabla de verdad es:

p q p⇒q
V V V
V F F
F V V
F F V

Por ejemplo:
Sean p: Apruebas el examen de matemática.
q: Vas al viaje de estudios.
La proposición condicional sería p⇒q: Si apruebas el examen de matemática, entonces vas
al viaje de estudios.

5.- Doble Implicación o Bicondicional: Dadas dos proposiciones p y q, la doble

implicación de ellas, es la proposición p⇔q, dondeun enunciado es a la vez condición
necesaria y suficiente para el otro.
El bicondicional p⇔q se lee "p si y sólo sí q" o “p sii q". Un bicondicional sólo es
verdadero, cuando las dos proposiciones tienen el mismo valor de verdad.Si p⇔q es
verdadera, decimos que p es condición necesaria y suficiente para q.
Su tabla de verdad es:
p q p⇔q
V V V
V F F
F V F
F F V

Por ejemplo:

4
 Licenciatura en Matemática- Profesorado Universitario en Matemática
¿Tienen lógica los enunciados matemáticos?- Álgebra I
Profesoras: Robles - Camós
Sean p: Ushuaia es capital de Tierra del Fuego.
q: 3+6=8.
La doble implicación sería p⇔q: Ushuaia es capital de Tierra del Fuego si y sólo si 3+6=8
p ⇔q
↓ ↓
V ↓ F
F

6.- Diferencia Simétrica o Disyunción Exclusiva: Dadas dos proposiciones p y q, la

disyunción exclusiva de ellas, es la proposición p⊻q (se lee “o p o q”).
La proposición compuesta sólo es verdadera en el caso en que una de las proposiciones
simples es falsa y la otra verdadera.
Su tabla de verdad es:
p q p⊻q
V V F
V F V
F V V
F F F

Por ejemplo: “El número 5 es par o impar”. En este caso el “o” tiene el sentido excluyente,
ya que 5 o es par o es impar, pero no ambos simultáneamente.
Ejercitación:

Ejercicio 3:
Utilizando las proposiciones propuestas en el ejercicio 2:
a) Negalas
b) Forma nuevas proposiciones, mediante el agregado de disyunciones, conjunciones
y negaciones.
c) Exprésalas en forma simbólica, detallando cada una de las proposiciones.

Ejercicio 4:
Proponer una oración compuesta por dos proposiciones que utilice:
a) El “o” excluyente
b) El “o” incluyente
¿Cuál es la diferencia entre estas dos disyunciones?

5
 Licenciatura en Matemática- Profesorado Universitario en Matemática
¿Tienen lógica los enunciados matemáticos?- Álgebra I
Profesoras: Robles - Camós

Ejercicio 5:

Considere las siguientes proposiciones:

p: “Juan es morocho” q: “Marcos es morocho”
Escribir en forma simbólica:
a) Juan es morocho y Marcos no es morocho.
b) Juan no es morocho y Marcos es morocho.
c) Juan y Marcos no son morochos.
d) Juan no es morocho o Marcos no es morocho.

Ejercicio 6:

Traducir al lenguaje corriente las siguientes proposiciones siendo:

p: El cigarrillo es perjudicial para la salud
q: La droga es perjudicial para la salud
a) p q
b) ~ p
c) ~ (~ p)
d) ~ p q
e) ~ (p q)
f) p q

Bibliografía:

ROJO, A. Álgebra I. Capítulo 1