トップページ⇒math

1001コメント309KB

数学基礎論の質問スレッド　その２

■ このスレッドは過去ログ倉庫に格納されています

0697１３２人目の素数さん

2006/10/24(火) 07:26:12

>>690
排中律や矛盾律もトートロジーでは？というつっこみはないの
P→Pと￢P∨Pと￢（P∧￢P）は古典論理の中では定義上同じ

■ このスレッドは過去ログ倉庫に格納されています