CURSO: Docente:
Lógica Mg. David Paulino Jiménez
Guía de Practica
Lógica
Semana Nº 10
TÉRMINOS EQUIVALENTES DE LOS CONECTIVOS
LÓGICOS – CRITERIOS PARA LA SIMBOLIZACIÓN
O FORMALIZACIÓN DE PROPOSICIONES
Resolver:
1. Dadas las proposiciones: P: [p (p q)] ; Q: (p q). Verificar si
son lógicamente equivalentes.
Resolución:
2. Dadas las proposiciones: R: p → (r q) ; S: (p q) → r.
Verificar si son lógicamente equivalentes.
Resolución:
CURSO: Docente:
Lógica Mg. David Paulino Jiménez
3. Dadas las proposiciones: P: [(p q) → r] ; Q: p → (q → r)]. Verificar si
son lógicamente equivalentes.
Resolución:
4. Dadas las proposiciones: P: (p → q) ; Q: [(p q) p]. Verificar si
son lógicamente equivalentes.
Resolución:
CURSO: Docente:
Lógica Mg. David Paulino Jiménez
5. Dadas las proposiciones moleculares:
P: Si David es profesor de matemáticas, entonces es ingeniero. Pero, David es
ingeniero.
Q: David es profesor de matemáticas, en consecuencia, es ingeniero.
Verificar si son enunciados lógicamente equivalentes:
Resolución:
1° Dando las variables a las proposiciones:
p:
q:
2° Se formalizan ambas proposiciones con variables y conectores:
P:
Q:
3° Se evalúa el valor de verdad de cada fórmula lógica (FBF) obtenida en una
tabla verdad.
4° Se afirma:
CURSO: Docente:
Lógica Mg. David Paulino Jiménez
6. Dadas las proposiciones moleculares:
P: El átomo es la mínima parte de la materia solo si está formado por tres
partículas subatómicas.
Q: El átomo es la mínima parte de la materia siempre y cuando está formado
por tres partículas subatómicas.
R: El átomo es la mínima parte de la materia equivale a que está formado por
tres partículas subatómicas o bien está formado por tres partículas
subatómicas.
Verificar ¿Cuáles de los siguientes pares son enunciados lógicamente
equivalentes?
a) P; Q b) P; R c) Q; R
Verificar si son enunciados lógicamente equivalentes:
Resolución:
1° Dando las variables a las proposiciones:
p:
q:
2° Se formalizan ambas proposiciones con variables y conectores:
P:
Q:
R:
3° Se evalúa el valor de verdad de cada fórmula lógica (FBF) obtenida en una
tabla verdad.
4° Se afirma:
