| Autor |
Mensaje |
Freddy
Nivel 8
Edad: 34
Registrado: 29 Oct 2008
Mensajes: 630
Ubicación: Lanús
Carrera: Sistemas
|
|
Un ejercicio de lógica dice así:
Dos países han entrado en colisión. El ministro de Defensa de uno de los países le propone a su presidente tres estrategias de defensa de modo que:
Si la estrategia I se lleva a cabo, la estrategia II no se lleva a cabo.
Si la estrategia I no se lleva a cabo, la estrategia III se lleva a cabo.
Si la estragia II se lleva a cabo, la estrategia III no se lleva a cabo.
¿Se puede saber, por medio de alguna derivación lógica, si alguna de las estrategias se llevó o no a cabo?
-----------------------------------------------
¿Alguna idea de como encararlo?
Se me ocurrio darles valores de verdad de a uno a las proposiciones y ver si se me generaba alguna contradiccion o valores que no puedo determinar.
|
|
|
|
|
|
   |
      |
|
guillo
Nivel 1
Edad: 37
Registrado: 14 May 2009
Mensajes: 3
|
|
Me parece que lo mas comodo para trabajar es simbolizar las proposiciones.
Tomemos simplemente como 'p', 'q' y 's' a las "estrategias" y analicemos las proposiciones mas grandes.
Se tiene:
p -> !q
!p -> s
q -> !s
Se ve que las ultimas 2 son contradictorias.
No podria ser !p y q.
Esto es: !p -> !q
Con la primera tenemos: !p -> !q y p -> !q
En definitiva: !q
Puede no parecer al principio, pero por contrarreciprocidades, la II estrategia es impracticable.
|
|
|
|
|
|
  |
|
|
guillo
Nivel 1
Edad: 37
Registrado: 14 May 2009
Mensajes: 3
|
|
Me parece que lo mas comodo para trabajar es simbolizar las proposiciones.
Tomemos simplemente como 'p', 'q' y 's' a las "estrategias" y analicemos las proposiciones mas grandes.
Se tiene:
p -> !q
!p -> s
q -> !s
Se ve que las ultimas 2 son contradictorias.
No podria ser !p y q.
Esto es: !p -> !q
Con la primera tenemos: !p -> !q y p -> !q
En definitiva: !q
Puede no parecer al principio, pero por contrarreciprocidades, la II estrategia es impracticable.
|
|
|
|
|
|
| |
|
|
|
|
|
Ver tema siguiente
Ver tema anterior
Podés publicar nuevos temas en este foro
No podés responder a temas en este foro
No podés editar tus mensajes en este foro
No podés borrar tus mensajes en este foro
No podés votar en encuestas en este foro
No Podéspostear archivos en este foro
No Podés bajar archivos de este foro
|
Todas las horas son ART, ARST (GMT - 3, GMT - 2 Horas)
Protected by CBACK CrackerTracker365 Attacks blocked.
|
|
|
[ Tiempo: 0.3921s ][ Pedidos: 20 (0.3268s) ] |
