Clase 03
Analista de
Sistemas
Materia:
Elementos de Matemática
Profesora Contenidista: Prof. Silvia García Bonelli
[Link]
Contenido
CLASE 3 3
La Lógica: Una ciencia Formal 3
Introducción: ¿Qué es la lógica? 4
Razonamiento 5
Concepto de proposición lógica 5
Proposiciones compuestas y operadores lógicos 6
Símbolos lógicos y su significado 7
Tabla de verdad de los conectores / operaciones lógicas 8
Bibliografía y webgrafía: 17
[Link]
CLASE 3
La Lógica: Una ciencia Formal
Les damos la bienvenida a la clase 3 de la materia “Elementos de
Matemática”.
En esta clase vamos a ver los siguientes temas:
1. ¿Qué es la lógica?
2. Proposiciones lógicas.
3. Conectivos lógicos
4. Conjunción, disyunción, negación
5. Tablas de verdad. Aplicaciones prácticas
6.
¿Por qué vemos este tema en nuestra clase
de matemática?
La Lógica proposicional
Es fundamental para las sentencias de decisión y control en la
programación. Está íntimamente relacionada con la lógica binaria y de
circuitos de las computadoras. Las operaciones de conjunción, disyunción y
negación son el pilar fundamental del funcionamiento. Dentro de la
programación, lo utilizamos a la hora de usar una sentencia IF, WHILE.
[Link]
Introducción: ¿Qué es la lógica?
La lógica es una ciencia formal y una rama de la filosofía que estudia los
principios de la demostración e inferencia válida.
Además de estudiar las estructuras que conforman el pensamiento, la lógica
pretende ayudarnos a conducirnos con rigor, precisión y verdad hacia el
conocimiento.
"La lógica o arte de razonar es la parte de la ciencia que enseña el método
para alcanzar la verdad" (San Agustín).
La lógica es la ciencia de la demostración, pues sólo se preocupa de
formular reglas para alcanzar verdades a través de la demostración"
(Aristóteles).
Pero la lógica se encuentra también presente en nuestra vida
cotidiana; especialmente en la toma de decisiones.
La lógica presenta las siguientes características:
● Elimina contingencias.
● Economiza pensamiento.
● Nos ayuda a razonar.
● Aporta claridad.
La matemática es una ciencia formal que, partiendo de axiomas y
siguiendo el razonamiento lógico, estudia las propiedades y
4
[Link]
relaciones entre entes abstractos (números, figuras geométricas,
símbolos).
Razonamiento
El razonamiento lógico o causal es un proceso de la lógica mediante el que,
partiendo de uno o más juicios, se deriva la validez, la posibilidad o la
falsedad de otro juicio distinto.
Concepto de proposición lógica
Una proposición es un enunciado declarativo al que puede asignarse valores
de verdad (verdadero, V; falso, F. verdadero, 1; falso, 0 )
Les proponemos este breve Ejercicio inicial:
Analizar las siguientes expresiones y determinar si son
proposiciones:
a) 11+ 5 = 32
b) ¿Eres un estudiante del turno noche?
c) X + 20 = 21
d) Está lloviendo fuerte.
e) ¡vete!
Solución:
[Link]
a) 11+ 5 = 32, es una expresión cuyo valor de verdad es falsa. Luego es
una proposición.
b) ¿Eres un estudiante del turno noche?, es una pregunta que se hace,
carece de valor de verdad, es decir, no se puede afirmar si es verdadero o
falso.
c) X + 20 = 21es un enunciado abierto o función proposicional porque tiene
variable.
d) Está lloviendo fuerte, es una proposición que puede ser verdadera o falsa
e) ¡vete!, es una orden. Luego no es una proposición.
Proposiciones compuestas y
operadores lógicos
Sean p, q las proposiciones siguientes:
p: "hace frío"; q: "comenzó a llover"
Traduciremos las siguientes oraciones a notación simbólica utilizando las
letras asignadas y los conectivos lógicos:
1 Hace frío y comenzó a llover p^q y
2 Hace frío o comenzó a llover pvq o
[Link]
Símbolos lógicos y su significado
Operación Conectivo Ejemplos Se lee
Negación p: todo niño es travieso No p
p no todo niño es
travieso
p no es cierto que todo
niño es travieso
Conjunción p: hoy es sábado pyq
q: mañana es domingo Asociado a la
p q hoy es sábado y intersección
mañana es domingo ∩
Disyunción p: hoy es sábado poq
q: mañana es domingo Asociado a la Unión
p q hoy es sábado o U
mañana es domingo
[Link]
Tabla de verdad de los conectores /
operaciones lógicas
Negación: Cuando la variable es verdadera al negar se convierte en falsa,
y si es falsa, al negar se hace verdadera.
p ~p
V F
F V
Disyunción: Únicamente es falsa cuando todas las variables son falsas.
p q pVq o
V V V
V F V
F V V
F F F
[Link]
Conjunción: Únicamente es verdadera cuando todas las variables son
verdaderas.
p q p q y
V V V
V F F
F V F
F F F
Tautologías, contradicciones y contingencias
● Una expresión proposicional se llama tautología, si los valores de verdad
de su operador principal son verdaderos.
● Se llama contradicción si los valores de verdad de su operador principal
son todos falsos.
● Se llama contingencia, cuando los valores de verdad hay valores
verdaderos y falsos
Algunos ejemplos de aplicación de tablas de verdad
1. p q
[Link]
p q q P q
1 1 0 0
1 0 1 1
0 1 0 0
0 0 1 0
2. p q
p q p q p q
1 1 0 0 0
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
3. (p q)
p q (p q) (p q)
1 1 1 0
1 0 0 1
0 1 0 1
10
[Link]
0 0 0 1
4. p q
p q p p q
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1
5. p v (˜ q ˜ p)
p q ˜q ˜p ˜q˜p p v (˜ q ˜ p)
1 1 0 0 0 1
11
[Link]
1 0 1 0 0 1
0 1 0 1 0 0
0 0 1 1 1 1
Contingencia
6. p (q p)
p q p q p (q p) p (q p)
1 1 0 1 0 0
1 0 0 0 1 1
0 1 1 1 0 0
0 0 1 1 0 0
Hemos llegado así al final de esta clase en la que vimos:
1. ¿Qué es la lógica?
12
[Link]
2. Proposiciones lógicas.
3. Conectivos lógicos
4. Conjunción, disyunción, negación
5. Tablas de verdad. Aplicaciones prácticas
Recuerden Realizar el desafío de esta semana que
encontrarán en el aula virtual.
¡Hasta la próxima clase!
Bibliografía y webgrafía:
Rojo, A. Algebra I editorial El Ateneo
[Link]
1493724904/contido/lgica_proposicional.html
[Link]
[Link]
13
[Link]