How to do Math in programming (34ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
6: デフォルトの名無しさん [sage] 2024/03/23(土) 09:58:52.52 ID:vizf8omG(1) AAS
命題 → 型
偽 → ∅
not A → Hom(A, ∅)
真→ not ∅
AかつB → 直積A×B
AまたはB → 直和A⊕B
AならばB
= not A または B
= (not A)⊕B
= Hom(A, ∅)⊕B
～ Hom(A, B) ※ 真偽が一致する
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.004s