Post by Eugene 2.0 on Aug 22, 2023 18:54:26 GMT
There's a principle in math or logic (p, q - propositions, → - implication):
This principle inferes also "true may be entailed by anything" which means even if we've got any false statement we may entail the truth". Also important, that for implication is true that:
Therefore, from (1) and (2) we imply: whatever we know, we can imply truth from our statements, or else, anyone knows at least one thought that is true.
"p → q is true if and only if either p is false, or q is true" (1)
"if we know p, we also know q" (2)