Buenos días profesor! Antes de nada agradecerle los tutoriales, ¡FANTÁSTICO TRABAJO DIDÁCTICO! He tratado de resolver los ejercicios antes de ver su resolución, y en el cuarto lo he resuelto de este modo, pero no sé sí son correctos los últimos pasos: NOTA: No he podido poner los corchetes de la fila 8 a la 10 para eliminar una premisa adicional, y de la 7 a la 13 para la otra. 1. p ↔ q r. 2. q V r Pr. 3. p → ¬s Pr. 4. s Pr. 5. p → q E↔1 6. q → p E↔1 7. ¬r Pr. Ad. 8. p Pr. Ad. 9. ¬s E→3,8 10. s Λ ¬s I Λ 4,9 11. ¬¬r I ¬ 7-10 12. r E ¬ 11 13. r Λ ¬r I Λ 7,12 14. ¬¬r I ¬ 7-13 15. r E ¬ 14
Sí. Bivalente quiere decir que solamente hay dos valores de verdad posibles: o verdadero o falso. Y la lógica proposicional tradicional solo acepta estos dos valores, por lo que es bivalente.
@@Avenarius1980 Muchas gracias, maestro. Otra duda. La logica formal es simplemente la logica bivalente? O tambien la logica formal abarca la logica trivalente, etc?
@@filosofadamundana1210 Se dice lógica formal a cualquier lógica que "formalice", es decir, que traduzca lenguaje natural a lenguaje formal (el lenguaje artificial de la lógica que utilizamos en los ejercicios). Por tanto, la lógica trivalente, y todo tipo de lógica multivalente será formal porque "formaliza".
@@Avenarius1980 Mil gracias, profesor. Es que habia leido un articulo sobre logica formal y dialectica de Vicente Muñoz Delgado. Ademas, he oido muchas quejas respecto a la insuficiencia del formalismo en lo que respecta a la Historia de la Logica.
Muchas gracias!!!!!! Precioso curso de lógica, jamás lo vi en el cole y me lo necesitaba para la Uni, un fuerte abrazo!!!!
En el ejercicio 1, no puedes sacar directamente la R en el paso 5, por Sd de 2 y 4? gracias
Si, puedes.
DESDE CHILE🇨🇱🇨🇱FELICITACIONES CORDIALES SALUDOS
Buenos días profesor! Antes de nada agradecerle los tutoriales, ¡FANTÁSTICO TRABAJO DIDÁCTICO!
He tratado de resolver los ejercicios antes de ver su resolución, y en el cuarto lo he resuelto de este modo, pero no sé sí son correctos los últimos pasos:
NOTA: No he podido poner los corchetes de la fila 8 a la 10 para eliminar una premisa adicional, y de la 7 a la 13 para la otra.
1. p ↔ q r.
2. q V r Pr.
3. p → ¬s Pr.
4. s Pr.
5. p → q E↔1
6. q → p E↔1
7. ¬r Pr. Ad.
8. p Pr. Ad.
9. ¬s E→3,8
10. s Λ ¬s I Λ 4,9
11. ¬¬r I ¬ 7-10
12. r E ¬ 11
13. r Λ ¬r I Λ 7,12
14. ¬¬r I ¬ 7-13
15. r E ¬ 14
Saludos y muchísimas gracias por los vídeos. ¿El ejercicio 3 se puede hacer en 12 pasos si suponemos S en 7? Y usando derivados lo hice en 7 pasos.
MUCHAS GRACIAAAS!!!!!!
Buenos dias, querido profesor. Vengo con una pregunta, ¿es esto que usted nos enseña logica bivalente? Saludos, profesor
Sí. Bivalente quiere decir que solamente hay dos valores de verdad posibles: o verdadero o falso. Y la lógica proposicional tradicional solo acepta estos dos valores, por lo que es bivalente.
@@Avenarius1980 Muchas gracias, maestro. Otra duda. La logica formal es simplemente la logica bivalente? O tambien la logica formal abarca la logica trivalente, etc?
@@filosofadamundana1210 Se dice lógica formal a cualquier lógica que "formalice", es decir, que traduzca lenguaje natural a lenguaje formal (el lenguaje artificial de la lógica que utilizamos en los ejercicios). Por tanto, la lógica trivalente, y todo tipo de lógica multivalente será formal porque "formaliza".
@@Avenarius1980 Mil gracias, profesor. Es que habia leido un articulo sobre logica formal y dialectica de Vicente Muñoz Delgado. Ademas, he oido muchas quejas respecto a la insuficiencia del formalismo en lo que respecta a la Historia de la Logica.
Te falta la línea 17
Sí, cierto es. Gracias.