catalinaortegacalderon
commented
1 year ago Hola!
Para el contraejemplo dado, sigma es: p, p -> 1 alfa es: q fi 1 = p
se dice que no se cumple lo propuesto es (1,0) es decir, p=1 y q=0
queremos revisar la afirmacion de
no alfa (simbolo consecuencia logica) no fi 1 =
no q (simbolo consecuencia logica) no p
para esta valuacion, tenemos que
1 (simbolo consecuencia logica) 0
por ende la valuacion (1,0) es correcta para demostrar que la afirmacion es falsa
Espero que con esto quede claro :)
Hola! En el ejercicio 1.b. se nos pide demostra la afirmación: si alpha es consecuencia lógica de un conjunto de proposiciones, entonces la negación de alguna proposición cualquiera del conjunto es consecuencia lógica de la negación de alpha. En la solución se prueba que es falso porque en el caso (1,0) la tesis de la afirmación es falsa para cierta proposición dentro del conjunto. Mi duda es: no deberíamos encontrar un caso en que la hipótesis sea cierto, pero en que la tesis es falsa. En el caso (1,0) ambas resultan ser falsas.