  |
はてなキーワード: 対偶とは
対偶が成り立つってのも古典論理のような特定の公理系を認めたなかでしか保証はされないことなはずなのに、実際に具体的なことを推理する時には外れる反例が見つからないってレベルで正しいから不思議なんだよな
宝くじが当たってるならその宝くじを買ってるに対して宝くじを買ってないならその宝くじに当たらないことも正しいって推理はまあ間違いではないわけじゃん。
深夜なら太陽が出てないに対して太陽が出てるなら深夜でないも白夜とか突っ込まれる余地があるのを踏まえてもかなりの精度で現実に即して正しいと理解できる推理結果になっている
真理値の組み合わせは8通りしかなくて云々で当然だーとか言われてもそもそも最小論理に真理値なんて存在しないし。
純粋に対偶をとるって行為が無矛盾を証明できないけど無矛盾な素晴らしい手法って単純な話なんかなあ？
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260101014339# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaVoFsQAKCRBwMdsubs4+ SAAJAQCSVvTQszNbu3Fcq8x5PNK8wVO+P+o5Dk7Ym+FYt9WoegD/X4H/AsKYFDmO 1mXGuAk2+S4K4wiKvQzZqW96M7wFHgA= =z1vY -----END PGP SIGNATURE-----
(1)もし俺が実の子供だったらそんなこと言わないよね？
てな感じ
実質的に同じ答えを期待できるので後者も見た目反して仮定の意味が含まれていると考えるべきかもしれない
あとブコメ欄に対偶がどうの言ってる奴がいるが全く的外れ。そんな話はしてない。
ここで相手から聞き出したいことは「実の子供であるかどうかがそんなことを言うかの判断に関係しているか」だ。
そのうえで、かりに仮定の部分を機械的に対偶にして「そんなこと言うから俺が実の子供じゃないんだ!」と言っても、相手はその発言の真意を理解できず「お、おう…」ぐらいの反応はしても、期待した情報を引き出せないだろう。
というか日本語のかたちをしているがいかにもよくわからない発言だ。「名無し象は鼻がウナギだ！」みたい。
ちょっと工夫して「そんなこと言う『なら』俺は実の子供じゃないんだ。」と言っても同じ。いや何言ってるの？狂った？ってなる(実の子供の発言であることに注意)
(1)の言い方なら当然実の子供かどうかが判断に関係するかの直接的な言い方になってるので相手にその気があれば求める情報が返ってくる。
しかしそういう「もしたられば」の話には自由に想像してくれとかいって茶化してまともに取り合うタイプではない人に対しても、(2)の言い方で(1)と同じ情報が引き出せる。
言い換えれば仮定の話に付き合う人になら(1)と(2)のどちらを用いてもその答えは「実の子供であるかどうかがそんなことを言うかの判断に関係しているか」に関する情報を含むものになる。
なぜかといえば(2)においては「俺が実の子供じゃないから」に対して、疑義があれば反論が促されそれがこちらの求める情報であり、疑義が無ければそのまま肯定するだけでそれもまた「実の子供であることと判断には関係がある」という求めた情報を得られていることになるからだ。
疑問や感嘆の表現を使っている時点で、必ずしも対偶などの概念で議論できる範疇ではないということ。
そもそも自然言語でのやり取りは必ずしもある表現とその対偶が「解釈として同じ意味になる」ようなものにはなっていないと予測されることは少し考えればわかるだろうが。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251219123631# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaUUe+QAKCRBwMdsubs4+ SDVfAP4qGXNOwp3l/UlLQEgDCi2r5tuDpw4XcFJgAgOexBxLOwD+KD3gajPqnwFM XCw4pnjm9XtkYFqEg7w4/K/56JNtzAw= =AEtb -----END PGP SIGNATURE-----
Switch2が当たらないから、当たったら買う予定のゲーム版シャインポストの予習として、ユーチューブの公式チャンネル（https://www.youtube.com/@SHINEPOST）で期間限定公開をされているTVアニメ版シャインポストの感想を書いていく。
コメディ要素多めのゆきもじ回。これまでにも思わせぶりに TiNgS の三人に絡んできていた同じ事務所の祇園寺（【ゆ】き【ね】）さんと伊藤（【も】み【じ】）が、実は元々は TiNgS の一員でその頃のグループ名は TINGS だと判明する。そして中野サンプラザでのライブを成功させるためにグループを抜けた二人を再加入させようと TiNgS 三人がドタバタする話。
……というか、ツンデレ（祇園寺）さん練習生扱いだったの！？ こんだけ姉御肌で頼りになるのに！？ 別の意味で驚いてしまったが、７話８話でなぜこの二人がグループを抜けたのか明らかにされた時は得心した。筆者がある程度予測していた理由だったので。
さて、この７話の特徴として、今までマネージャーくんの前で「光って」言ったセリフは嘘であるというギミックを前提とした視聴者の盲点を突くとある仕掛けが施されていた。それは「光らない」嘘があるということである。すなわちここまで作品を見てきた視聴者は視聴経験を通して、「嘘＝光る」と認識するようになっている。キャラクターが嘘をつく光ると。しかしこれは真には「光るならば嘘」なのだ。つまりその逆「嘘ならば光る」は常に成り立つわけではない（古典命題論理における対偶・逆の関係）。
７話においてはマネージャーくんの嘘をついている人間が光るという特殊能力は、言語以外の嘘・偽り・誤魔化しについては効果を発揮していないことが明かされた。つまり、７話において明かされた真の事実は、ゆきもじの二人が元々 TINGS の一員だったことではなく、青天国春が今までずっと「パフォーマンスにおいて手を抜くという形で嘘をつき続けていた」という事実であったのだ。
非言語的な嘘であったから光ることはなかったその偽りは、これまでに積もりに積もった青天国は目標に真っすぐで嘘をつかないという視聴者の先入観を真っ向から打ち崩すものだった。おそらく当時の視聴者は７話の最後でその嘘を指摘された青天国が「いつでも全力でやってるよ」と口に出して「光った」とき、ついに青天国春が光ったと大いに沸いたのだろうと推測する。
これは８話まで見終わって気がついたのだが、５人の頃のグループが大好きだったから戻ってきて欲しいと訴える青天国のセリフに対して祇園寺さんの「あのころに戻りたいと思ったことなど、一度たりともない」と言う言葉はマネージャーくんの前なのに「光ってない」。つまり嘘ではない本心の言葉だ。８話を見終わればなぜ心から「あの頃に戻りたい」と思わないのか伏線が回収されるが、勘の良い視聴者は彼女たちのグループ脱退の理由にここで気がついていたのだろうと思う。しかしまあ、青天国が手を抜いていたという事実を知ってからこのシーンを見返すと、本心を隠した彼女の言葉は祇園寺さんにとってはとんでもない侮辱になっていることが分かるな。
（ところで７話の後半の祇園寺さんが本音を言うシーン、正直興奮したよね。ギスギス修羅場スキーとして震え声の本音にグフフフって厭らしい声出ちゃった。「私様」って作っていた性格を取っ払って「私」として本音を言うとこスキスキ。）
ゆきもじ回後半で過去回想。なぜ彼女たちがグループを抜ける決断をするに至ったのかが明かされる。
この回を見て思ったことは……辛い。いや、経験者であることを隠していた青天国と社長が一番問題なんだけど、それでも自分が唯一の芸能界経験者だから皆を引っ張っていかないとと奮起していたら自分より遥かに上手い青天国がわざと手を抜いていたことが分かるんだもの。しかも彼女に対して目立った成長ができていないともアドバイスしちゃってたのだもの。惨めさやら悔しさやら恥ずかしさやら感情が渋滞してしまうのはしょうがないよ。
（イケメン芝居をしていたのを伊藤に見抜かれて、照れて素の声がでちゃう祇園寺さんかわいいね……）
青天国が本気を出していないことに気がついた祇園寺さんと伊藤が、TINGS 全員が夢を叶えるため……青天国に本気を出させるためにあえてグループを抜けてライバルの位置立とうとするの泣ける。すごい泣けるけど、実際やってたことは裏方としての TiNgS のサポートとか落ち込んでいる玉城や聖舞へのアドバイスとか普通に良き友人としての行為でライバルに徹しきれない情けないところがまた違った意味で泣ける。
（前から思ってたけど、ゆきもじのそのレッスン……根性論ベースで非効率的すぎやせんか？）
だから本気を出して欲しいと言うゆきもじの訴えに、青天国は「本気なんて出さない方がいい！」と言ってもう一度「光る」。さあ次は青天国の憑き物落としだ。
今回ウケたところ。自分たちでは TiNgS を脅かすライバルになれなかったと言って崩れ落ちて号泣している祇園寺さんに、「あれだけ私達の心配をして面倒を見ていてくれて、それでライバルとか詰めが甘すぎる」と正論パンチしてギャン泣きさせる玉城。面倒見の良い祇園寺さんはあれで精一杯突き放しているつもりだったんだよ笑。確かにあれだけ構っておいて世話を焼いてライブでもバッチリ応援を送って、それで「ライバルに気安く声をかけるな」はギャグでしかないけど笑。事実は時として人を傷つけるのだ。
カミーユ：マッチョコンプレックス。でも実は感受性が高くてそんな男男しているわけではない。
途中からコンプレックスによる怒りっぽさは大分収まってくる。感受性が高すぎて精神崩壊。
シロッコ：今でいうチンポ騎士。口ではフェミニストっぽいことを言ってるが、実際には女性を心理的に操作して楽しんでいる
サラ：男性に操られ、自己を捧げてしまう典型的な“恋に殉ずる少女"
レコア：男女の性的役割にこだわりまくる。ジェンダー保守主義者。でも本人は危険な活動してて理想とのギャップに悩む
エマ：男社会の中で戦う女性。なんとなく冨野が"良し"と考えた女性像だと思う。レコアみたいに過剰に性別にこだわったりしない。
フォウ、ロザミア：いわゆる女性のモノ化を文字通り体現。ロザミアがお兄ちゃん呼びしたりするのはわかりやすい
ハマーン：シロッコとの対偶で統治者としての女性。ただ、理解者がいなくて孤独。
