LÃ Gica MatemÃ¡tica

ALGEBRA
LINEAL
Ing. Anita Hinojosa Caballero, Mgs.

 El lenguaje natural está caracterizado por su
gramática, que nos permite determinar si una
Unidad 1 cierta frase es válida.
 Ejemplo: La mesa habla suavemente.
 La sintaxis no se ocupa del sentido de la frase,
solo determina su validez.
Lógica  La semántica de un lenguaje trata del estudio

de los sentidos de las frases sintácticamente
Matemática válidas.
 Lenguaje formal, permite formular
afirmaciones expresiones sintácticamente
correctas y semánticamente verdaderas.
 Permite el estudio de las matemáticas,
programación, en general razonamientos
científicamente irrefutables.
 La lógica sirve
Título de Miestudiar
para gráfico y entender
el proceso de razonamiento humano.
 Todo debe definirse de tal forma que no
dé lugar a dudas o imprecisiones en la Lógica
veracidad de su significado.
PROPOSICIÓN: es un enunciado
declarativo que puede ser verdadero o
falso.
 5 es un número primo.
 x + 4 = 15
 Daniel Noboa es presidente del Ecuador.
Título de es
PROPOSICIÓN: Mi gráfico
un enunciado
declarativo que puede ser verdadero o
falso.
Lógica
Título de Mi gráfico
Lógica
 PROPOSICIONES SIMPLES: es un enunciado declarativo

que puede ser verdadero o falso y está formado por una
proposición.
 PROPOSICIONES COMPUESTAS: es la unión de 2 o más

proposiciones simples a través de conectores lógicos.
 FUNCIÓN PROPOSICIONAL: es una expresión P(x) tal que

al sustituir x por un elemento determinado se obtiene una
propoposición.
Título de Mi gráfico
 PROPOSICIONES SIMPLES
 Los alumnos de 1er ciclo son creativos.
 La carrera de Arquitectura no es aburrida.
 PROPOSICIONES COMPUESTAS: Lógica
 Guayaquil es la Perla del Pacífico y Quito es la
capital del Ecuador.
 Jorge va al cine o al supermercado.
 FUNCIÓN PROPOSICIONAL:
 ¿Para qué valores del conjunto A = {0, 2, 4} es
verdadera la función proposicional x + 3 = 5?
 Para x = 0
 Para x = 2
 Para x = 4
CLASE 2: Tablas de
verdad
Tabla de
verdad
Representación
de los posibles
valores de
verdad que
podría tomar
una
proposición
# de combinaciones
n = # de proposiciones
Conectores u
operadores • No te esperaba en la clase.
lógicos • Tengo mucha gripe y tos
• Vamos al cine o al teatro.
• La casa de María o está en la
Define los
nexos entre playa o está en el campo.
proposiciones • Si estudio para el examen,
entonces saco 10.
• Me compro un PlayStation si y
solo sí ahorro.
NEGACIÓN ()
p 
p
0 1
Cambia el
valor de 1 0
verdad de una p: Tengo ganas de una hamburguesa.
proposición. ~p: No tengo ganas de una hamburguesa.
q: No quiero estudiar Algebra.

~q: Quiero estudiar Algebra.
p q pq
Conjunción
(y,) 0 0 0
La proposición
0 1 0
resultante será 1 0 0
verdadera
solamente 1 1 1
cuando ambas
proposiciones p: Me gustan los libros.
sean q: Me gustan los viajes.
verdaderas
p  q: Me gustan los libros y los viajes
Disyunción p q pq
inclusiva 0 0 0
(o,)
0 1 1
La proposición
resultante será
1 0 1
falsa 1 1 1
solamente
cuando ambas p: Me gustan los libros.
proposiciones q: Me gustan los viajes.
sean falsas
p  q: Me gustan los libros o los viajes
Disyunción p q pq
exclusiva 0 0 0
()
0 1 1
La proposición
resultante será
1 0 1
verdadera 1 1 0
cuando
solamente una p: Nací en la ciudad de Ibarra.
de ellas sea q: Nací en la ciudad de Quito,
verdadera p  q: O nací en la ciudad de Ibarra o nací en la
ciudad de Quito.
Condicional p q pq
( si…entonces, 0 0 1
)
La proposición 0 1 1
falsa
solamente si la 1 1 1
primera
(causa) es p: Jorge estudia en la universidad.
verdadera y la q: Jorge obtiene su título de Arquitecto.
segunda falsa p  q: Si Jorge estudia en la universidad entonces
(efecto). obtiene su título de Arquitecto.
Bicondicional p q pq
( si y solo si, 0 0 1
)
0 1 0
La proposición 1 0 0
verdadera si
las dos p: Los cocodrilos tienen ruedas. (0)
proposiciones q: Los sapos bailan flamenco. (0)
son iguales. p  q: Los cocodrilos tienen ruedas si y solo si los
sapos bailan flamenco. (1)
Taller
A cada ejercicio transforme en lenguaje
lógico.
1. Hoy hace sol y salimos a caminar.
2. Voy al cine o veo una película en casa.
3. No es cierto que mañana tengamos clase.
4. Si termino mi tarea, entonces podré jugar
videojuegos.
5. Estudiaré si y solo si tengo examen.
6. Iré al parque o al museo, pero no a los dos.
7. Si no llueve, saldremos a pasear.
8. No es cierto que mañana sea lunes y tengamos
clase.
9. Si trabajo duro y estudio, aprobaré el curso.
10. No es cierto que Juan o María hayan venido a la
fiesta.
11. No es cierto que aprobé o suspendí el
examen, pero no ambas cosas.
12. Estaré en casa si y solo si no tengo trabajo
pendiente.
13. Si no estudio, entonces no aprobaré el
examen.
14. Si me dan vacaciones o trabajo desde
casa, viajaré a la playa.
15. Me comprometeré a estudiar si y solo si tú
también lo haces, y seremos responsables.
16. O bien aprobé o bien no estudié, pero no
ambas cosas.
17. Si no llego temprano, no podré entrar al
evento.
18. Si no asisto a clase y tampoco hago las
tareas, entonces suspenderé el curso.
19. O apruebo el examen o me preparo para el
siguiente, si y solo si tengo el tiempo suficiente.
20. Si salgo de viaje, no trabajaré; si no salgo
de viaje, haré ejercicio o leeré un libro.
CLASE 3: Algebra
proposicional
Formas
Proposicionales
Tautologías
Contradicciones
Contingencias
Tautologías 𝑝 ⇒ ( 𝑞 → 𝑝)
Contradicciones [ ( 𝑝 → 𝑞 ) ∧ (𝑞 → 𝑟 ) ] ⇒ ( 𝑝 →𝑟 )
Contingencias
(𝑝 → 𝑞 )⇔ ( 𝑞 → 𝑝 )
( 𝑝 ∨𝑞) ⟺ ( 𝑝 ∧ 𝑞 )

LÃ Gica MatemÃ¡tica

Cargado por

Copyright:

Formatos disponibles

LÃ Gica MatemÃ¡tica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LÃ Gica MatemÃ¡tica

Cargado por

Copyright:

Formatos disponibles

ALGEBRA

Ing. Anita Hinojosa Caballero, Mgs.

Lógica  La semántica de un lenguaje trata del estudio

 PROPOSICIONES SIMPLES: es un enunciado declarativo

 PROPOSICIONES COMPUESTAS: es la unión de 2 o más

 FUNCIÓN PROPOSICIONAL: es una expresión P(x) tal que

q: No quiero estudiar Algebra.

También podría gustarte