Lógica - Prueba de...

   
Vista:

Prueba de...

Publicado por David Gomez david.satiricon@gmail.com (1 intervención) el 11/08/2011 14:53:04
Buenos dias gente inteligente!

Estoy por estos lares por que leyendo un libro introductorio a la logica llegue a unos ejercicios que no logro hacer... Y no me gusta la idea de seguir adelante si lograr hacerlos ya que si no los puedo hacer es por que algo no entendi...

El libro se llama "Logic" es de Paul Tomassi

Los ejercicios estan despues de un capitulo que trata sobre los condicionales y sobre como para probar cualquier sequencia que concluye con un condicional, introduce las asunciones y las reglas del CP (conditional proof - prueba condicional) incluido como asumir en una linea de prueba. Pude hacer algunos, pero no otros... Asi que tengo la sensacion que algo no entendi bien...

Uno de los ejercicios es probar lo siguiente.

P→Q:(Q→R)→(P→R)

Me imagino que si logro entender como hacer este voy a entender como hacer los demas ejercicios que no entendi correctamente...

Podrian darme una mano?

Muchas gracias!
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
información
Otras secciones de LWP con contenido de Lógica
- Cursos de Lógica
- Temas de Lógica
información
Cursos y Temas de Lógica
- Introducción a la lógica
- El juego de Hintikka de la lógica
- Elementos de lógica difusa