NORMAS DE FORMATO ( para respuestas )
Conditions d’achèvement
Formatos de respuesta para ejercicios de lógica
Para que las respuestas sean correctas, es obligatorio seguir exactamente estos formatos.
Formulas lógicas bien formadas
- Prohibido usar espacios.
- Los caracteres(CHAR) para las conectivas lógicas son: -|-------------|------|--------------------|- |CONECTIVA | CHAR | NOMBRE | -|-------------|------|--------------------|- |Conjuntor | y | Y griega minúscula | |Disyuntor | v | Uve minúscula | |Implicador | > | Mayor que | |Coimplicador | = | Igual | |Negador | - | Guión | -|-------------|------|--------------------|-
- Los paréntesis ( ) se usarán sólo si son estrictamente necesarios
- Las variables proposicionales son estas letras mayúsculas: A, B, C, D, E, G, H, J, K, L
- Las variables proposicionales deben usarse en orden alfabético: correctos: AvB (AvC)y(BvD) EyGyJ incorrectos: BvA (BvD)y(AvC) GyJyE
- Los valores de verdad (mayúsculas):
- V: verdadero
- F: falso
Deducción Natural
- Siempre 2 columnas: Izquierda: Fórmula bien formada resultante Derecha: Regla aplicada (siguiendo el formato de aplicación)
- Formato de APLICACIÓN de regla: SG LS SG: Siglas de la regla aplicada : 1 único espacio LS: Líneas de aplicación: una, varias (separadas por coma), rango (con guión)
- Los supuestos se indicarán en la columna de la derecha: [ Sup : Apertura de supuesto | : Líneas internas de supuesto ] : Cierre de supuesto
- ⊢ : Símbolo que precede a la conclusión a demostrar
- Siglas de reglas y formatos de aplicación (# = número de línea)
-|--------|-------------------------------------------------------|--------------|
| SIGLAS | REGLAS BASICAS | APLICACIÓN |
-|--------|-------------------------------------------------------|--------------|
| IC | Introducción del conjuntor | IC #,# |
| EC | Eliminación del conjuntor | EC # |
| ID | Introducción del disyuntor | ID # |
| ED | Eliminación del disyuntor (Casos) | ED #,#-#,#-# |
| MP | Eliminación del implicador (Modus Ponens) | MP #,# |
| TD | Introducción del implicador (Teorema de la deducción) | TD #-# |
| IN | Introducción del Negador (Absurdo) | IN #-# |
| EN | Eliminación del negador | EN # |
|----------------------------------------------------------------|--------------|
| REGLAS DERIVADAS |
|----------------------------------------------------------------|--------------| | MT | Modus Tollens | MT #,# | | CP | Contrapositivo | CP # | | SD | Silogismo Disyuntivo | SD #,# | | SH | Silogismo Hipotético | SH #,# | | Dy | Distributiva del conjuntor | Dy # | | Dv | Distributiva del disyuntor | Dv # | | DMy | De Morgan para la conjunción | DMy # | | DMv | De Morgan para la disyunción | DMv # | | DIy | Definición del Implicador para la conjunción | DIy # | | DIv | Definición del Implicador para la disyunción | DIv # | | IDMy | Idempotencia del conjuntor | IDMy # | | IDMv | Idempotencia del disyuntor | IDMv # | | ABSy | Absorción del conjuntor | ABSy # | | ABSv | Absorción del disyuntor | ABSv # | | IDE | Identidad | IDE # | | IDN | Introducción del Doble Negador | IDN # | -|----------------------------------------------------------------|--------------|
Ejemplos de Deducción Natural
- AvB, B>C, C>D. ⊢ A>D
-|-----------|----------|- | -1 AvB | ⊢ ¬A>D | | -2 B>C | | | -3 C>D | | | 4 B>D | SH 2,3 | | 5 ¬A | [ Sup | | 6 B | | SD 1,5 | | 7 D | ] MP 4,6 | | 8 ¬A>D | TD 5-7 | -|-----------|----------|-
Ejemplos de Formalización
- Juan y Miguel son rubios
-----------------------------------------------------------------
|Marco Conceptual | MC={ A: Juan es rubio, B: Miguel es rubio } |
|Formulación Correcta: AyB |
|Formulaciones Incorrectas: ByA A y B |
----------------------------------------------------------------- - María es alta pero Pedro no
-----------------------------------------------------------------
|Marco Conceptual | MC={ A: María es alta, B: Pedro es alto } |
|Formulación Correcta: Ay-B |
|Formulaciones Incorrectas: -ByA A y -B -B y A |
----------------------------------------------------------------- - Si Julia se compró el coche, Miguel no compró la moto
---------------------------------------------------------------------------
|Marco Conceptual | MC={ A: Julia compra coche, B: Miguel compra moto } |
|Formulaciones Correctas: A>-B -Av-B |
|Formulaciones Incorrectas: B>-A A > -B -A v -B -Bv-A |
--------------------------------------------------------------------------- - Si y sólo sí sabes el password puedes jugar y retransmitir a la vez
-----------------------------------------------------------------
|Marco Conceptual | MC={ A: Sabes el password, B: Puedes jugar, | | | C: Puedes retransmitir } |
|Formulaciones Correctas: A=ByC |
|Formulaciones Incorrectas: A=CyB A = ByC A= ByC |
-----------------------------------------------------------------
Modifié le: mercredi 13 septembre 2023, 11:39