lOMoARcPSD|22286224

Entrega Semana 4 Herramientas de logica

Herramientas de Lógicas Computacional (Politécnico Grancolombiano)

Escanea para abrir en Studocu

Studocu no está patrocinado ni avalado por ningún colegio o universidad.

Descargado por f E L I P E_ P E R U G A c H E (perugachefelipe@gmail.com)
 lOMoARcPSD|22286224

PRIMERA ENTREGA DE
HERRAMIENTAS DE LOGICA
Página 1
COMPUTACIONAL
2021-2

ENTREGA SEMANA 4

Presentado por:
xxxxxxxxxxxxx

Presentado a:

xxxxxxxxxxx

Institución universitaria Politécnico Gran colombiano

Facultad de ingeniería, diseño e innovación

Herramientas de Lógica Computacional

xxxxxxxxxx

Descargado por f E L I P E_ P E R U G A c H E (perugachefelipe@gmail.com)

 2

Nombre del método Descripción en palabras del Ejemplo del Condiciones del Método
método Método
Para demostrar P→Q A Λ ( B V ¬A) → B 1.Al asumir que P es
TRUE
adiciona al sistema como Hipótesis: en P->Q todas las
axiomas las partes del A Λ ( B V ¬A) Ξ Expresiones equivalentes
true A Ξ true
antecedente (P) que deben ( B V ¬A) Ξ true
a P también van a ser
ser conjunciones, con ese TRUE.
nuevo sistema temporal B 2.
Ξ (Axioma de la identidad)
demostramos lo que esta B Ξ true En una disyunción en
después del símbolo la parte izquierda, no
se
implicación Ξ (Hipótesis ( B V ¬A) Ξ true) (1) puede asumir que todos
B Ξ ( B V ¬A)
Asumiendo el Se puede utilizar el sus argumentos son
antecedente formalismo de la deducción Ξ (Hipótesis A Ξ TRUE, pero en una
true) A Ξ true Ξ B
Natural o de la Derivación conjunción si
formal Ξ (Al reemplazar A por B en
ecuación (1))
B Ξ (B V ¬B)

Ξ (Axioma del tercio

Excluido de la
disyunción) (B V ¬B) Ξ
true Ξ B
true Ξ true

Ξ Axioma de la identidad
true

Busca identificar la premisa EJEMPLO POR Cuando la expresión es

CONTRADICCI
o hipótesis como verdadera ÓN una implicación P->Q la
y demostrar una conclusión (A → B) Λ ( ¬A → B) Ξ B contradicción estará dada
falsa o una tesis falsa Por contradicción:
por forma P ʌ ¬Q
llegando a contradicciones ¬((A → B) Λ ( ¬A → B) Ξ B) buscando llevar P a
Demostración por del tipo Q ≡ ¬ Q pudiendo ¬((A → B) Λ ( ¬A → B)) Ξ ¬B contradicción con
Teorema de Morgan
Contradicción de esta manera demostrar ¬(A → B) V ¬( ¬A → B) Ξ ¬B
¬Q
que si la contradicción es ¬(¬A V B) V ¬(A V B) Ξ ¬B
Falsa, entonces la expresión (A Λ ¬B) V (¬A Λ ¬B) Ξ ¬B
Axioma regla de oro
booleana es un teorema. (AV¬B Ξ A Ξ ¬B) V (¬A V ¬B Ξ
¬A Ξ ¬B) Ξ ¬B
¬B Ξ ¬B Ξ ¬B
true Ξ true Ξ true
true
Este método hace Implicación Mutua Este es el ejemplo de
referencia de la implicación mutua, donde
a demostrar la veracidad siguiente proposición vemos que teniendo dos
entre dos expresiones de condicional expresiones como A Y B
Implicación Mutua tipo Booleano podemos aplicar este
Se entiende que existe un Si hace sol, entonces método de demostración
tipo de llevo gafas. 1 .A →B
A: Hace sol 2. B →A

Descargado por f E L I P E_ P E R U G A c H E (perugachefelipe@gmail.com)

 3

implicación entre las B: Llevo Gafas 3. (A →B) ^ (B →A)

dos expresiones
A Y B como:
1.A →B 4.A →B
2.B →A 5.B →A
3.(A →B) ^ (B →A) 6.(A →B) ^ (B →A)
Es decir dos expresiones
pueden tener dos
relacionamientos de
mutualidad en viceversa

Este método de A: Hay crisis económica Para la tercera versión se

demostración segmenta la
expresión y los demuestra a
partir de dos
demostraciones diferentes.
- Si se propone una
expresión es una
implicación que se antecede
por una disyunción del tipo
Análisis de Casos
(P v Q → R) se debe
demostrar cada uno de los
casos: P→Q y
P→R.
-Para comprobar
expresiones R se pueden
construir expresiones de
disyunción como P ʌ Q
equivalentes a true y que
cumplen la implicación de
P con R y de Q con R
(P→R ʌ
Q→R)
Son proposiciones de la
forma: “si no q entonces no
p”
Se denota ¬ q → ¬p
Contrapositiva
B: No estoy bien de dinero Debe tener cuidado y
C: No puedo invertir
Hipótesis:
prestar mucha atención
Si estamos en crisis o no en la construcción de la
tengo dinero entonces, no expresión P ʌ Q con la
puedo invertir. que se va a validar R.
A V B →C
El proceso realizado en la
(A → C) ʌ(B → C) versión uno será eficiente
Ξ (Definición del condicional)
si se logra una rápida
¬( A V B) V C
Ξ (Ley de reducción a teoremas
Morgan) (¬A ʌ Del sistema, es decir, no
¬B) V C Puede ser un
Ξ ( Distributividad de procedimiento largo ya
la disyunción)
(¬A V C) ʌ (¬B V C)
que perderán su eficacia.
Ξ (Implicación)
(A→C) ʌ (B→C)
:Si los tres lados son Implicación y contra positiva:
congruentes, entonces el Si una sentencia es verdadera,
Triángulo es equilátero. entonces su contra positiva es
P: los tres lados son verdadera (y viceversa).
congruentes Si una sentencia es falsa,
Negación: entonces su contra positiva
¬p: los tres lados no son es falsa (y viceversa).
Congruentes
q: el triángulo es equilátero Inversa y recíproca:
Negación: Si la inversa de una
¬q: el triángulo no es sentencia es verdadera,
equilátero entonces su recíproca es
Contrapositiva: Verdadera (y viceversa).
¬ q→ ¬p Si la inversa de una sentencia
Entonces: Si el triángulo es falsa, entonces su recíproca
no es equilátero, los tres es falsa (y viceversa).
lados no son congruentes.

Descargado por f E L I P E_ P E R U G A c H E (perugachefelipe@gmail.com)