Lógica matemática

MAT 627: ALGEBRA ABSTRACTA

Dr. Leonardo Torres Pagán
29 de septiembre de 2018
Agenda
1 Bienvenida . Asistencia
2 Reflexión
3 Housekeeping
4 Parte 1: Proposiciones y cuantificadores. Práctica y Ejercicio 1
5 Primer receso
6 Parte 2: Proposiciones compuestas. Práctica y Ejercicio 2
7 ALMUERZO
8 Parte 3: Tablas de verdad. Práctica y Ejercicio 3
9 Segundo receso
10 Foro
11 Tarea 1
12 Próximos pasos
 Agenda
1 Bienvenida . Asistencia
2 Reflexión
3 Housekeeping
4 Parte 1: Proposiciones y cuantificadores
5 Práctica y Ejercicio 1
6 Primer receso
7 Parte 2: Proposiciones compuestas
8 Práctica y Ejercicio 1
9
Housekeeping
Horario de trabajo
8:30 – 9:45am, 10:00pm – 12:00pm
1:00 – 2:30pm, 3:00pm – 4:00pm
Implicaciones
Uso de recursos electrónicos
Acceso a la plataforma Moodle

Criterios específicos de notas y asistencia según Catálogo CC

Reflexión inicial
Proposición
Una proposicion ( denotada por una letra p, q, ) es una oracion que, o
bien es verdadera o bien es falsa, pero no ambas a la vez. La verdad o
falsedad de una proposicion se llama su valor de verdad.

Los siguientes son ejemplos de proposiciones

p: 2 + 3 = 7 (F
q: Todas las mujeres tienen pelo negro. (F)
r: La capital de Puerto Rico es San Juan. (C)
s: 5 > 3 (C)
Negación

Sea una proposicion p, se puede formar otra llamada negación de p,

escribiendo "Es falso que ... " antes de p o, cuando sea posible,
insertando en p la palabra NO. Simbolicamente se denota la
negación de p como ~p
Negación: Ejemplos
Sea p: Paris esta en Francia
~ p: Es falso que Paris esta en Francia
~ p: Paris no esta en Francia

Sea q:
~ q:
Cuantificador universal
Sea P(x) una proposición sobre un conjunto A, entonces
( x en A ) p(x) o x p(x) o x, p(x) es una proposición que dice "Para
todo elemento x de A, p(x)".

x p(x) es una proposición y por lo tanto tiene valor de verdad

Entonces si { x en A, p(x)} = A x, p(x) es CIERTO
si { x en A, p(x)} A x, p(x) es FALSO
Cuantificador universal: Ejemplos

Ejemplo: La proposición "n en N, n + 4 > 3, donde N

son numeros naturales es cierta porque:
" n + 4 > 3 = { 1, 2, 3, 4, ... } = N

La proposición "n, (n + 2 > 8 ) es falsa

porque { " n + 2 > 8} = {7,8,...} ¹ N
Cuantificador universal: Ejemplos
Sea M el conjunto de todos los hombres

Entonces, todo hombre es mortal se escribe ( x en M) ( x es

mortal)
Cuantificador existencial
Cuantificador existencial. Ejemplos
Negaciones con cuantificadores
Leyes de DeMorgan
Proposiciones compuestas
Una proposición compuesta es aquella que esta formada por dos o mas
proposiciones simples unidas entre si por conectivas lógicas.

El valor de verdad de las proposiciones compuestas esta determinada

por el valor de verdad de cada uno de las proposiciones simples y por
el modo que se les reúne para formar la proposición compuesta.
Proposiciones compuestas. Ejemplos
Sea p: Las rosas son rojas
q: Las violetas azules
p v q: Las rosas son rojas o las violetas azules
Conjunción
Dos proposiciones cualesquiera se pueden combinar por medio de la
palabra y para formar una proposición compuesta llamada
conjuncion de las primeras proposiciones. Simbólicamente se denota la
conjunción de dos proposiciones p, q por p ^ q

Ejemplo: Sea p: Esta lloviendo

q: El sol brilla
p ^ q: Esta lloviendo y el sol brilla
Conjunción. Valor de verdad
Disyunción
Dos proposiciones cualesquiera se pueden combinar por medio de la
palabra o para formar una nueva proposición que se llama
disyuncion de las proposiciones previas. Simbólicamente se denota la
disyunción de dos proposiciones p, q, por p v q

Ejemplo: Sea p: Esta lloviendo

q: El Sol brilla
p v q: Esta lloviendo o el Sol brilla
Disyunción. Valor de verdad
Negaciones y leyes de DeMorgan
Sea p, q proposiciones

Ejemplo: Sea p: 2 + 3 = 5
q: Es de noche
p v q: 2 + 3 = 5 o es de noche
~( p v q ) = (~p ^ ~q) = 2 + 3 5 y no es de noche
Condicional
Una proposición de la forma " Si p, entonces q " se llama un
condicional y se denota p  q, donde p es la hipótesis (antecedente) y
q la conclusión (consecuente).

Ejemplo: Sean p: llueve

q: el suelo esta mojado
p q: Si llueve, el suelo esta mojado
Condicional. Valor de verdad
Condicionales. Recíproco
El reciproco de un condicional se forma invirtiendo, la hipotesis y la
conclusión, i.e., el reciproco de p  q es q  p

Ejemplo: Sean p: 2 + 2 + 2 = 6 ; q: 3 * 2 = 6
p q: Si 2 + 2 + 2 = 6, 3 * 2 = 6
reciproco p q es q p: Si 3 * 2 = 6, 2 + 2 + 2 = 6
Condicional. Inverso
El inverso de un condicional se forma a través de la negación tanto de
la hipótesis como de la conclusión i.e., el inverso de p  q es ~p  ~q

Ejemplo: Sean p: 2 + 2 + 2 = 6 ; q: 3 * 2 = 6
p q: Si 2 + 2 + 2 = 6, 3 * 2 = 6
inverso p  q es ~p  ~q: Si 2 + 2 + 2 / 6, 3 * 2 / 6
Condicional. Contrarrecíproco
El contrarrecíproco se forma a partir del condicional original mediante
la negación de la hipótesis y la conclusión y después el intercambio
o inversión de ellas i.e., el contrapositivo de p q es ~q  ~p

Si p: Esta lloviendo
q: Hace frio
pq: Si esta lloviendo, hace frio
Contrapositivo de p q es: ~q --> ~p : Si no hace frio, no esta
lloviendo
Bicondicional
Una proposición de la forma p si, y solo si q ( p syss q ) es llamado un
bicondicional y se denota
Bicondicional. Valor de verdad
Fundamentos de la lógica
Tablas de verdad. ~ ( p ^ q )  ~r
Tablas de verdad.
Equivalencia lógica p q ~q  ~p
Tautología [(p  q) ^ p] q
Foro
PARTICIPATION. Participates and contributes new ideas and justifies
them (4 points)
CONTRIBUTIONS. The interventions are very clear, concise and
respectful (3 points)
COMMUNICATION. Establishes a dialogue with colleagues and the
tutor, debating and defending ideas, and building new contributions
together (3 points)
Tarea de desempeño
SM CRITERIO
Demuestra una comprensión total de los conceptos matemáticos y de los procedimientos que éstos implican. Así
mismo, respondió correctamente, usó procedimientos matemáticos correctos, y proporcionó explicaciones e
4 EXCELENTE:
interpretaciones claras y completas. La respuesta puede tener fallas menores que no distraen de la demostración de
una comprensión total.
Demuestra una comprensión total de los conceptos matemáticos y de los procedimientos incluidos en la actividad.
Básicamente, su respuesta correcta con los procedimientos matemáticos utilizados y las explicaciones e
3 MUY BUENO interpretaciones proporcionadas demostrando así una comprensión fundamental pero no total. Una respuesta
puede tener errores pequeños que reflejan la ejecución negligente de los procedimientos matemáticos o indicio de
una falla de comprensión en los conceptos y procedimientos matemáticos esenciales.
Demuestra solamente una comprensión parcial de los conceptos matemáticos y de los procedimientos que éstos
implican. Aunque éste puede haber usado el enfoque correcto para lograr una solución o haber proporcionado una
2 BUENO: respuesta correcta, el trabajo del estudiante carece de una comprensión fundamental de los conceptos matemáticos
esenciales. La respuesta puede tener errores relacionados con la incomprensión de aspectos importantes de la
actividad, mal uso de los procedimientos matemáticos o una errónea interpretación de los resultados.
Demuestra una comprensión muy limitada de los conceptos matemáticos y de los procedimientos que éstos
implican ya que su respuesta es incompleta y tiene muchos errores. Aunque la respuesta del estudiante trató con
1 REGULAR algunas de las condiciones de la actividad, éste obtuvo una conclusión inadecuada y dio un razonamiento que
estaba errado o incompleto. La respuesta exhibe muchos errores o puede estar incompleta.
Proporciona una solución totalmente incorrecta o una respuesta que no se puede entender o no dio respuesta
0 POBRE
alguna. o No contesto
Recordatorios. Politicas institucionales
Federal credit hour definition
Student Attendance Policy
Academic Integrity
Students with Disabilities
Recursos instruccionales: Principal

Judson, T. (2016). Abstract Algebra: Theory and Applications. Retrieved

from: http://abstract.ups.edu/aata
Recursos adicionales
https://www.youtube.com/watch?v=qmS90v3sGbQ

https://www.youtube.com/watch?v=OGiap9yRy-M&t=186s

https://www.youtube.com/watch?v=YFJnRxOed5Y

https://www.youtube.com/watch?v=LFfv7_Inn1M
Recursos adicionales
https://www.youtube.com/watch?v=UFwMlG3V0cA&feature=youtu.be
https://www.youtube.com/watch?v=qBtxEMXA1w8&feature=youtu.be
https://www.youtube.com/watch?v=lBQyFZItRFk&feature=youtu.be
https://www.youtube.com/watch?v=lBQyFZItRFk&feature=youtu.be
https://www.youtube.com/watch?v=5OLtqKjapE4&feature=youtu.be
Próximos pasos
Calendario mensual