アプリ版:「スタンプのみでお礼する」機能のリリースについて

「同」 を 「I」, 「左」 を 「K」, 「複」を「S」と呼び、箱で囲む 代わりに丸括弧で囲む記法を使う. (SI (KK)y) でxyに () や (KI) を入れて 変形してください.

(K) を 1 (KI) を0と呼ぶと, (SI (KK) y) は何に対応するか.また (SS(K(K(KI))) xy) は何に対応しますでしょうか。

A 回答 (2件)

評価規則が全く分からんので何とも言いようがないです。


ラムダ算法か何かなの?
    • good
    • 1

記号を見る限りはたぶん組み合わせ論理だと思う>#1. そのように妄想できるんだけどきちんとした説明を求めたいところだ.

    • good
    • 0

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!