Si tienen que hacer un condicional asociado, recuerden que TAL COMO SE EXPLICÓ EN CLASE, si las premisas son más de dos, deben ser agrupadas en grupos de a dos, caso contrario la subfórmula compuesta por las premisas se queda sin conectiva principal. Y en tal caso el ejercicio está equivocado. FUE UNO DE LOS ERRORES QUE SE VIERON EN EL PARCIAL.
Ejemplo1:
(Forma lógica de) argumento: A, B /∴ C
Condicional asociado: (A&B)>C
Este ejemplo no tiene complicaciones porque son solamente dos premisas.
Ejemplo 2:
(Forma lógica de) argumento: A, B, C /∴ D
Condicional asociado:
- opción 1: ((A&B)&C)>D CORRECTO
- opción 2: (A&(B&C))>D CORRECTO
RESPUESTA INCORRECTA: (A&B&C)>D INCORRECTO
Y así sucesivamente a medida que va aumentando el número de premisas.
De hecho, ya habíamos adelantado este problema en un post de hace unas semanas (y lo vimos en algunos ejercicios del práctico de hallar la forma lógica, a saber, éste: https://fuficeco2021.blogspot.com/search?q=repetidas)
Brenda: aprobada
Alexis: aprobado
Me alegro mucho haber tenido hoy un 100% de aprobados.
Buen finde!!!!!!!!!!!!!!!!
APROBADOS:
Hola,
Para quienes lo necesiten acá tienen una tabla con las variantes de notación de las conectivas que pueden encontrar en la bibliografía y en los prácticos.
https://drive.google.com/file/d/1HPzg3zNFp67mOPYM9qqZe41W866AYtQi/view?usp=sharing
APARTE, están las conectivas inventadas que usaremos en el parcial, que ya puse en un post, y también las de TAUT. Para mayor abundamiento, las repito acá:
PARA EL PARCIAL
NEGACIÓN:
Sólo admitiremos el guión común (-). Es la negación de Echave, Urquijo y Guibourg. Es el guión conocido como "guión bajo", que está tanto en el teclado alfabético como (en las computadoras que lo tienen) en el teclado numérico (en este caso, es la tecla del extremo superior derecho). NO ADMITIREMOS EL GUIÓN ANGULAR (el de los prácticos, ¬) PORQUE mOOdle no lo admite.
CONJUNCIÓN: &
DISYUNCIÓN: +
CONDICIONAL: >
BICONDICIONAL: =
NO SE ADMITEN PARÉNTESIS REDUNDANTES. EL ÚNICO PAR DE PARÉNTESIS REDUNDANTE QUE SE ADMITE ES UN PAR QUE ENVUELVA LA FÓRMULA ENTERA.
LAS FÓRMULAS DEBEN ESCRIBIRSE SIN USAR ESPACIOS. TODOS LOS SÍMBOLOS (LETRAS, PARÉNTESIS, CONECTIVAS) UNO PEGADO AL OTRO, TODOS JUNTOS, COMO PUÑALADA DE LOCO. Esto no es un capricho sino una restricción debida a Moodle.
SÓLO SE PUEDEN USAR LAS SIGUIENTES LETRAS PROPOSICIONALES EN LAS FÓRMULAS: 'p', 'q', 'r', 's', 't', 'u', 'w'.
NEGACIÓN: ¬ / not
CONJUNCIÓN: & / and
DISYUNCIÓN: or
CONDICIONAL:`then
BICONDICIONAL: iff
SÓLO SE PUEDEN USAR LAS SIGUIENTES LETRAS PROPOSICIONALES EN LAS FÓRMULAS: 'p', 'q', 'r', 's', 't', 'u', 'w' (las mismas que para el parcial)
RECORDAR QUE Taut NO ADMITE PARÉNTESIS REDUNDANTES. EL ÚNICO PAR DE PARÉNTESIS REDUNDANTE QUE ADMITE Taut ES UN PAR QUE ENVUELVA LA FÓRMULA ENTERA. (igual que para el parcial).
Taut admite espacios entre símbolos (a diferencia de nuestra condición para el parcial, que NO los admite).
