1 ななしのよっしん
2012/12/09(日) 23:07:01 ID: kMZvkU/7pP
ロリコンだ」の対偶ロリコンじゃなけりゃじゃない」 これが
かわいいは作れる」の対偶「作れなければかわいくない」 ロリは作ってなくても可愛いので偽
かわいいは正義」の対偶正義じゃなけりゃかわいくない」 正義定義が曖昧だから、これもうわかんねぇな

ロリは幼い」の対偶「幼くなけりゃロリじゃない」
世界中のありとあらゆる「幼くないもの」を探しまくって調べれば、結局「ロリ」を一人も調べなくても明できちゃう
直感で「それなんかおかしくね?」って論法の存在を示したのが
ヘンペルのカラス

現実的に考えると対が存在し、かつ常識的に有限だと有用
例えば、ある集団の中に少数のデカイがいて、そいつらが大人だけと解れば、残りがロリの集まりだということが解る

まぁ通常の論理学だと、調べる作業が不可能だろうがヘンペルの論法は正しいらしいですよ、すごいですね論理学
👍
高評価
0
👎
低評価
0
2 ななしのよっしん
2012/12/30(日) 13:15:35 ID: 21sFz/4l8y
👍
高評価
0
👎
低評価
0
3 ななしのよっしん
2012/12/30(日) 13:26:08 ID: RQDuaWEad8
どうして対偶スレで初っ端からロリとかパンツとか出てくんだよwww

おかしいだろwww
👍
高評価
0
👎
低評価
0
4 ななしのよっしん
2013/08/24(土) 20:45:10 ID: ybqy757ZeI
>>1>>2を記事に載せよう
👍
高評価
0
👎
低評価
0
5 ななしのよっしん
2013/08/24(土) 20:58:18 ID: 7tj8iznzDQ
👍
高評価
0
👎
低評価
0
6 ななしのよっしん
2013/08/25(日) 01:27:14 ID: TVSUoyJPk5
>>1
現実的に考えると対が存在し、かつ常識的に有限だと有用
例えば、ある集団の中に少数のデカイがいて、そいつらが大人だけと解れば、残りがロリの集まりだということが解る

ここがどうもおかしい。
まず集団の構成員定されてないから推測の余地が出てくる。もしそこに健太君(男、9才)が含まれていたら、大人以外の残りがすべてロリ(女)の集まりであるとは言えない。
それと対偶文がであることの明ではなく、それとは関係のない論になってる。つまり次のような論になっている。
1)「大人ロリのいずれかである。大人でない。ゆえにロリである。」2)「大人子どものいずれかである。大人でない。ゆえに子どもである。子どもは幼い。ゆえに子どもは幼い。幼いものはロリである。ゆえに子どもロリである。」

1と2いずれにも「幼くなけりゃロリじゃない」が出てくる余地がないし、これはある文がであることの明とは違う。

「幼くなければロリではない」は「すべてのものは、[幼くなく、かつロリであるもの]ではない」と変形できるから、方針としてはその集団のすべての個体について幼くなくないものを調べ、それがロリでなければ明できる。
例えば集団の成員を有限集合、すなわちおっさんAとおっさんBとおっさんCとすると、任意のABCについて「[幼くなく、かつロリであるもの]ではない」が成り立つ。ゆえにこの世界で「幼くなくなけりゃロリではない」はとなる。
そしてこれの対偶を再びとると、「ロリは幼い」となりこれもその世界となる。こういう感じでよかったはず。

あと例文「ロリは幼い」はロリ定義を「幼く、かつ女であるもの」とすれば、「幼く、かつ女であるものは幼い」とでき、これはわざわざ世界を調べるまでもなくとできる。観察から得られる文「ロリはっょぃ」とかにしたほうが例としてふさわしいと思う。

あとヘンペルの論法自体は調べることが可だと仮定したらそういう結論になるという話じゃないか。だから不可能だろうが〜という意見は的が外れていると思う。
👍
高評価
0
👎
低評価
0
7 ななしのよっしん
2013/08/25(日) 15:51:40 ID: TVSUoyJPk5
>>6
ミスがあったので訂正。
2)について、正しくは「xは大人子どものいずれか。xは大人でない。ゆえにxは子ども。xが子どもならxは幼い。xが幼いものならxはロリ。ゆえにxが子どもならxはロリ。ゆえにxはロリ。」

あとその下の文章は、対偶文がある世界であることの明ではなくて、その対偶文をさらに同値変形したものについての話になってたから間違い。
👍
高評価
0
👎
低評価
0
8 ななしのよっしん
2013/08/25(日) 17:10:20 ID: TVSUoyJPk5
ロリは幼い」の対偶、「幼くなければロリではない」が、あるモデルにおいてになることの明を教科書通りにやってみる(用語や真理定義は端折る)
またそのことから幼くないもののみを調べればロリを調べなくともその文の偽が定まることを示す。ところで扱う文の性質上、ここでは通常の論理の一種といえる単項の述語論理を採用する。また真理理論タルスキ・モデルを弱めた閉論理式のみを扱うものを採用する。

まずxは幼いをYx、xはロリであるをLxと解釈する。このとき「幼くなくなければロリでない」は、x[¬Yx→¬Lx]と表現できる。

次に議論領域Dと付値関数VからなるモデルMを定める。
モデルM<D,V>
1)D=幼くなく、かつロリでない人間集合(例えば38歳のおっさんや9歳のショタロリは含まれないことに注意) ※すでに個体の存在の調が終わったものと仮定する。またこれは無限集合と考えてもらっても有限集合と考えてもらっても構わない。
2)V(Y)=幼いものの集合⊆D,V(L)=ロリ集合⊆D

準備は整ったのでここからx[¬Yx→¬Lx]という論理式がモデルMにおいてであることを示す。まずこれは次のようなとなる。
V(x[¬Yx→¬Lx])=1 ※Vはここで論理式に真理値を割り当てる関数
モデルMのすべてのα変種M/αについて、V(¬Yα)=1でないか、またはV(¬Lα)=1※α変種V/αとは個体定項αに対して割り当てる個体がけがVと異なり、その他の割り当てはVと同じ付値関数モデルMのVをV/αに取り替えたものをモデルMのα変種M/αという。以下式にαが含まれるならM/α上とする。
⇔V(Yα)=1であるか、またはV(Lα)=1でない※いずれか一方が成り立てば全体としても1()。
ところで、V(Lα)=1でない⇔V(α)∉V(L)⇔幼くなく、かつロリでない人それぞれロリ集合となり、この時右辺は正しい(ロリ集合ロリでない人達は含まれないから)。
よってV(x[¬Yx→¬Lx])=1となり、対偶文「幼くなくなければロリではない」の解釈であるx[¬Yx→¬Lx]はモデルMでとなる。
[明終]
また、この時モデルにおいて調べたものは「幼くなく、かつロリでない人それぞれ」のみであり、「ロリである人」を一切調べることなく偽が定まった。さらにモデルロリである人が存在しなくとも偽が定まった。
👍
高評価
0
👎
低評価
0
9 ななしのよっしん
2013/08/25(日) 17:24:44 ID: TVSUoyJPk5
>>8
訂正。Dの例から9歳のショタ排除。
👍
高評価
0
👎
低評価
0
10 ななしのよっしん
2013/09/28(土) 10:18:57 ID: TVSUoyJPk5
>>8
訂正:真理々ではなくモデル理論的意味論だった
👍
高評価
0
👎
低評価
0
11 ななしのよっしん
2014/02/12(水) 21:29:18 ID: zLU+i2JIXf
恥ずかしいからパンツだもん吹いた
👍
高評価
0
👎
低評価
0
12 ななしのよっしん
2014/02/24(月) 23:18:37 ID: EPQBqFLmJO
記事乙

でないなら良記事ではない
👍
高評価
0
👎
低評価
0
13 ななしのよっしん
2014/04/02(水) 14:17:41 ID: bbKMHm9uwV
間違ってる
・恥ずかしいのはパンツだからだもん
が正しい

見てるこっちが恥ずかしい
👍
高評価
0
👎
低評価
0
14 ななしのよっしん
2014/11/20(木) 18:19:00 ID: zUjDgVCdAd
なんというかひどい掲示板だ…
👍
高評価
0
👎
低評価
0
15 匿名
2015/11/23(月) 21:54:17 ID: /6dbRXhzeU
結論:日本語って難しいね。
👍
高評価
0
👎
低評価
0
16 ななしのよっしん
2016/02/06(土) 00:36:22 ID: d6ZLqretBi
そもそも「パンツじゃないから恥ずかしくないもん」自体が怪しい
パンツだから恥ずかしい」は恐らくだが、その裏である「パンツじゃないから恥ずかしくない」はだろうか。たとえばパンツすら穿いていないとか、下半身はを着ているが上半身裸とかの場合は。
👍
高評価
0
👎
低評価
0
17 ななしのよっしん
2016/07/21(木) 17:18:36 ID: Hsyu3XPmqv
今問題なのは「パンツじゃないから恥ずかしくないもん」の対偶が「恥ずかしいからパンツもん!」(現行記事のもの)かどうかであって、
パンツじゃないから恥ずかしくないもん」がであるかどうかは問題ではいんじゃないの?
👍
高評価
1
👎
低評価
0
18 ななしのよっしん
2016/07/24(日) 16:34:38 ID: G9dW7kWWL/
0721の日に結論をまとめ上げる>>17有能
👍
高評価
1
👎
低評価
0
19 ななしのよっしん
2016/07/26(火) 09:08:25 ID: BdqIbM8drN
「【パンツを見られない】すべての装は、【恥ずかしくない】装である」
と解釈すると、対偶
「【恥ずかしい】すべての装は、【パンツを見られる】装である」
→「恥ずかしいからパンツだもん」

「【パンツを見られない】ある装は、【恥ずかしくない】装である」
と解釈すると、対偶(というよりは同値)は
「【恥ずかしくない】ある装は、【パンツを見られない】装である」
→「恥ずかしくないからパンツじゃないもん」

どちらの意味にとるかはあなた次第。
👍
高評価
0
👎
低評価
0
20 ななしのよっしん
2016/08/14(日) 01:27:36 ID: zezLx0/vOt
「恥ずかしい、か」

「それならば、パンツであるにほかならない、な」
👍
高評価
0
👎
低評価
0
21 ななしのよっしん
2016/10/31(月) 00:22:25 ID: lrCdtF8dRa
対偶を取る場合、「から」や「ので」という言葉の使い方や
時間の経過には注意しないといけない

例:「お腹いたからご飯を食べる」を一応とする
深く考えずにこれの対偶を取ると「ご飯を食べないからお腹かなかった」
という明らかに偽になってしまう。
正しい対偶は「ご飯を食べないのはお腹いていなかった”から”」と取るべき

つまり「パンツじゃないから恥ずかしくないもん!」の対偶
「恥ずかしいのはパンツだから」が正しいと思われる。

同様に>>1対偶対偶の取り方が間違っている。
かわいいは正義」は要素が欠けており、正しく補すると
かわいい人は皆正義の人である」
これの対偶は「正義の人でないならその人はかわいいとは言えない」となり、
かわいいは正義ならこれもの文章となる。
かわいいという属性正義属性に内包されているので、
その正義属性の外側にいる人間は全てかわいくないはずである。

同様に「かわいいは作れる」は「かわいいという要素は作ることが可な要素である」となり、
対偶は「(○○が)作れない要素ならば、それはかわいいという要素ではない」となる。
かわいいは作れるなら当然これもである。
対偶が偽ならば命題が偽か、対偶の取り方が間違っている。
👍
高評価
2
👎
低評価
0
22 ななしのよっしん
2017/04/24(月) 22:11:10 ID: 4dCOQ88FnL
>>21くんはかわいいは正義の記事を読んでいないみたいですね...
👍
高評価
1
👎
低評価
0
23 ななしのよっしん
2017/05/20(土) 20:17:54 ID: JSzsxJrD+8
衆の面前で突然全裸になる人は変態である」←
変態の人は衆の面前で突然全裸になる」←偽
変態じゃない人は衆の面前で突然全裸にならない」←
👍
高評価
0
👎
低評価
0
24 ななしのよっしん
2017/06/06(火) 08:29:47 ID: ID9hkllGKv
>>21
「恥ずかしいのはパンツだから」ってのはつまり「パンツだから恥ずかしい」ってのと同じ意味だろう?
これだと「パンツじゃないから恥ずかしくないもん!」の裏の意味にしかなってないと思う。
パンツじゃない」→「恥ずかしくない」の矢印の向きを変えないと対偶にはならないと思う。

>>21の例はそもそも「お腹いたからご飯を食べる」をにしてるのが悪いと思うんだけど、まあそれは置いといて、これの対偶は「ご飯を食べないからお腹かなかったのだろう」とすればいいんじゃないの?
👍
高評価
0
👎
低評価
0
25 ななしのよっしん
2017/11/03(金) 01:13:42 ID: UqLKEOSFMY
パンツじゃないから恥ずかしくないもん!」と「恥ずかしいからパンツもん!」は
『意味としては』全然違うようで実は全く同じことを言ってる。それが対偶の関係

肝心の発言の中身が「パンツ以外の恥ずかしいもの」の存在を全にかったことにしてるせいで
どっちにしても言ってるとしか思えないのが問題なだけで。
ここで重要なのは「どう言い換えてもツッコミどころ満載なのは変わんないからね」
(同じ内容ならツッコミどころ(矛盾点)も変わるわけがない)ということ…たぶん

↑の意見の対偶も折だから書こうと思ったけど、長くなりそうだからやめよう
👍
高評価
0
👎
低評価
0
26 ななしのよっしん
2017/11/03(金) 01:17:43 ID: +NzNnx13RI
>変態じゃない人は衆の面前で突然全裸にならない

いや、お前公園全裸になるけど変態じゃないよ?
👍
高評価
0
👎
低評価
0
27 ななしのよっしん
2018/02/09(金) 20:24:45 ID: DL6Yuql0sa
パンツじゃないから恥ずかしくないもん!
対偶
恥ずかしいのでパンツです。

ベン図
タイトル:ベン図
Xで紹介する

28 ななしのよっしん
2018/02/09(金) 20:31:25 ID: YMHCNpiTKd
少女パンツじゃない何かを穿いているストパン

男同士パンツを取り合うレスリング
👍
高評価
0
👎
低評価
0
29 ななしのよっしん
2018/02/09(金) 22:18:42 ID: wT36yfFWMZ
👍
高評価
0
👎
低評価
0
30 ななしのよっしん
2018/03/05(月) 19:51:04 ID: 2pkI1+45kY
よくある間違い
命題「叱られなければ勉強しない」
対偶「勉強すれば叱られる」←???

正しく対偶をとるなら「勉強していれば叱られた後だ」
👍
高評価
0
👎
低評価
0

ニコニコニューストピックス