LÓGICA MATEMÁTICA: TABLAS DE VERDAD, DEMOSTRACIÓN FORMAL DE ARGUMENTOS, LÓGICA CUANTIFICACIONAL, LÓGICA DE CLASES, EL ALGEBRA DE CLASES Y DIAGRAMACIÓN DE CLASES DE VENN
Enviado por Helena • 17 de Mayo de 2018 • 4.953 Palabras (20 Páginas) • 475 Visitas
...
Sean las proposiciones:
- Flores Magón es un revolucionario.
- Flores Magón es anarcosindicalista.
Simbolizadas estas proposiciones como variables quedan:
- p
- q
Y si las conjuntáramos queda: Flores Magón es un revolucionario y anarcosindicalista. Y la proposición molecular será:
p q[pic 16]
Para construir su tabla de verdad debemos seguir el procedimiento descrito y queda como sigue:
p
q
p q[pic 17]
1
v
v
v
2
v
f
f
3
f
v
f
4
f
f
f
La conjunción es verdadera sí y sólo si ambas proposiciones atómicas son verdaderas. Caso (1), de otra forma la proposición conjuntiva será falsa. Ejemplos:
- Flores Magón es revolucionario (p = v) y anarcosindicalista (q = v).
- Flores Magón es revolucionario (p = v) y socialista (q = f).
- Flores Magón es comunista (p = f) y anarcosindicalista (q = v).
- Flores Magón es comunista (p = f) y socialista (q = f).
Disyunción inclusiva
La disyunción inclusiva es verdadera cuando una de las dos o ambas alternativas son verdaderas.
Sean las proposiciones:
- El partido en el poder manipula las elecciones.
- El partido en el poder es apoyado por el gobierno.
Simbolizadas estas proposiciones como variables quedan:
- p
- q
Y si efectuamos la disyunción queda:
El partido en el poder manipula las elecciones o el gobierno lo apoya. La proposición molecular será:
p q[pic 18]
Su tabla de verdad es:
p
q
p [pic 19] q
1
v
v
v
2
v
f
f
3
f
v
f
4
f
f
f
La disyunción inclusiva es verdadera sí y sólo si una o ambas alternativas son verdaderas, ejemplos:
- El partido en el poder manipula las elecciones (p = v) o el gobierno o apoya (q = v).
- El partido en el poder manipula las elecciones (p = v) o el gobierno respeta el voto (q = f).
- El partido en el poder respeta las elecciones (p = f) o el gobierno lo apoya (q = v).
- El partido en el poder respeta las votaciones (p = f) o el gobierno respeta el voto (q = f).
La disyunción exclusiva
La disyunción exclusiva es verdadera cuando sus dos alternativas tienen valores diferentes, es decir, una es verdadera y la otra es falsa.
Sean las proposiciones:
- Un sindicato obrero es democrático.
- Un sindicato obrero es “charro”.
Simbolizadas estas proposiciones como variables quedan:
- P
- Q
Y si efectuamos la disyunción exclusiva queda:
Un sindicato obrero o es democrático o es “charro”. La proposición molecular será:
p [pic 20] q
Su tabla de verdad es:
p
q
p [pic 21] q
1
v
v
f
2
v
f
v
3
f
v
v
4
f
f
f
La disyunción exclusiva es verdadera sí y sólo si sus dos disyunciones tienen alores diferentes, ejemplos:
- Un sindicato obrero es democrático (p = v) o es “charro” (q = v).
...