Lógica

Demostrar la validez del siguiente razonamiento con las reglas de la deducción natural:
A -> (B ->¬(A o B)) .'. ¬ (A ^ B)
Gracias

1 Respuesta

Respuesta
1
A -> (B ->¬(A o B))
¬ A o (B -> ¬ (A o B))
¬ A o ( ¬B o ¬(A o B))
¬ A o ( ¬ ( B ^ (A o B)))
¬ ( A ^ ( B ^ ( A o B)))
¬ ( A ^ ( (B ^ A) o (B ^B)) )
¬ (A ^ ( (B ^ A) o B ) )
¬ ( A ^ ( B ^ A) )
¬ ( A ^ B )
Si no entiendes algún paso dímelo.

Añade tu respuesta

Haz clic para o

Más respuestas relacionadas

Si se contesta sin pensar a un test de 10 prguntas en las que hay que contestar si es cierto o falso...

Si se contesta sin pensar un test de 10 preguntas en las que hay que contestar si es cierto o falso. ¿Cuál es la probabilidad de acertar el 70 % o mas de las preguntas?, ¿Y exactamente 7 de las 10 respuestas?
2 respuestas

Ley de tercios en casinos

Me puedes ayudar por favor con este tema para ver como funciona matemáticamente.
10 respuestas

Resolver problemas de matemáticas

En un zoológico 10 leones comen la misma cantidad que 40 lobos. 6 tigres comen la mitad que los leones. Si en total en una semana entre leones, lobos y tigres se han comido 600kg de carne ¿Cuántos kilos se comieron los tigres?
6 respuestas

3 piñas y 2 melones cuestan $111, mientras que 1 piña y 1 melón cuestan $43. Encuentra cuanto cuestan las frutas

En un puesto: 3 piñas y 2 melones cuestan $111, mientras que 1 piña y 1 melón cuestan $43. ¿Cuánto cuestan las frutas? PLSSS
4 respuestas

¿Cómo puedo encontrar las coordenadas del foco y la longitud del lado recto?

La directriz de la parábola es de Y=-15, nivel bachillerato
2 respuestas

Determinar el volumen del solido de revolución que se obtiene al hacer girar alrededor del eje y la región delimitada

Ayudame a Determinar el volumen del solido de revolución que se obtiene al hacer girar alrededor del eje y la región delimitada por y= por y y=x^(2)
2 respuestas

Determinar el área comprendida entre las curvas y=-2 x^(2)+8; e y=-x^(2)+4

Me puede ayudar a Determinar el área comprendida entre las curvas y=-2 x^(2)+8; e y=-x^(2)+4 , realizando la grafica
1 respuesta

Cómo hallar el valor de POR y Y en : 3x^2 - 12y^2 = - 23

Cómo hallar los valores de equis y Y en la ecuación. Utilizando el método de derivadas F(x).
1 respuesta

Earn big with small investments in crypto

The Crypto market has been growing day by day. Even people who have no knowledge of cryptocurrency might know about Bitcoin. You see, that's the beauty of crypto. ¿Can crypto coins make you rich? The answer is yes, but only if you invest in good...
2 respuestas

Qué comando he de poner para calcular el coseno a la menos 1

Quiero hacer una hoja en Excel para el tema eléctrico y no sé qué comandos poner para calcular el coseno a la menos 1 de un ángulo.
1 respuesta