0
問題大学数学以上

合成関数

駆け出し冒険者とつながりたい,勉強垢とつながりたい,国民投票法改正案に広義します
8
0
$$$$

hbhb bbk
hbhb bbk

imp

$$ imp\ a\ b:=a\rightarrow\ b $$

tran

$$ tran \ U \ R:=\forall x \ y \ z:U,R\ x\ y\rightarrow R\ y \ z\rightarrow R\ x \ z $$

$$ tran\ imp $$

      Require Import Utf8.

Set Implicit Arguments.

Definition imp a b:=a → b.

Definition tran U R:=
 ∀x y z:U,R x y → R y z → R x z.

Fact Biden:tran imp.
VOTE!
投稿日：2020年11月25日
更新日：2020年11月25日

投稿者

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

コメント

合成関数