Froggy Jumps
Cuestionario Integrador: Intuición y Regla FormalOnline version
Rumbo a la regla exacta
1
1. En la l lógica formal, si tienes una premisa unida por "Y" (ej: P & Q), entonces significa intuitivamente?
2
2. Si tienes una premisa unida por "O" (ej: M o S), como funciona para la deducción ?
3
Tienes la premisa: "La base de datos está conectada Y el sistema funciona" (B & S). Para resolver el ejercicio, necesitas usar solo la letra S
4
4. Est e1s resolviendo un caso y te encuentras con A \lor B (A o B). bfPuede s aplicar Simplificaci f3n (SIMP) para quedarte solo con la A?
5
5. En tu demostraci f3n, ya confirmaste en la l ednea 4 que tienes X, y en la l ednea 5 descubrist Y. Tu profesor te pide entregarlas juntas. bfQu e9 regla usas para ensamblar X \land Y?
6
6. Te dicen: "O comes pizza o comes hamburguesa" (P \lor H). Si tu intuici f3n sabe que no comiste pizza (\neg P) y por ende comiste hamburguesa (H), bfc f3mo se llama esta regla de descarte?
7
7. fCu e1l es el conectivo que representa una garant eda estricta de causa y efecto (Si... entonces...)?
8
8. Si te exigen demostrar la meta (A \land B), el algoritmo mental de resoluci f3n te recomienda:
9
9. Tienes K \lor L. Descubres que \\neg L (no pasa L). bfQu e9 deduces y con qu e9 regla?
10
10. La gran regla de oro para no confundirse es:
11
11. Tienes la regla: "Si tocas el fuego, te quemas" (F \to Q). Ves que alguien se acaba de tocar el fuego (F). Deduces: "Se va a quemar" (Q). bfC f3mo se llama afirmar la causa para obtener el efecto?
12
12. Misma regla: "Si tocas el fuego, te quemas" (F \to Q). Viene un amigo y te muestra sus manos perfectas: "No me quem" (\\neg Q). Deduces: "Entonces no tocaste el fuego" (\\neg F). bfC f3mo se llama negar el efecto para negar la causa?
13
13. Tienes un interruptor de luz. Matem e1ticamente, A significa "encendido" y \\neg \\neg A significa "no es cierto que no est e1 encendido". Tu cerebro sabe que son lo mismo. bfQu e9 regla justifica este cambio de formato?
14
14. Efecto domin f3: "Si llueve, hay barro" (L \to B) y "Si hay barro, me ensucio" (B \to E). Concluyes directo: "Si llueve, me ensucio" (L \to E). bfQu e9 regla conecta estos eslabones?
15
15. Frente a un escenario A \to B. Si descubres que ocurre B (el resultado), bfpuedes afirmar por l f3gica estricta que ocurri f3 A?
16
16. Tienes dos planes: "Si voy al cine, gasto dinero" (C \to G) y "Si voy al parque, me relajo" (P \to R). Sabes que s ed o s ed har e1s una de las dos: C \lor P. Concluyes que gastar e1s dinero o te relajar e1s (G \lor R). bfC f3mo se llama esta re
17
17. Tienes la premisa P \to \neg Q. Luego descubres Q libre. Tu instinto sabe que debes negar el origen, pero la regla estricta exige negar el consecuente exactamente. bfQu e9 regla le aplicas a Q antes de hacer Modus Tollens?
18
18. En el Modus Tollendo Ponens (MTP), la palabra "Tollendo" significa "negando" o "quitando". bfQu e9 es lo que quitas?
19
19. Tienes A \to B y en otro rengl f3n tienes \\neg A. bfPuedes aplicar Modus Tollens (MTT)?
20
20. Si la meta de tu ejercicio es \\neg \\neg Z, y en la l ednea 8 lograste descubrir Z. bfQu e9 debes hacer?
21
21. Dadas las premisas 1) X \to Y, y 2) X. La conclusi f3n v e1lida es:
22
22. Dadas las premisas 1) P \lor Q, y 2) \\neg Q. La conclusi f3n v e1lida es:
23
23. Dadas las premisas 1) M \to N, y 2) \\neg N. La conclusi f3n v e1lida es:
24
24. Dada la premisa 1) R \land S. Si necesitas la letra S para el siguiente paso, la conclusi f3n es:
25
25. Tienes en la l ednea 4 la letra T, y en la l ednea 5 la letra W. Te piden unirlas. La conclusi f3n es:
26
26. Tienes la premisa F \to \\neg G, y luego obtienes \\neg \\neg G. La conclusi f3n v e1lida es:
27
27. Dadas 1) A \to B y 2) B \to \\neg C. La conclusi f3n v e1lida es:
28
28. Dadas 1) \\neg P \lor \\neg Q, y 2) \\neg \\neg P. La conclusi f3n v e1lida es:
29
29. Dadas 1) \\neg X \to \\neg Y, y 2) \\neg X. La conclusi f3n v e1lida es:
30
30. Tienes la premisa 1) (A \land B) \to C. Tienes en la l ednea 2) la letra A, y en la l ednea 3) la letra B. bfCu e1l es la secuencia correcta para llegar a C?
|