Bienvenido, Invitado
Nombre de Usuario: Contraseña: Recordarme
  • Página:
  • 1

TEMA: Exmaen logica 1

Exmaen logica 1 22 Ene 2018 10:44 #42159

  • miura1943
  • Avatar de miura1943
  • DESCONECTADO
  • Jonio
  • Mensajes: 39
  • Gracias recibidas 19
Alguien puede colgar el examen de logica uno de hoy?
Gracias
Maria
El administrador ha desactivado la escritura pública.

Exmaen logica 1 22 Ene 2018 19:27 #42166

  • Lanza
  • Avatar de Lanza
  • DESCONECTADO
  • Jonio
  • Los náufragos no eligen puerto
  • Mensajes: 2
  • Gracias recibidas 5
FD5FD8F0-B8F7-407F-8B7D-BBF6AAAB0017.jpeg
El administrador ha desactivado la escritura pública.
Los siguientes usuarios han agradecido: miura1943, TyroneSlothrop

Exmaen logica 1 22 Ene 2018 21:21 #42172

  • TyroneSlothrop
  • Avatar de TyroneSlothrop
  • DESCONECTADO
  • Platónico
  • Mensajes: 193
  • Gracias recibidas 139
Parece bastante asequible ese examen de lógica. Yo la aprobé el año pasado, pero creo que todavía soy capaz de resolver con solvencia cualquier ejercicio de deducción natural.

Vamos a ello (por si a alguien le sirve de ayuda):

1. (p -->q) --> r P
2. s --> ¬p P
3. t P
4. (¬s ^ t)-->q P
5. ¬r Supuesto (se abre para encontrar una contradicción y con RI¬ cerrarlo)
6. ¬(p-->q) MT 1,5
7. p ^ ¬q Interdefinición -->,^ 6
8. p RE^7
9. ¬q RE^7
10. ¬s MT 2,8
11. ¬s ^ t RI^ 10,3
12. q MP 4,11
13. q ^ ¬q RI^ 9,12 (Cierro supuesto)
14. ¬¬r RI¬ 5,13
15. r RE¬ 14

Saludos
Última Edición: 22 Ene 2018 21:35 por TyroneSlothrop.
El administrador ha desactivado la escritura pública.
  • Página:
  • 1
Tiempo de carga de la página: 0.215 segundos