Cátedra: Elementos de Aritmética y Álgebra - I.E.S.
Aguilares
Profesora: Rojas Juárez Noelia
CARRERA: Profesorado de Educación Secundaria en
Matemática
ESPACIO CURRICULAR: Elementos De Aritmética y Álgebra.
DOCENTE A CARGO: Rojas Juárez Noelia.
CURSO: 1° Año.
HORARIOS: lunes y viernes de 16.15 a 18.15
AÑO LECTIVO: 2024
Página 1
Cátedra: Elementos de Aritmética y Algebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
MARCO TEÓRICO PRÁCTICO
LÓGICA MATEMATICA
Lógica
La lógica es una ciencia formal que estudia la estructura o formas del pensamiento
humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios
válidos para obtener criterios de verdad. Utiliza un lenguaje exacto que no da lugar a
imprecisiones.
Lógica matemática
La lógica matemática o proposicional es la rama de la lógica que estudia las variables
proposicionales. Son las leyes del razonamiento en matemática.
Proposiciones
La proposición no es otra cosa que una oración del lenguaje cotidiano con un significado
mucho más limitado, en tales condiciones, se puede considerar una proposición como una
expresión lingüística que tiene la propiedad de ser verdadera o falsa, y para simplificar la
escritura de argumentos lógicos complicados; crea un lenguaje simbólico artificial, en donde
establece un conjunto de reglas claras, bien definidas y que no presentan las ambigüedades ni
vaguedades del lenguaje corriente. Es importante tener en cuenta que las proposiciones
representan oraciones declarativas, las cuales contienen un sujeto perfectamente definido o dado
por el contexto, un predicado y una conjugación del verbo ser.
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas
del alfabeto tales como p, q, r, s, … y, z, las cuales reciben el nombre de letras o variables
proposicionales, de esta forma, el lenguaje proposicional se hace más simple y exacto que el
lenguaje natural cotidiano. Es decir, se puede establecer una relación biunívoca entre el lenguaje
natural y el lenguaje formal. Estas proposiciones generalmente se llaman frases u oraciones
simples.
Es importante tener en cuenta que las proposiciones son oraciones declarativas y tienen una
estructura definida así un sujeto bien definido, un predicado y una conjugación de un verbo. El
simple sustantivo o sujeto no configura una proposición.
Ejemplos:
p: La luna es un satélite natural de la tierra.
q: El dos es un número primo.
r: 4+3 = 7
s: 32 + 42 = 52
t: New York es llamada la capital del mundo.
Página 2
Cátedra: Elementos de Aritmética y Álgebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
Existen enunciados que no son proposiciones, porque no es posible establecer su valor de
verdad por ejemplo:
p: ¿Qué hora es?
q: ¡Millonario será el próximo campeón!
r: Mañana lloverá.
t: ojalá que pasen el examen de matemáticas.
w: x+7 = 18
Clases de proposiciones
Las proposiciones se pueden clasificar en proposiciones simples y compuestas.
Proposiciones simples: Son aquellas oraciones que carecen de conectivos lógicos.
Ejemplos:
p: La lluvia es un fenómeno natural.
q: 5 es el inverso aditivo de -5.
r: Bolivia no tiene costas marítimas.
Proposiciones compuestas: Son aquellas proposiciones se forman al combinar proposiciones
simples con los conectivos lógicos o términos de enlaces.
Ejemplos
p: Estudio.
q: Apruebo el semestre.
p →q: si estudio entonces apruebo el semestre.
s: un triángulo es equilátero.
t: un triángulo que tiene los tres lados iguales.
s ↔ t: un triángulo es equilátero si y solo si tiene sus tres lados iguales.
p: Gloria canta
q: Luisa es estudiante.
p ^q: Gloria canta y Luisa es estudiante.
CONECTIVOS LOGICOS
Son términos que sirven para enlazar proposiciones simples, estos son: la conjunción,
disyunciones, la negación el condicional, bicondicional.
Página 3
Cátedra: Elementos de Aritmética y Algebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
Conectivo Operac. Asociada Ejemplo fórmula
~, ¬ Negación El numero 1 NO es un número primo ~p
ᴧ Conjunción 2 es un número par y es primo pᴧq
pVq
V Disyunción incluy 25 tiene por raíz -5 o 5
V Disyunción -(-2)2 es positivo o negativo pV q
excluy.
=˃ Condicional Si el triángulo es equilátero entonces p =˃ q
es isósceles
Un número entero es par si y solo si
<=˃ Bicondicional es divisible entre 2 p <=˃q
TABLA DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS
Conjunción o Producto Lógico
Sean p y q dos proposiciones simples. La proposición compuesta p ᴧ q se denomina
conjunción.
Ejemplo 1: La proposición compuesta “5 es un número impar y es un entero positivo”.
Está formada por:
p: 5 es un número impar.
q: entero positivo.
ᴧ: Conjunción
Para determinar la tabla de verdad, para la conjunción. Analizaremos la siguiente
proposición.
p: 8 es un número par (v)
q: 5 es un número primo (v)
p ᴧ q: verdadero
p: 8 no es un número par (f)
q: 5 es un número primo (v)
p ᴧ q: falso
p: 8 es un número par (v)
Página 4
Cátedra: Elementos de Aritmética y Álgebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
q: 5 no es un número primo (f)
p ᴧ q: falso
p: 8 no es un número par (f)
q: 5 no es un número primo (f)
p ᴧ q: falso
Conclusión: La conjunción es verdadera, cuando las dos proposiciones son verdaderas, en los
demás casos es falsa.
p q pᴧq
V V V
V F F
F V F
F F F
LA DISYUNCION O SUMA LÓGICA
Sean p y q dos proposiciones simples. La proposición compuesta p o q, simbolizada por p
˅ q se llama disyunción.
El operador "o" se puede usar como "o incluyente" o como "o excluyente". En el primer
caso hace que el valor de verdad de una de las proposiciones simple repercuta en el valor
verdadero de la proposición disyuntiva, mientras que el segundo caso (o excluyente) el valor de
verdad de una de la proposición, excluye la veracidad de la otra.
La tabla de verdad de la "inclusiva" o "exclusiva" se puede resumir
p q pvq p q pV q
V V V V V F
V F V V F V
F V V F V V
F F F F F F
LA NEGACIÓN
Sea p, una proposición simple, se define la negación mediante la proposición compuesta
no p, simbolizada por ¬ p.
Página 5
Cátedra: Elementos de Aritmética y Algebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
Su tabla de verdad se puede resumir así:
Una proposición simple, se puede negar de varias maneras.
Ejemplos:
Negar las siguientes proposiciones:
1. Sea p: el 7es un número primo
Solución
¬ p: no es cierto que el 7sea un número primo
¬ p: el 7 es un número compuesto
2
2. Sea q: 7 = 49
Solución
¬ p: No es cierto que 72 = 49
¬ p: 72 ≠ 49
3. Sea r: todos los peces viven bajo el agua
Solución
¬ p: algunos peces no viven bajo el agua
4. Sea s: Algunas plantas son medicinales
Solución
—p: ninguna planta es medicinal
EL CONDICIONAL O IMPLICACION
Se dice que una proposición compuesta por el condicional, si está formada por dos
proposiciones simples entrelazadas por la expresión: si...., entonces,..
La mayoría de las proposiciones matemáticas o teoremas tienen esta estructura
p =˃ q
Antecedente Consecuente
Hipótesis Conclusión
Se puede de enunciar de varias formas
• p entonces q
• p solo si q
• que si p
• p es suficiente para q
Página 6
Cátedra: Elementos de Aritmética y Álgebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
• q es necesaria para p
Analicemos el valor de verdad para el condicional
1. Sean p y q verdaderas
p → q es verdadera
Si se parte de una hipótesis verdadera y nuestro razonamiento ha sido correcto nos
conduce a una conclusión verdadera, por lo tanto, la implicación es verdadera.
2. Si p es verdadera y q es falsa:
p → q es falsa
Si la hipótesis es verdadera, nos conduce a una conclusión falsa, es porque hemos
cometido un error en el razonamiento y finalmente el condicional es falso.
3. Si p es falsa y q es verdadera
p → q es verdadero
Si se parte de una hipótesis falsa y razonando correctamente, podemos llegar a una
conclusión verdadera. En caso, el condicional es verdadero.
4. si p y q son falsas
p → q es verdadero
Si partimos de una hipótesis falsa y razonando correctamente podemos llegar a una
conclusión falsa. Por tanto, el condicional es verdadero.
p q p→q
V V V
V F F
F V V
F F V
CONDICIÓN NECESARIA O SUFICIENTE
Analice las siguientes implicaciones:
1. p: Existe fuego
q: Hay presencia de oxigeno
p→q : Si existe fuego entonces hay presencia de oxigeno.
En este caso, es suficiente que haya fuego para comprobar la presencia de oxigeno: P es
suficiente para q. En cambio, es necesario que exista la presencia de oxigeno para que se
produzca el fuego: q es necesaria para p.
LA RECÍPROCA Y LA CONTRARRECÍPROCA
A partir de la implicación o condicional p → q se puede obtener otros dos condicionales
fundamentales cuando se trabaja los teoremas. Estas dos condicionales son:
Página 7
Cátedra: Elementos de Aritmética y Algebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
1. La reciproca de p → q es q → p
2. La contra recíproca de p → q es q → p
Ejemplo 1:
Si 3 es un número impar entonces (3)2 es impar Hallar la reciproca
y su valor de verdad
Reciproca: si (3)2 es impar, entonces 3 es impar.
El valor verdadero de éste condicional q es verdadero y p es verdadero, en el
condicional es verdadero.
Contra recíproca: si (3)2 no es impar, entonces 3 no es impar.
El valor de verdad de este condicional es q es falso y p es falso y el condicional es
verdadero.
EL BICONDICIONAL
Se denomina bicondicional a la proposición formada por dos proposiciones simples
p y que conectada con la expresión: "si y solo si", simbólicamente lo podemos expresar,
así: p <=˃ q
Esta proposición está formada por las implicaciones p → q y q → p, las cuales deben
de tener el mismo valor de verdad, para formar la equivalencia entre p y q; en
consecuencia se dice que p es equivalente a q y se acostumbra a escribir p ↔ q.
Esta equivalencia entre p y q, tiene más de una traducción que significa lo mismo:
p si y solo q si p entonces q recíprocamente
q si y solo p si q entonces p recíprocamente
TABLAS DE VERDAD PARA EQUIVALENCIA
p q p↔q
V V V
V F F
F V F
F F V
CONSTRUCCION DE TABLAS DE VERDAD
Página 8
Cátedra: Elementos de Aritmética y Álgebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
En la construcción de tablas de verdad debemos tener los siguientes hechos:
1. Determinar el número posibles de combinaciones. Si hay n proposiciones, el
número de combinaciones será 2ⁿ.
2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla, así
por ejemplo:
Si hay tres proposiciones, el número de combinaciones serán 2³ = 8; por lo tanto
para la primera proposición serán 4 verdaderas y 4 falsas; para la segunda
proposición 2 verdaderas y 2 falsas; para la tercer: una verdadera y la otra falsa.
Ejemplos
1. Construir la tabla de verdad para: p → q ↔ (¬ p → ¬ q)
p q ¬p ¬q p→q ¬p→¬q p → q ↔ (¬ p → ¬ q)
V V
V F
F V
F F
2. Construir la tabla de verdad [ r ˄ s] → q ↔ [ ( s ˄ ¬ q ) → ¬ r ]
q r s ¬q ¬r r˄s (r˄s)→q s˄¬q s ˄ ¬ q→ ¬ r A↔B
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Página 9
Cátedra: Elementos de Aritmética y Algebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
CONSTRUIR LA TABLA DE VERDAD APROPIADA PARA DEMOSTRAR O REFUTAR
p→(q˄r)=p˄ ¬ r→q
p q r ¬r q ˄ r p → ( q ˄ r )p ˄ ¬ r p ˄ ¬ r → q A=B
V V V
V V F
V F V
V F V
V F F
F V V
F V F
F F V
F F F
OBS: En la última columna de una tabla de verdad pueden suceder 3 casos:
1. Si todos los valores son VERDADEROS, se dice que la proposición es
TAUTOLOGÍA.
2. Si todos los valores son FALSOS, se dice que la proposición es una
CONTRADICCION.
3. Si aparecen valores de verdaderos y falsos, se dice que la proposición es una
INCONSISTENCIA.
Página
10
Cátedra: Elementos de Aritmética y Álgebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
LEYES DEL ALGEBRA DE PROPOSICIONES
Las siguientes son las leyes de la lógica de proposiciones.
1. IDEMPOTENCIA
P˅P↔P
P˄P↔P
2. CONMUTATIVA
p˄q↔q˄p
p˅q↔q˅p
3. ASOCIATIVA
(p˅q)˅r↔p˅(q˅r)
(p˄q)˄r↔p˄(q˄r)
4. DISTRIBUTIVA
(p ˄ q) ˅ r ↔ ( p ˅ r ) ˄ ( q ˅ r )
(p ˅ q) ˄ r ↔ ( p ˄ r ) ˅ ( q ˄ r )
5. IDENTIDAD
p˅0↔p p˅1↔1
p˄0↔0 p ˅ 1↔ p
6. COMPLEMENTO
p˅¬p↔1 p˄¬p↔0
¬(¬p)↔p ¬1↔0, ¬0↔1
7.LEYES DE MORGAN
¬(p˄q)↔¬p˅¬q
¬(p˅q)↔¬p˄¬q
Estas leyes son formuladas por pares de debido a la naturaleza dual del Algebra de
proposiciones.
Página
11
Cátedra: Elementos de Aritmética y Algebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
Profesorado: de Educación Secundaria en Matemática
Cátedra: Elementos de Aritmética y Álgebra
Profesora: Rojas Juárez Noelia
Apellido y Nombre: D. N. I.:
Fecha de presentación:
TRABAJO PRÁCTICO N° 1
1. Indicar cuáles de los siguientes enunciados son proposiciones. Justificar su
respuesta.
a: La tierra es plana.
b: -17 + 38 = 21
c: x > y-9
d: Hola ¿como estas?
e: Lava el coche por favor.
f: El agua tiene oxígeno.
g: El conjugado de un número complejo.
h: 6 + 7= 13
i: 3 - 2= 5
j: ¿Leyó la teoría antes de empezar este práctico?
k: 8² ≤ 64
l: Existe un número racional x tal que 3x=5
m: Para todo número entero x, 3x=5
2. Indicar si las siguientes proposiciones son verdaderas o falsas. En el caso de ser
falsa enunciar la proposición de manera que sea verdadera.
a: El número 10 es múltiplo de 5.
b: 15 es divisor de 236
c: Un triángulo escaleno tiene sus tres lados desiguales.
d: La suma de los ángulos interiores de todo triángulo es 360.
e: Todo rectángulo tiene dos pares de lados consecutivos iguales.
f: Un número es compuesto cuando admite más de dos divisores.
g: 49 es un número par.
h: 36 + 64 = 100.
3. Clasificar las siguientes proposiciones en simples o compuestas.
a: 2 es divisor de 24 y es un número par.
b: 80 es un número compuesto.
Página
12
Cátedra: Elementos de Aritmética y Álgebra - I.E.S. Aguilares
Profesora: Rojas Juárez Noelia
c: Si un número es divisor de 2 y de 3 a la vez, entonces es divisor de 6.
d: √ 16 es 4 o -4
e: √ -9 es -3 o 3 i
f: El perímetro de una figura es igual a la suma de los lados.
g: Un número entero es para sí y solo si es divisible por 2.
h: 19 es un número primo.
4. Representar simbólicamente las proposiciones compuestas del ejercicio 3,
diferenciando las proposiciones simples y utilizando los conectivos necesarios.
5. Sea p: “Hoy es lunes”; q: “mañana será martes”; y r: “Ayer fue domingo”. Escribir
cada una de las siguientes proposiciones en términos de p, q, r y conectivos lógicos:
a) Mañana será martes u hoy es lunes.
b) Ayer no fue domingo y mañana es martes.
c) Si hoy es lunes y ayer fue domingo, entonces mañana será martes
6. Negar cada una de las siguientes proposiciones:
a) 7 – 9 ≤ −5
b) 8 es un entero par y 4 es un entero impar.
c) Mañana lloverá o nevará.
d) Si usted va en auto, entonces yo caminaré.
e) Si hace frío y nieva, no viajaré a casa.
8.
9. Elaborar la tabla de verdad de las siguientes proposiciones compuestas.
Clasificarlas.
a. (¬ p˄q)˅p e. a ᴧ ( b ˅ c )
b. ¬(p˄q)→¬q f. [ ( a ᴧ b ) ᴧ ¬( a ˅ b ) ] ᴧ c
c. ¬(p˅q)↔¬p˄¬q g. ¬ [ ( ¬p ˅ q ) ˄ ( p → q ) ]
d. (¬p˅q)˅r h. [ ( a → b ) ˄ ( b → c ) ] → ( a → c )
Página
13
