kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2018-02-19から1日間の記事一覧

定理証明手習い (43) set?/add-atomsの証明(続)

下記にオレンジ色で示したif式のQuestion部は、どちらも同じ(set? (add-atoms (cdr a) bs))という意味です。 知ってた しかし、if-nest-Aやif-nest-Eで単純な形にはできません。 先に言ってくれ!