Álgebra

(Para Ciencias Económicas)

MATERIALES DE ESTUDIO OBLIGATORIOS

En este listado se mencionan todos los materiales de estudio obligatorios, indicando en cada
caso qué tipo de material es y dónde se puede adquirir o descargar.

- Font,E; Lazzari, L; Thompson, S y otros. Álgebra con aplicaciones a las Ciencias

Económicas. Buenos Aires. Ediciones Macchi. 1999. Capítulos II, III, IV, V.

Disponible en:
FACULTAD DE CS.ECONÓMICAS: www.cece.org / Av. Córdoba 2122, CABA Frente Aula 12 de 7 a 22 hs.

Selección de Materiales de Cátedra

- Aveleyra, Ema (2016). Introducción a la Lógica Matemática, en el Campus Virtual de

UBA XXI.

- Fraquelli, Alicia y Gache, Andrea (2016). Notas de Álgebra teórico-prácticas. Vectores-

Recta-Plano, en el Campus Virtual de UBA XXI.

- Fraquelli, Alicia y Gache, Andrea (2016). Notas de Álgebra teórico-prácticas. Matrices y

Determinantes, en el Campus Virtual de UBA XXI.

- Fraquelli, Alicia y Gache, Andrea (2016). Notas de Álgebra teórico-prácticas. Sistema

de Ecuaciones Lineales, en el Campus virtual de UBA XXI.

- Fraquelli, Alicia y Gache, Andrea (2016). Notas de Álgebra teórico-prácticas. Espacios

Vectoriales, en el Campus Virtual de UBA XXI.

- Fraquelli, Alicia y Gache, Andrea (2016). Notas de Álgebra teórico-prácticas.

Programación Lineal, en el Campus virtual de UBA XXI.

Disponible en:
CAMPUS: www.ubaxxicampusvirtual.uba.ar

- Ejercicios de Lógica – Prácticas 0, 1, 2, 3, 4, 5

Disponible en:
CAMPUS: www.ubaxxicampusvirtual.uba.ar

Este material es utilizado con fines exclusivamente educativos.

qwertyuiopasdfghjklzxcvbnmqwertyui 1

opasdfghjklzxcvbnmqwertyuiopasdfgh
jklzxcvbnmqwertyuiopasdfghjklzxcvb
nmqwertyuiopasdfghjklzxcvbnmqwer
Introducción a la Lógica Matemática
tyuiopasdfghjklzxcvbnmqwertyuiopas
Álgebra para Ciencias Económicas

dfghjklzxcvbnmqwertyuiopasdfghjklzx
Ema Aveleyra

cvbnmqwertyuiopasdfghjklzxcvbnmq
wertyuiopasdfghjklzxcvbnmqwertyuio

pasdfghj
klzxcvbnmqwertyuiopasdfghjklzxcvbn
mqwertyuiopasdfghjklzxcvbnmqwerty
uiopasdfghjklzxcvbnmqwertyuiopasdf
ghjklzxcvbnmqwertyuiopasdfghjklzxc
vbnmqwertyuiopasdfghjklzxcvbnmqw
ertyuiopasdfghjklzxcvbnmrtyuiopasdf
 2
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

Toda disciplina necesita de un lenguaje propio que permita comunicar los conceptos,
teorías y modelos. La lógica matemática es una rama formal de la Matemática que
introduce un lenguaje simbólico, preciso, sin ambigüedades y ordena el razonamiento. En
esta introducción, se van a tratar los conceptos de proposición, operaciones
proposicionales, leyes lógicas o tautologías, funciones proposicionales y cuantificadores.

Como concepto primitivo podemos decir que una proposición es: todo enunciado
declarativo del cual tiene sentido decir si es verdadero o falso.

Consideremos las siguientes expresiones:

(1) El sitio de la Facultad de Ciencias Económicas (UBA) es www.econ.uba.ar

‫ܽ݊݅ݐ݊݁݃ݎܣ ݁݀ ݈ܽݐ݅݌ܽܿ ݈ܽ ݏ݁ ݏܣ ݏܤ‬

(2) Cuatro es un número impar.
(3)
(4) ¿Qué hora es?
(5) ¡Termina la tarea!
(6) X+5=7

Las tres primeras son proposiciones ya que es posible atribuirles un valor de verdad:
verdadera (V) o falsa (F). En cambio, no son proposiciones las preguntas y órdenes. La
última expresión “puede parecernos” una proposición pero no lo es ya que no conocemos
el valor de x. Si lo reemplazamos por un número, por ejemplo 2, entonces sí es una
proposición verdadera.

Las proposiciones las designamos con letras minúsculas: ‫݌‬, ‫ݍ‬, ‫ݎ‬, … , ݁‫ܿݐ‬

Consideramos una lógica bivalente, con dos valores posibles de verdad, verdadera (V) o
falsa (F). Así en los ejemplos propuestos la (1) a la que designamos con una letra, por
ejemplo p, es verdadera y lo indicamos v(p)= V, la (2) a la que llamamos q es falsa y lo
indicamos v(q)=F

Las proposiciones también se pueden clasificar de acuerdo a su estructura en simples o

compuestas.

Simples: cuando ninguna de sus partes es a su vez una proposición.

Ejemplos:

5 ݁‫݊ ݊ݑ ݏ‬ú݉݁‫݋݉݅ݎ݌ ݋ݎ‬

ܶ‫݉݋‬á‫݋݈݀ܽ݃݁݀ ݏ݁ ݏ‬
•
•

Ema Aveleyra Página 2

 3
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

Compuestas: son aquellas proposiciones en las que al menos una de sus partes propias es
una proposición.

Ejemplos:

• ‫ݎ݅ ݏ݅ݑܮ‬á ݈ܽ ܿ݅݊݁ ‫݋ݎݐܽ݁ݐ ݈ܽ ݋‬.

• Liliana es alta y delgada.
• 3 es un número primo e impar.

Observamos que la primera oración podemos descomponerla en estas dos oraciones

simples unidas por un conectivo “o”.

Luis irá al cine.

Luis irá al teatro.

Lo mismo ocurre con las dos siguientes aunque el conectivo es “y”.

A continuación definiremos cuáles son las operaciones proposicionales que nos permiten
obtener proposiciones compuestas y cuál es el valor de verdad de las mismas.

Operación o cálculo proposicional

Procedimiento mediante el cual obtenemos una proposición compuesta a partir de una o

más proposiciones (simples y/o compuestas).

Para ello utilizamos los siguientes conectivos lógicos:

݊‫݋‬ − ~
‫ݕ ۓ‬ ⋀
ۖ
‫݈ ݏ݋ݒ݅ݐܿ݁݊݋ܿ ݏ݋ܮ‬ó݃݅ܿ‫݊݋ݏ ݏ݋‬ ‫݋‬ ⋁

‫ݏ݁ܿ݊݋ݐ݊݁ … ݅ݏ ۔‬ →
ۖ
‫ݏ ە‬í ‫ݏ ݕ‬ó݈‫݅ݏ ݋‬ ↔

Ejemplos:

‫ܽ݊݁ݑܾ ݏ݁ ݈ܽ݅ܿ݅ܣ‬
‫݈ܾ݁ܽ݀ܽݎ݃ܽ ݏ݁ ݈ܽ݅ܿ݅ܣ‬
•
•

Podemos unir estas proposiciones mediante “y”

‫" ܽ݊݁ݑܾ ݏ݁ ݈ܽ݅ܿ݅ܣ‬y" Alicia es agradable

‫" ܽ݊݁ݑܾ ݏ݁ ݈ܽ݅ܿ݅ܣ‬y" agradable
•
•

Ema Aveleyra Página 3

 4
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

Otro ejemplo:

"‫"݁ݒ݁ݑ݈݈ ݕ݋ܪ‬
"‫ݎܫ‬é ݈ܽ ܿ݅݊݁"
•
•

Podemos unir estas proposiciones mediante “si…entonces”

• "Si" hoy llueve "entonces" iré al cine

Cada conectivo da origen a una operación proposicional.

Hay una operación que es unitaria ya que la obtenemos con una sola operación simple
“negándola”, el resto de las operaciones son binarias ya que se obtienen con dos
proposiciones.

• Negación

Dada una proposición ‫ ݌‬llamamos ݊‫(݌ ݋‬−‫݌‬, ∼‫ )݌‬a la que se obtiene anteponiendo
al verbo principal el conectivo "݊‫"݋‬.Ejemplo:

• "2 es un número impar" (p)

• "2 no es un número impar" (-p)
Esta última puede expresarse también “2 es un número par”.

(−‫)݌‬: ‫݅ܿ݅ݏ݋݌݋ݎ݌‬ó݊ ܿ‫ܽݐݏ݁ݑ݌݉݋‬

Esta operación proposicional la definimos mediante una tabla de verdad

࢖ −࢖
ܸ ‫ܨ‬
‫ܨ‬ ܸ

• Conjunción o producto lógico

Dadas 2 proposiciones ‫݌‬, ‫ ݍ‬se obtiene una nueva uniéndolas con el conectivo “y”
que simbolizamos ‫ ݍ ∧ ݌‬cuyo valor está dado por la siguiente tabla. Observamos
que sólo es verdadera cuando ambas proposiciones son verdaderas
simultáneamente.

Ema Aveleyra Página 4

 5
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

࢖ ࢗ ࢖∧ࢗ
ܸ ܸ ܸ
ܸ ‫ܨ‬ ‫ܨ‬
‫ܨ‬ ܸ ‫ܨ‬
‫ܨ‬ ‫ܨ‬ ‫ܨ‬

• Disyunción o suma lógica

Dadas 2 proposiciones ‫݌‬, ‫ ݍ‬se obtiene una nueva proposición ‫ݍ ∨ ݌‬. El valor de
verdad depende de la siguiente tabla:

࢖ ࢗ ࢖∨ࢗ
ܸ ܸ ܸ
ܸ ‫ܨ‬ ܸ
‫ܨ‬ ܸ ܸ
‫ܨ‬ ‫ܨ‬ ‫ܨ‬
Ejemplo:

• "Mañana iré al cine o al teatro"

Sólo será F si los valores de verdad de ambas proposiciones simples son F.

• Disyunción excluyente

Dadas 2 proposiciones ‫݌‬, ‫ ݍ‬se obtiene una nueva proposición p∨q. El valor de
verdad depende de la siguiente tabla:

࢖ ࢗ p ∨q
ܸ ܸ ‫ܨ‬
ܸ ‫ܨ‬ ܸ
‫ܨ‬ ܸ ܸ
‫ܨ‬ ‫ܨ‬ ‫ܨ‬

Ema Aveleyra Página 5

 6
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

• Implicación material

Dadas 2 proposiciones ‫݌‬, ‫ ݍ‬en un cierto orden, mediante esta operación se obtiene
otra compuesta “si p entonces q”, que simbolizamos: ‫ݍ ⟶ ݌‬

࢖ ࢗ ࢖⟶ࢗ
ܸ ܸ ܸ
ܸ ‫ܨ‬ ‫ܨ‬
‫ܨ‬ ܸ ܸ
‫ܨ‬ ‫ܨ‬ ܸ
Ejemplo:

• ܵ݅ ᇣ
ܽ‫݋ܾ݁ݑݎ݌‬ ݈‫ݔ݁ ݏ݋‬á݉݁݊݁‫ ݏ݁ܿ݊݋ݐ݊݁ ݏ‬ᇣ
ᇧᇧᇧᇧᇧᇧᇤᇧᇧᇧᇧᇧᇧᇥ ‫݁ݐ‬ᇧ‫݋ݐݏ݁ݎ݌‬
ᇧᇧᇧᇧᇤᇧ ݈݁ᇧᇧ
݈ܾ݅‫݋ݎ‬
ᇧᇧᇥ
௣ ௤
௔௡௧௘௖௘ௗ௘௡௧௘ ௖௢௡௦௘௖௨௘௡௧௘
(ு) (்)

Esta proposición será F únicamente si el estudiante aprueba y no presta el libro.

Sólo es F sí el antecedente es V y el consecuente F.

Si ‫ ݍ ⟶ ݌‬es V, se dice que p es condición suficiente para q y q es condición

necesaria para p.

• Equivalencia material

Es la operación proposicional mediante la cual dadas 2 proposiciones ‫ ݌‬y ‫ ݍ‬en un

cierto orden se obtiene otra vinculándolas con el conectivo si y sólo si ‫ݍ ↔ ݌‬

࢖ ࢗ ࢖↔ࢗ
ܸ ܸ ܸ
ܸ ‫ܨ‬ ‫ܨ‬
‫ܨ‬ ܸ ‫ܨ‬
‫ܨ‬ ‫ܨ‬ ܸ
Ejemplo:

• ᇣ ݁‫݊ ݊ݑ ݏ‬ú݉݁‫ݏ ݕ ݅ݏ ݎܽ݌ ݋ݎ‬ó݈‫ ݅ݏ ݋‬ᇣ

4 ᇧᇧᇧᇧᇧᇤᇧᇧᇧᇧᇧᇥ ݁‫ݏ‬ᇧ݀݅‫݈ܾ݁݅ݏ݅ݒ‬
ᇧᇧᇧᇧᇤᇧᇧᇧ ‫ݎ݋݌‬
ᇧᇧᇥ2
௣ ௤

Ema Aveleyra Página 6

 7
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

Determinación del valor de verdad de una proposición compuesta

En los siguientes ejemplos podemos calcular el valor de verdad de las proposiciones

compuestas conociendo el valor de verdad de las proposiciones componentes.

Ejemplo 1:

"ܵ݅ ‫݋ݎݐܽ݁ݐ ݈ܽ ݏܽݒ ݏ݁ܿ݊݋ݐ݊݁ ݁݊݅ܿ ݈ܽ ݏܽݒ‬, ݅݉‫"݋ݎݐܽ݁ݐ ݈ܽ ݏܽݒ ݋ ݁݊݅ܿ ݈ܽ ݏܽݒ ݁ݑݍ ݈ܽܿ݅݌‬

Vas al cine: ‫݌‬

Vas al teatro: ‫ݍ‬
•
•

Formalizando (‫)ݍ ∨ ݌( → )ݍ → ݌‬

࢖ ࢗ ࢖→ࢗ ࢖∨ࢗ (࢖ → ࢗ) → (࢖ ∨ ࢗ)
ܸ ܸ ܸ ܸ ܸ
ܸ ‫ܨ‬ ‫ܨ‬ ܸ ܸ
‫ܨ‬ ܸ ܸ ܸ ܸ
‫ܨ‬ ‫ܨ‬ ܸ ‫ܨ‬ ‫ܨ‬
Ejemplo 2:

"ܰ‫ݎܽݖ݅݊ܽݎ݃ ݏ݁ܿ݊݋ݐ݊݁ ݁ݒ݁ݑ݈݈ ݅ݏ ݁ݑݍ ݋ݐݎ݁݅ܿ ݏ݁ ݋‬á ‫ݎܽݒ݁݊ ݋‬á"

݈݈‫݁ݒ݁ݑ‬: ‫݌‬
݃‫ݎܽݖ݅݊ܽݎ‬á: ‫ݍ‬
•

݊݁‫ݎܽݒ‬á: ‫ݎ‬
•

‫ ∶ ܫ‬ሾ‫)ݎ ∨ ݍ( → ݌‬ሿ
•

−‫ܫ‬: −ሾ‫)ݎ ∨ ݍ( → ݌‬ሿ

•
•

࢖ ࢗ ࢘ ࢗ∨࢘ ࢖ → (ࢗ ∨ ࢘) −ࡵ
ܸ ܸ ܸ ܸ ܸ ‫ܨ‬
ܸ ܸ ‫ܨ‬ ܸ ܸ ‫ܨ‬
ܸ ‫ܨ‬ ܸ ܸ ܸ ‫ܨ‬
ܸ ‫ܨ‬ ‫ܨ‬ ‫ܨ‬ ‫ܨ‬ ܸ
‫ܨ‬ ܸ ܸ ܸ ܸ ‫ܨ‬
‫ܨ‬ ܸ ‫ܨ‬ ܸ ܸ ‫ܨ‬
‫ܨ‬ ‫ܨ‬ ܸ ܸ ܸ ‫ܨ‬
‫ܨ‬ ‫ܨ‬ ‫ܨ‬ ‫ܨ‬ ܸ ‫ܨ‬

Ema Aveleyra Página 7

 8
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

Las proposiciones compuestas obtenidas son verdaderas en algunos casos y falsas en

otros.

Clasificación de las proposiciones por su valor de verdad

Las proposiciones compuestas se clasifican en:

Contingentes: cuando su valor de verdad es o bien V o F

‫݆ܧ‬: (‫)ݍ ∨ ݌( → )ݍ → ݌‬

Tautológicas o tautologías: cuando el valor de verdad es siempre V

‫݆ܧ‬: (‫݌ → )ݍ ∧ ݌‬

Contradicción o contradictorias: cuando su valor de verdad es siempre F

‫݆ܧ‬: ‫( ∧ ݌‬−‫)݌‬

Implicación y equivalencia formal

Ejemplo: (‫݌ ⇒ )ݍ ∧ ݌‬.

Si una implicación material es tautológica decimos que dicha implicación es formal.

Si hacemos la tabla correspondiente el resultado es siempre V.

En el caso de la equivalencia formal se anota ⟺

‫݆ܧ‬: ሾ(‫ݎ ∧ )ݍ ∨ ݌‬ሿ ⟺ ሾ(‫)ݎ ∧ ݍ( ∨ )ݎ ∧ ݌‬ሿ

Esto nos permite reemplazar las proposiciones por otras más simples o convenientes.

A continuación enunciaremos algunas de las leyes lógicas o tautologías más usuales.

Leyes lógicas, tautologías usuales

1) Leyes de la identidad

‫݌⇔݌‬
‫݌⇔ ݒ∧݌‬
‫݂⇔ ݂∧݌‬
‫ݒ⇔ ݒ∨݌‬
‫݌⇔ ݂∨݌‬
2) Ley de la involución

−(−‫݌ ⇔ )݌‬
Ema Aveleyra Página 8
 9
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

3) Leyes de asociatividad

a. de la conjunción (‫)ݎ ∧ ݍ( ∧ ݌ ⇔ ݎ ∧ )ݍ ∧ ݌‬
b. de la disyunción (‫)ݎ ∨ ݍ( ∨ ݌ ⇔ ݎ ∨ )ݍ ∨ ݌‬

4) Leyes de conmutatividad

a. de la conjunción (‫)݌ ∧ ݍ( ⇔ )ݍ ∧ ݌‬
b. de la disyunción (‫)݌ ∨ ݍ( ⇔ )ݍ ∨ ݌‬

5) Leyes de distributividad

a. de la conjunción respecto de la disyunción (‫)ݎ ∧ ݍ( ∨ )ݎ ∧ ݌( ⇔ ݎ ∧ )ݍ ∨ ݌‬

b. de la disyunción respecto de la conjunción (‫)ݎ ∨ ݍ( ∧ )ݎ ∨ ݌( ⇔ ݎ ∨ )ݍ ∧ ݌‬

6) Leyes idempotentes

a. de la conjunción (‫݌ ⇔ )݌ ∧ ݌‬
b. de la disyunción (‫݌ ⇔ )݌ ∨ ݌‬

7) Ley de absorción

‫݌ ⇔ )݌ ∨ ݍ( ∧ ݌ ⇔ )݌ ∧ ݍ( ∨ ݌‬

8) Leyes de Morgan

a. de la conjunción −(‫( ⇔ )ݍ ∧ ݌‬−‫( ∨ )݌‬−‫)ݍ‬

b. de la disyunción −(‫( ⇔ )ݍ ∨ ݌‬−‫( ∧ )݌‬−‫)ݍ‬

9) Ley de contrarrecíprocos

(‫( ⟺ )ݍ → ݌‬−‫( → )ݍ‬−‫)݌‬

10) Ley del silogismo hipotético

ሾ(‫)ݎ → ݍ( ∧ )ݍ → ݌‬ሿ ⇒ (‫)ݎ → ݌‬

Ema Aveleyra Página 9

 10
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

11) Ley de Reducción de la simplificación

(‫( ⇔ )ݍ → ݌‬−‫ݍ ∨ )݌‬

12) (‫݂ ⇔ )݌∼ ∧ ݌( ; ݒ ⇔ )݌∼ ∨ ݌‬

Implicaciones asociadas

En todas las ciencias deductivas los enunciados de los teoremas son implicaciones
formales cuyo antecedente es la hipótesis y su consecuente es la tesis.

‫ܶ⟹ܪ‬ ‫ݍ⟹݌‬ ݁‫ܽ݉݁ݎ݋݁ݐ ݊ݑ ݏ‬

Cuando se debe demostrar un teorema se debe demostrar ‫ܶ ⟹ ܪ‬. Sabiendo que ‫ ܪ‬es
verdadera, la implicacion será (‫ )ݒ‬siempre que probemos que la ܶ es (‫ )ݒ‬mediante
razonamientos lógicos.

A expensas de esta implicación se pueden obtener otras proposiciones como se indican en

el siguiente esquema:

Recíprocas

p→q q→p

Contrarias

-p →-q -q →-p

Las implicaciones indicadas con flechas, llamadas contrarrecíprocas, son equivalentes

(tautologías).

Veamos el siguiente ejemplo de una proposición y sus asociadas.

ܵ݅ ‫݅ݎݐ ݊ݑ‬á݊݃‫݈݅ݑݍ݁ ݏ݁ ݋݈ݑ‬á‫݅ݎݐ ݊ݑ ݏ݁ ݏ݁ܿ݊݋ݐ݊݁ ݋ݎ݁ݐ‬á݊݃‫ݏ݅ ݋݈ݑ‬ó‫)ܸ( ݏ݈݁݁ܿݏ‬

‫ݍ⇒݌‬

ܵ݅ ‫݅ݎݐ ݊ݑ‬á݊݃‫݈݅ݑݍ݁ ݏ݁ ݋݊ ݋݈ݑ‬á‫݅ݎݐ ݊ݑ ݏ݁ ݋݊ ݏ݁ܿ݊݋ݐ݊݁ ݋ݎ݁ݐ‬á݊݃‫ݏ݅ ݋݈ݑ‬ó‫)ܨ( ݏ݈݁݁ܿݏ‬

−‫ ⇒ ݌‬−‫ݍ‬

ܵ݅ ‫݅ݎݐ ݊ݑ‬á݊݃‫ݏ݅ ݏ݁ ݋݈ݑ‬ó‫݅ݎݐ ݊ݑ ݏ݁ ⇒ ݏ݈݁݁ܿݏ‬á݊݃‫݈݅ݑݍ݁ ݋݈ݑ‬á‫)ܨ( ݋ݎ݁ݐ‬

‫݌⇒ݍ‬

Ema Aveleyra Página 10

 11
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

ܵ݅ ‫݅ݎݐ ݊ݑ‬á݊݃‫ݏ݅ ݏ݁ ݋݊ ݋݈ݑ‬ó‫݅ݎݐ ݊ݑ ݏ݁ ݋݊ ݏ݁ܿ݊݋ݐ݊݁ ݏ݈݁݁ܿݏ‬á݊݃‫݈݅ݑݍ݁ ݋݈ݑ‬á‫)ܸ( ݋ݎ݁ݐ‬

−‫ ⇒ ݍ‬−‫݌‬

Ejemplo de demostración.

Una implicación y su contrarrecíproca son equivalentes:

࢖ → ࢗ ⇔ ∼ ࢗ →∼ ࢖

࢖→ࢗ

∼‫ݍ∨݌‬ Ley de Reducción de la Implicación

∼ ‫)ݍ ∼( ∼∨ ݌‬ Ley de involución

∼ (∼
ᇣᇤᇥ‫∼ ∨ )ݍ‬
ต ‫݌‬ Ley de conmutatividad de V
௧ ௦

∼‫ݏ∨ݐ‬

‫ݏ→ݐ‬ Ley de Reducción de la →

∼ࢗ→∼࢖

Ema Aveleyra Página 11

 12
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

Función proposicional

Se dice que p(x) es una función proposicional en la variable x, con dominio en un conjunto
A≠φ, si existe por lo menos algún reemplazo de la variable que la transforma en
proposición.

Así: x es número natural par y x<5

Es una función proposicional compuesta formada por p(x): es número natural par, q(x):
x<5. Los números que la transforman en proposición son infinitos, así x=1 transforma la
función proposicional en una proposición falsa, en cambio x=2 la transforma en una
proposición verdadera.

El subconjunto de números naturales que la transforman en proposición verdadera se

llama Conjunto de Validez de p(x): Vp.

 
En el ejemplo anterior Vp=  2,4 
 

Consideremos la función proposicional r(x): x es número natural par y x<2, definida en N.

En este caso, el conjunto de validez de r(x) es: Vp=φ

Cuantificadores

Dada la siguiente ecuación en ℜ:

x= 2+3

ܾܵܽ݁݉‫݅ܿ݅ݏ݋݌݋ݎ݌ ݏ݁ ݋݊ ݁ݑݍ ݏ݋‬ó݊, ‫ܨ ݋ ܸ ݏ݁ ݅ݏ ݎ݅ܿ݁݀ ݋݀݅ݐ݊݁ݏ ݁݊݁݅ݐ ݋݊ ݁ݑݍ ܽݕ‬

Pero se puede transformar en proposición mediante 2 procedimientos:

2= 2+3 (F)
a. Reemplazando a x por un número real cualquiera como vimos anteriormente.

b. Anteponiendo a esa expresión las palabras llamadas cuantificadores:

para todo ∀ (cuantificador universal)
existe por lo menos uno ∃ (cuantificador existencial)

Ejemplos en N:

ܲܽ‫ݔ ݋݀݋ݐ ܽݎ‬: ‫ = ݔ‬2+3 (‫)ܨ‬

Ema Aveleyra Página 12

 13
INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

‫∕ ݔ ݊ݑ ݏ݋݊݁݉ ݋݈ ݎ݋݌ ݁ݐݏ݅ݔܧ‬ ‫= ݔ‬2+3 (ܸ)

Esta última es verdadera, porque existe por lo menos un número natural x=5 que cumple
con esa igualdad.

Para negar una función proposicional cuantificada existencialmente (universalmente) se

cambia al cuantificador universal (existencial) y se niega la función proposicional.

∼ [ ∀ x : p( x) ] ⇔ ∃ x / ∼ p ( x )

∼ [ ∃ x / p( x) ] ⇔ ∀ x : ∼ p( x)

Ejemplos:

a) ∀ x ∈ N : x + 2 ≤ 6 (F)

Su negación es:

∃ x ∈ N : x + 2 > 6 (V)

Es verdadera ya que existe, por lo menos, x=7 tal que 7+2>6.

b) ∀ x ∈ N : x = 2m (F)

En lenguaje coloquial podemos leerla como: “todos los números naturales son pares”.

Su negación es: ∼( ∀ x ∈ N : x = 2m )

∃ x ∈ N : x = 2m + 1 (números impares) (V)

En lenguaje coloquial decimos que: “no todos los números naturales son pares”, “hay
números naturales que son impares”, “existen algunos números naturales que son
impares”.

Ema Aveleyra Página 13

 14
Introducción a la Lógica Matemática: Ejercitación

Introducción a la Lógica Matemática:

Ejercitación
Álgebra para Ciencias Económicas

Ema Aveleyra

Página 1
 15
Introducción a la Lógica Matemática: Ejercitación

1) Escribir en lenguaje usual sabiendo que p: los precios son altos y q: los precios suben.

a) p
b) (p)
c) pq
d) pq
e) pq
f) (pq)
g) pq

2) Realizar las tablas de verdad de las siguientes proposiciones compuestas y reemplazarlas

por enunciados.

 Ejemplo. Si agosto tiene 31 días y junio tiene 30 días entonces agosto tiene 31 días.
p: Agosto tiene 31 días
q: Junio tiene 30 días

a)
b)
c)

3) Identificar las proposiciones simples, asignarles una letra y escribirlas con los conectivos
correspondientes. Luego, determinar el valor de verdad de las proposiciones compuestas.

a) 5+3=8 -1<-3
b) 5+3=8 -1<-3
c)
d)
e) No es cierto que 10 sea un número primo
f) Si 4 no es número impar entonces 8 es divisible por 2.

4) Indicar cuáles son condiciones necesarias o suficientes:

a) p: n es un número par
q: n es divisible por 4

Página 2
 16
Introducción a la Lógica Matemática: Ejercitación

b) p: ABCD es rectángulo
q: ABCD es paralelogramo

c) p: x es un número par
q: x+1 es un número impar

5) Dada la siguiente proposición, escribir todas las asociadas e indicar su valor de verdad.

Si 2 es un número primo entonces 3 es número impar.

6) Dado el conjunto , hallar el valor de verdad de los siguientes enunciados:

x A / x  3  9

x A : x  3  9

x A : x  3  9
7) Expresar simbólicamente usando cuantificadores, dar su valor de verdad y negarlas.

a) Hay algún número que no es primo

b) Existe algún número real tal que su cubo es 8
c) No existe un número real tal que su cuadrado sea 4
d) No todo número par es divisible por 6
e) Todo cuadrado es un rectángulo
f) Todo número entero es racional

8) Determinar el valor de verdad de los siguientes enunciados y negarlos.

a) x : x 2  x
b) x N / 3x  x
c) x Z / x  2k

d) x / x 2  2 x  1  0
e) x / x 2  x  1  0
f) x  Z : ( x  5  x  x  3)

Página 3