Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 152: |
Línea 152: |
|
| |
|
| ===Ejercicio 4=== | | ===Ejercicio 4=== |
|
| |
| 1- "Todos los naturales menores a 10 que cumplen P, cumplen Q":
| |
|
| |
| aux a: Bool (<math>\forall x \in</math> [0..10)) (<math>P(x) \wedge Q(x)</math>)
| |
|
| |
| Esta mal porque no queremos que para todos, todos cumplan P y Q, sino que cuando P sea verdadero, Q tambien lo sea:
| |
|
| |
| aux a: Bool (<math>\forall x \in</math> [0..10))(<math>P(x) \Rightarrow Q(x)</math>)
| |
|
| |
| 2- "No hay ningún natural menor a 10 que cumpla P y Q":
| |
|
| |
| aux c: Bool = <math>(\neg ( \exists x \in [0..10) P(x) \wedge \neg ( \exists x \in [0..10) Q(x))</math>
| |
|
| |
| Pero esto diría que ninguno en s cumple P y ninguno en s cumple Q.
| |
| En su lugar deberíamos poner:
| |
|
| |
| aux c: Bool = <math>\neg ( \exists x \in [0..10) ) P(x) \wedge Q(x)</math>;
| |