Miércoles 31 de Agosto de 2016

1) Una valuación es una función de fórmulas de P a valores de verdad. ¿Cuáles serían las consecuencias de permitir que a ciertas fórmulas de P no les correspondiera un valor de verdad? ¿Qué pasaría, en particular, con las inferencias de la forma “A por lo tanto A”?

2) Supongamos que A y B son tautologías o autocontradicciones (es decir, A es una tautología o una autocontradicción, y B lo mismo). Pensemos ahora en la inferencia “A por lo tanto B”. ¿Cuál es la única combinación que da como resultado una inferencia inválida? ¿Por qué el resto serían inferencias válidas?

3) Supongamos que “Γ por lo tanto A” es una inferencia válida. ¿Qué pasa si le agrego una premisa autocontradictoria? ¿Y si le agrego una contingencia? ¿Y si le agrego una tautología?

Leave a Reply

Your email address will not be published. Required fields are marked *