きゅう数徒

cutie streetと数学が好きです。
箱推しです。
6番目のアカウント

[きゅう数徒 @kyusugaku]

@Judgement_2018 @qptxyz @fuktommy 前提のp→p 推論の(p→p)→(p→p)、結果の p→pが導出できます。トートロジーも推論になりえます。ちなみにトートロジーの判定法はpに真偽の値を入れていつも真になることです。p→pも真→真(真)
偽→偽(仮定が偽ならば真になる) (p→p)→(p→p)も同じです

[きゅう数徒 @kyusugaku]

@Judgement_2018 @qptxyz @fuktommy 定義によるとトートロジーだけで有限列を構成できます。 すなわち項が一つしかない有限列がありその項が {p → p}だけです。項が一つしかないので最後の項でもあり、p->pを推論から証明できることになります。(p→p)→(p→p)もトートロジーなので公理に含まれます。つまりmodusponensによって

[きゅう数徒 @kyusugaku]

なにつぶやこう

[きゅう数徒 @kyusugaku]

@nagisa_cs0628 これはやばい

[真鍋凪咲 （CUTIE STREET） @nagisa_cs0628]

おはよ✌🏻

[きゅう数徒 @kyusugaku]

@CUTIE_STREET_ おめでとう

[CUTIE STREET【Official】 @CUTIE_STREET_]

Happy 2nd Birthday CUTIE STREET!!

@CUTIE_STREET_🤍

💛古澤里紗❤️佐野愛花
💚板倉可奈💙増田彩乃
🧡川本笑瑠🩵梅田みゆ
💜真鍋凪咲🩷桜庭遥花

#原宿から世界へ
#きゅーすと2周年
#CUTIESTREET #きゅーすと

[箱星 : 探究 @hakoboshi_e]

雪江代数の英語版の表紙はもう出てるね（発売はまだ）
https://t.co/RLlKY1I0Ha

[きゅう数徒 @kyusugaku]

@CUTIE_STREET_ 隠されてるあいかが可愛い

[きゅう数徒 @kyusugaku]

笑瑠のデコだしヘアの可愛さを表現する単語は存在しない

[きゅう数徒 @kyusugaku]

@Amagasaki_2022 @linkuma_ss スヌンとか定期テストとか色々です

[きゅう数徒 @kyusugaku]

金曜日なのに？

[きゅう数徒 @kyusugaku]

おい給料早く振り込めよ

[きゅう数徒 @kyusugaku]

給料早く振り込んで

[あいす【あいこる/ iLiFE!】 @ice_icol]

アツい夏にあいすはいかが？🍨♡

[真守みゅう【iLiFE!】 @iLiFE_mew]

今年の夏はみゅうと楽しもうね🎐꙳⋆

[きゅう数徒 @kyusugaku]

いいね欄どこいったの？見れない