3 ms·

P ^ not P => _|_ The axioms of a logic that are consistent will definitely not let a statement be true and false at the same time.

• zkmon 4mo ago
  Those axioms do not have a basis other than observations at human scale.
  • vatsachak 3mo ago
    They have a basis in the formal scale. The cool thing about formal logic is that it's all about physical changes. Now, the meaning of the statements is definitely human, but the proofs go beyond