0127132人目の素数さん垢版 | 大砲2023/11/10(金) 17:51:29.14ID:4oE8Qc4/ >>122 一致するわけないだろ! 君の定義では証明するか否定を証明しない限り真偽値は分からないのに、P→Qも¬(P→Q)も証明不可能な命題ではないか