8,864
回編集
「エトセトラ」の版間の差分
ナビゲーションに移動
検索に移動
→循環定義の問題点
(→概要) |
|||
| 93行目: | 93行目: | ||
エ,セ,ラ,etc ⇔ エ,セ,ラ,エ,セ,ラ<br> ⇔ エ,セ,ラ,¬(エ∨セ∨ラ) <br>∴ エ,セ,ラ ⇔ ¬(エ∨セ∨ラ) | エ,セ,ラ,etc ⇔ エ,セ,ラ,エ,セ,ラ<br> ⇔ エ,セ,ラ,¬(エ∨セ∨ラ) <br>∴ エ,セ,ラ ⇔ ¬(エ∨セ∨ラ) | ||
「『エ』と『セ』と『ラ』は、『エ』でも『セ』でも『ラ』でもない」という矛盾の発生より、背理法によって「エトセトラ | 「『エ』と『セ』と『ラ』は、『エ』でも『セ』でも『ラ』でもない」という矛盾の発生より、背理法によって「エトセトラ ⇔ エ,セ,ラ」という仮定、つまり以前の定義が誤っていることが分かるのである。 | ||
では、潜性セトラ説に基づき、「エトセトラ ⇔ エ,セ,ラ,エトセトラ」と仮定すると、以下のようになる。 | では、潜性セトラ説に基づき、「エトセトラ ⇔ エ,セ,ラ,エトセトラ」と仮定すると、以下のようになる。 | ||
| 114行目: | 114行目: | ||
結局のところ、「エ」と「セ」と「ラ」の性質が解明されない限り、エトセトラ学の発展、つまり完成を目にすることはできないのである。 | 結局のところ、「エ」と「セ」と「ラ」の性質が解明されない限り、エトセトラ学の発展、つまり完成を目にすることはできないのである。 | ||
==脚注== | ==脚注== | ||
<references /> | <references /> | ||
[[カテゴリ:ロジック]] | [[カテゴリ:ロジック]] | ||