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
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 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
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.