[[論理と計算]] **命題論理 [#vd09864e] ***形式論理の3大原則 [#n17c6019] -同一律(law of identity) &br; P は P である -矛盾律(law of contradiction)&br; 一つの命題「P は Q である」とその否定命題「 P は Q でない」は共に成立する事も共に成立しない事も出来ない。 -排中律(law of excluded middles) &br; 命題は成立するか成立しないかのどちらか以外は起こらない。