--.--
--
上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

10.25
Thu

2012年10月25日

優先順位和名英名
0否定negation
1結言conjunction
1選言disjunction
2含意implication
2同値equivalance

恒真性/矛盾性

恒真文
単文の真理値に依らず複合文の真理値が
矛盾文
単文の真理値に依らず複合文の真理値が
総合文
恒等文でもなく、矛盾文でもない

間接推理の方法(背理法)

  1. 証明したい逆の真理値を仮定する(恒真文なら偽,矛盾文なら真)
  2. 逆算していって矛盾があれば仮定が間違っている。矛盾しなければ仮定は正しい。
  3. 関連記事

comment 0
コメント
管理者にだけ表示を許可する
 
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。