Page 11 - Lógica Proposicional

(p ↔ q) ≡ [(p→q)∧(q→p)]
(p ↔ q) ≡ (q ↔ p) Equivalencia

RAZONAMIENTOS:

Son proposiciones compuestas determinados premisas o hipótesis, cuyo operador
lógico principal es la condicional H y tiene una proposición final llamada conclusión,

para que un razonamiento sea válido la proporcional H1 que la representa debe ser
una Tautología. Hay dos maneras de determinar si un razonamiento es

lógico. a.- Tabla de verdad
b.- Método de reducción al absurdo

El razonamiento es válido o no, Ejemplo.

Si te gustan las matemáticas entonces eres hábil para la geometría. Luego no te
gustan las matemáticas.

TABLA DE VERDAD:

(p→q)→
p q p→q ┐p ┐p

0 0 1 1 1
0 1 1 1 1
1 0 0 0 1
1 1 1 0 0

Proposiciones:

P: te gustan las matemáticas
q: eres hábil para la geometría

Traducción: (p→q) ┐p

MÉTODO DE REDUCCIÓN AL ABSURDO

(p → p) → ┐p

1 1

1 0
0

10