Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

ayu-mushi (ayu_mushi@mstdn.jp)'s status on Tuesday, 15-Dec-2020 21:05:16 JST ayu-mushi

アンパンマン「友達の友達は友だちだよ！」対偶マン「もし友だちの友だちが友だちでなかったら、そもそも最初の友達は友だちではなかった、ということだね！」

In conversation Tuesday, 15-Dec-2020 21:05:16 JST from mstdn.jp permalink
- sumiyaki likes this.
- ayu-mushi (ayu_mushi@mstdn.jp)'s status on Tuesday, 15-Dec-2020 21:05:16 JST ayu-mushi
  in reply to
  
  背理法マン「友達性についてのこの事実を背理法で用いてみよう。まずAとBが友達であると仮定する。ところが、BとCが友達であること、AとCは友達でないことから、友達関係の推移性(1)と矛盾。よって、AとBは友達でないことが示された。」アンパンマン「(高速無言ｱﾝﾊﾟﾝﾁ」
  
  In conversation Tuesday, 15-Dec-2020 21:05:16 JST permalink
  
  sumiyaki likes this.

Feeds