Tabla de verdad de implicaciones lógicas

De hecho, las proposiciones implícitas se juzgan principalmente mediante el razonamiento.

Mientras la inferencia sea verdadera, la proposición debe ser verdadera; cuando la inferencia es falsa, depende de si la hipótesis es consistente con el valor de verdad de la inferencia. Si son consistentes, la proposición es verdadera; si son inconsistentes, la proposición es falsa.

Explicación:

"La hipótesis es falsa y la inferencia es verdadera". La razón por la cual una hipótesis es una hipótesis es porque es imposible conocer su valor de verdad, siempre y cuando como la inferencia es verdadera, la proposición debe ser verdadera.

Por ejemplo, “Si llueve por la noche, no saldré a correr”. Y si efectivamente no llovió en la noche, igual no salí a correr, solo porque comí demasiado, jaja~~ Entonces pasó esto, así que queda establecida la proposición.

"La hipótesis es verdadera, la inferencia es falsa." Se han establecido las condiciones de la hipótesis en la proposición, y la inferencia obtenida es falsa, es decir, el evento no ocurrió según el proceso lógico en la proposición, por lo que toda la proposición implícita es falsa.

Por ejemplo, sigue siendo el ejemplo anterior. Llovió por la noche, pero salí a correr. Esto esencialmente debe violar la proposición, por lo que toda la proposición es falsa.