- 506 名前：atheist mailto:sage [2023/01/31(火) 02:51:56.34 ID:cLmDTAuA.net]
- >>503-504
スマホの変換でできるかどうかは分からないのですが
Google日本語入力では￢は「否定」で、∧は「かつ」で、∨は「または」でそのまま変換できます
￢（￢P）がPと同値になるのは、いわゆる反射法則です（真理表でも簡単に確認できます）
はじめの￢は二番目の￢を否定しているのではなく、￢P全体を否定しています
日常言語で言うと、「彼女は美人ではないことはない」＝「彼女は美人」という感じですが
日常言語では二重否定というのは含みを持ちますから否定の否定は肯定と単純化できない
ニュアンスを持ってしまいますね
ただ論理の世界ではまったくの同値になります
対面で図を使えばもっと簡単にわかると思うのですが、文字のみでなかなかわかりにくくてすみません
