Jim Dave Tench Martinez

HERRAMIENTAS DE LÓGICA COMPUTACIONAL-[GRUPO B01]

Universidad Politécnico Gran Colombiano

Ing. Jhon Olarte

20 de septiembre de 2022

Ilustraciones y Teoremas: Fuente Lectura Fundamental #4

 METODOS DE DEMOSTRACION:
Nuevo Estilo de demostración
1. Se debe seguir un orden secuencial de pasos, según los teoremas expuestos, cual
aplicar en cada uno de los casos particulares según aplique, estos son los teoremas:
2. debemos dividir el problema y determinar qué pasos aplicar con respecto al teorema
que se asimile, siguiendo la recomendación del esquema que indica que se debe
demostrar mediante la comprobación de los dos pasos anteriores (como muestra la
imagen)

Ilustración 1Fuente.Lectura Fundamental # 4

3. de esto dependerá el teorema, axioma o conjunto de leyes que aplique ya sea

implicación, disyunción, conjunción, etc. según lo muestre el problema .
algunos teoremas son:
• Teorema 1. (𝑃 ≡ 𝑄)^ (𝑄 → 𝑅) → 𝑃 → 𝑅
• Teorema 2. (AvB)^ ¬B→A
• Teorema 3. A v (B^C) → A v B
• Teorema 4. (A → B) → ((AvC) → (BvC)

Ejemplo
Teorema 23 de la lectura fundamental 3
A → B ≡ A^B ≡ A

𝐴→𝐵≡𝐴 𝐵≡
𝑎𝑝𝑙𝑖𝑐𝑎𝑚𝑜𝑠 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 𝑑𝑒 𝑇𝑟𝑎𝑠𝑛𝑝𝑜𝑟𝑡𝑎𝑐𝑖𝑜𝑛 para la primerra proposicon Y
simplificación para la segunda
1.(A→ B)
2. A

Ilustraciones y Teoremas: Fuente Lectura Fundamental #4

 Comprobamos que ambos resultados equivalente a ≡ A que asu vez ≡ a B

Asumiendo el antecedente

Este método Establece que Pi= P1,P2,….Pn, todos son hechos anteriores reales, para
llegar a la conjunción Q que al final será un teorema.
Esto establece que que la estructura del método sea P1 ^p2… ^Pn→ 𝑄.
Para resolver el método se asume que Pi siempre es verdad y con esto se busca demostrar l
afirmación de todos los valores de P para confirmar que si es una tautología
Ejemplo
(p ^ q) → p aplicamos la ley de la equivalencia
¬(p ^ q)v p aplicamos la ley de la Morgan
(¬p v ¬q)v p aplicamos ley de conmutación
¬q v (¬p v q) aplicamos ley asociativa
¬𝑄 𝑣 𝑇 𝑎𝑝𝑙𝑖𝑐𝑎𝑚𝑜𝑠 𝑙𝑒𝑦 𝑑𝑒 𝑡𝑒𝑟𝑐𝑖𝑜 𝑒𝑥𝑐𝑙𝑢𝑖𝑑𝑜
Al final tenemos el resultado es True
Por contradicción
Este método indica que la expresión se debe asumir con único valor será verdadero o falso,
y para demostrarlo se le deberá dar un valor a su contradicción directa.

Ejemplo
A= V
A→ B
¬B → ¬A

Ilustraciones y Teoremas: Fuente Lectura Fundamental #4

Implicación mutua

Consiste en dar una doble implicación a la proposición y luego busca demostrar que la proposición
es verdadera a la misma vez que la doble implicación o si entonces equivalente sea también
verdadero en conclusión haciendo su contraparte equivalente a un valor también verdadero

Ejemplo
p→q
q→ p
(p →q) ^ (q →p)
T

Análisis de Caso

Consiste en dividir la proposición en una cantidad determinada de expresiones para hacer mas
sencilla la solución de cada una de estas “expresiones por separadas”

Ejemplo

Contrapositivo

Consiste en demostrar la forma opuesta de la expresión siendo (A→ Q) su equivalencia

seria (¬A → ¬Q), para demostrar la tautología
Ejemplo
(P→ Q)
(P→ Q)↔ (¬𝑄 → 𝑃¬) se debe tomar el consecuente y suponer que no es Verdad

Ilustraciones y Teoremas: Fuente Lectura Fundamental #4