太ももぷりん(すももん)vsロシュ限界

205太ももおっぱい◆prin/sdAts
2019-01-05 02:02:15
ID:GGwBz23c

--ここまでのまとめ--

葡萄:妥当な帰納法により、P → Qが成立している。
りおし:帰納は、妥当なこともそうでないこともある

ロシュ:帰納法に妥当性は付与されない
あああ:全ての帰納法により得られた命題には妥当性がない


*推論の正しさを妥当性という >>96
前提が真なら結論も真だと保証された演繹は、妥当である
論法 P ⊢ Q が妥当である必要十分条件は、命題 P → Q が恒真命題 >>196


** 語彙に複数の解釈がある場合
   ・ 「単語a」、「単語b」のように、その語にアルファベットをつけて区別しよう。
   ・ 何を前提と解釈したか明示しよう。

名前:

メール欄:

内容:


文字色

File: