LÓGICA

1. COMPLETA LOS ESPACIOS EN BLANCO

a) Una proposición condicional P →Q es falsa si el antecedente es
verdadero y el consecuente es falso, en cualquier otro caso la
proposición condicional es verdadera.
2. Tablas de certeza constituyen un método muy conveniente para
analizar los valores de certeza de cualquier proposición molecular.
3. Una bicondicional es verdadera si y solo si sus dos miembros son
ambos verdaderos o ambos falsos a la vez.
4. La disyunción exclusiva de dos proposiciones P y Q es verdadero si y
solo si ambas tienen diferentes valores de certeza, es decir, si uno es
verdadero y el otro es falso.
5. Premisa es un pensamiento enunciado o proposición que expresa una
verdad ya conocida, un juicio cierto.
6. ……………………. Es el paso de una o varias premisas, a la verdad de otra
proposición. Se basa en principios lógicos, es la función distintiva del
razonamiento.
7. ……………………… es el proceso mental por el cual se hace una deducción
lógica o inferencia. Es el tránsito lógico de un conocimiento ya poseído
a otro nuevo, antes ignorado, pero contenido implícitamente en el
primero.
8. ……………………… es el método o procedimiento que nos conduce a una
forma de razonamiento válida o ley lógica
9. En toda proposición condicional verdadera, si es verdadero el
antecedente, es verdadero el consecuente , dice la regla de inferencia
Ponendo ponens
10. En una proposición condicional, negando el consecuente se niega el
antecedente es la regla de inferencia Tollendo Tolens
11. Simplificación esta regla nos permite introducir el conectivo lógico de
conjunción entre dos premisas, debido a que una conjunción es cierta
si ambas proposiciones son ciertas.
12. Tollendo Ponens en una disyunción, negando una de las
proposiciones, se afirma la otra.
13. Silogismo Hipotético dadas dos proposiciones condicionales, donde el
antecedente de una es el consecuente de la otra, se concluye con otra
condicional formada por el antecedente y el consecuente de las dos
primeras, respectivamente.
CONSTRUYE LA TABLA DE LA VERDAD DE LAS SIGUIENTES
PROPOSICIONES Y DETERMINA SI ES UNA TAUTOLOGÍA,
CONTRADICCIÓN O INDETERMINACIÓN
1) ( P ↔Q ) v R
2) P W −P
3) −(−(P v Q) ) ↔−P .−Q
4) ( P →Q ) ↔(Q↔ P)
5) P w−( P v Q )

APLICA LAS REGLAS DE INFERENCIAS ESTUDIADAS PARA DEMOSTRAR

QUE LAS SIGUIENTES CONCLUSIONES SON VÁLIDAS O NO
Conclusión: N . P → S
1. N →Q p
2. Q→N . M p
3. N p
4. N . M →( N . P → S) p
5.
6.
7.
Conclusión: y ≠ 0
1. z=1 p
2. x ≠ 1→ z ≠ 1 p
3. x=1→ y ≠ 0 p
4.
5.
Conclusión: ( F → E ¿ . D
1. N →Q p
2. Q→N . M p
3. N p
4. N . M →( N . P → S) p
5.
6.
7.