数学とか 矛盾の認識
論理的に矛盾する関係(論理)ってどんなのがあるたまろうとふと思って考えて見ました。 矛盾は命題の如何に関わらず恒に偽となる式。例えば A∧¬A=⊥ 上の論理式は命題の真理値にかかわらず恒に偽となる論理式。つまり恒偽式=矛盾=⊥です。 この推...
数学とか
よもやま話
数学とか
よもやま話
よもやま話
数学とか
トレーニング
よもやま話
よもやま話
よもやま話
技術
メンタル