En el primer caso, P es "un número entero es negativo" que no tiene valor de verdad. Si fuera "todo entero es negativo", sería falso.
Pero así como está, nada se puede decir, porque no es una proposición.
En el segundo caso, P es claramente FALSO, y ya no importa que valor de verdad tiene Q.
Pero no diría que la oración completa se trata de una afirmación verdadera, sino que es un razonamiento válido, dentro de las reglas de la lógica proposicional.
2 comentarios:
En el primer caso, P es "un número entero es negativo" que no tiene valor de verdad. Si fuera "todo entero es negativo", sería falso.
Pero así como está, nada se puede decir, porque no es una proposición.
En el segundo caso, P es claramente FALSO, y ya no importa que valor de verdad tiene Q.
Pero no diría que la oración completa se trata de una afirmación verdadera, sino que es un razonamiento válido, dentro de las reglas de la lógica proposicional.
(creo que) El problema es que P y Q no son independientes, Q se puede escribir como (¬P ^ R), en este caso R es "3 es positivo"
Publicar un comentario