Vous êtes sur la page 1sur 6

Morales Rodrguez Jorge

1. Asociarle una frmula en L al siguiente enunciado:


La funcin sin(x) es peridica entonces la tan(x) puede ser integrable,o el cos(x) no tiene
lmite. Por lo tanto 1 sin(x) 1.
A:La funcin sin(x) es peridica
B:la tan(x) puede ser integrable
C:el cos(x) no tiene lmite.
D:sin(x) es mayor que 1
E:sin(x) es igual que 1
F:sin(x) es menor que 1
G:sin(x) es igual que 1

[A (B C)] [(D E) (F G)]

2. Explicar (en espaol) claramente cual es la diferencia entre una Prueba por reduccin al
absurdo y una Prueba por contradiccin
Cuando queremos demostrar P y no podemos hacerlo directamente hacemos contradiccin

1) Se quiere demostrar que una afirmacin P es verdadera.

2) Se asume que P es falsa

3) Se muestran las consecuencias del hecho de que P es falsa.

4) Se llega a un absurdo o imposibilidad.

5) Como la afirmacin P es verdadera o falsa, y ya se demostr que no puede ser falsa ya que
esto conlleva a incongruencias matemticas, se prueba as que P debe ser verdadera.
Reduccin al absurdo es un modo de argumentacin que trata de establecer un argu-
mento mediante la derivacin de un absurdo de su negacin, por lo tanto el argumento de
que una tesis debe ser aceptada debido a que su rechazo sera insostenible. Es un estilo de
razonamiento que se ha empleado a lo largo de la historia de las matemticas y la filosofa
a partir de la antiguedad clsica.
Es importante notar que prueba por contradiccin no implica reduccin al absurdo ya
que en una prueba por contradiccin se llega a una imposibilidad. Un absurdo es un tipo
de imposibilidad pero no es la nica

3. Describir claramente el esquema en L asociado a:

i) Prueba por reduccin al absurdo

ii) Prueba por contradiccin


4. Sea A una frmula donde no aparece el conectivo y sea B cualquier frmula; probar
que:

i) En la tabla de verdad de A, el primer rengln es verdadero.

ii) Si |= (B) B contiene por lo menos una ocurrencia del conectivo

iii) Si |= (B A) B contiene por lo menos una ocurrencia del conectivo

5. Se cumplen los siguientes enunciados:

i) Si |= A y 6|= B |= (A B) B
Sabemos que A es siempre verdadero porque es tautologa, por lo que B puede ser contin-
gente( ser verdadero o falso) o contradiccin (Siempre falso), si por alguna razn B fuera
verdadero, entonces el antecedente (A B) es verdadero como supusimos que B es verda-
dero entonces, antecedente verdadero, consecuente verdadero por lo tanto la implicacin
es verdadera.
Si B es falso entonces el antecedente (A B) es falso, y si el antecedente es falso y el
consecuente es falso por la tabla de verdad de la implicacin, la implicacin es verdadera

ii) Si |= (A C) y |= (B C) |= [(A B) C]
1. AC Hip
2. BC Hip
3. A C Eq. lgica 1
4. B C Eq. Lgica 2
5. A Silogismo disyuntivo en 3
6. B Silogismo disyuntivo en 4
7. A B conjuncin 5 y 6
8. (A B) C Adicin
9. (A B) C eq. Lgica en 8
10. (A B) C Eq. Lgica en 9
Por lo tanto el razonamiento es vlido.

6. Aplicar el mtodo de deduccin natural para determinar si el siguiente argumento es vlido


o no
(P1 R1 )
Q1 S1
(R1 Q1 )

(P1 S1 )
Idea explicada:
Lo que queremos demostrar es que (P1 R1 ), Q1 S1 , (R1 Q1 ) |= (P1 S1 )
lo que es lo mismo P1 R1 , Q1 S1 , R1 Q1 |= (P1 S1 )
Recordemos la definicin de consecuencia lgica:
Una frmula A es consecuencia lgica de las frmulas B1 , B2 Bn y se escribe
B1 , B2 Bn |= A si y slo si cada vez que B1 , B2 , Bn sean simultneamente verdaderas
entonces A es verdadera.
As nos fijamos en P1 R1 , Q1 S1 , R1 Q1 y vemos si es posible que todos los
conectivos sean simultneamente verdaderos
1. P1 R1 Hip
2. Q1 S1 Hip
3. R1 Q1 Hip
4. R1 Simplificacin en 1
5. R1 Simplificacin en 3
6. R1 R1 ! Conjuncin de 4 y 5
Entonces en el paso 6 tenemos R1 R1 lo cual es una contradiccin y por lo tanto el
razonamiento no es vlido
Nota: Us la equivalencia lgica en las hipotsis originales 1 y 3.

7. Determinar si el siguiente argumento es vlido o no; Aplicando el mtodo de tablas semn-


ticas(Generacin del rbol lgico)
P1 (Q1 R1 )
(R1 S1 ) T1
(S1 T1 ) W1

P1 (Q1 W1 )
8. Simplificar la siguiente expresin Booleana y expresar el resultado en un circuito lgico:

+ w x + x y + 1
f (w, x, y, z) = x + x y z + y z x + w x
9. `L A A
1. A ((A A) A) [A (A A) (A A)] Axioma 2
2. A ((A A) A) Axioma 1
3. (A (A A)) (A A) M.P. (1,2)
4. A (A A) Axioma 1
5. A A M.P. (3,4)
`L A A
10. A B, B C, `L A C
1. AB Hip
2. BC Hip
3. [A (B C)] [(A B) (A C)] Axioma 2
4. (B C) [A (B C)] Axioma 1
5. A (B C) M.P. (2,4)
6. (A B) (A C) M.P. (3,5)
7. AC M.P. (6,1)
A B, B C, `L A C

11. A `L B (A B)

12. Describir clara y completamente todas las propiedades del sistema formal L

a) L es correcto sii `L A |= A es decir si A es un teorema en L entonces A es una tautologa

b) L es consistente absolutamente sii B L{,} tal que `L B s 6|= A 6`L A

c) En el sistema formal L se cumple que Consistencia absoluta consistencia relativa

d) L es completo semnticamente si |= A `L A es decir si A es una tautologa entonces es


un teorema en L

e) L no es completo sintcticamente

f) L cuenta con un conjunto independiente de axiomas


13. Se cumplen los siguientes enunciados:

i) Si `L A y `L A

ii) Si `L A y `L B `L (A B) B

14. Sea L+ = L {6|= A} describir todas las propiedades de L+