Dotaz: Scheme - vlastní procedura

[AlastorM]

Vytvořte proceduru Implies, která bude realizovat pravdivostní funkci logické spojky implikace. Mělo by se to chovat následovně:
> (implies #f #f)
#t
> (implies #f #t)
#t
> (implies #t #f)
#f
> (implies #t #t)
#t

Zkoušel jsem toto:
(define implies (lambda (x y) (if (= x y) #t (and (= x #f)(= y #t)))))
a při zadání (implies #f #f)
vyskočí chyba  =: expects type <number> as 1st argument, given: #f; other arguments were: #f

Pomůže někdo?

---

---

Odpovědi

[wamba]

že by eq? místo = ?

PS. není lepší se spolehnout na logiku a vyjádřit implikaci pomocí not a or ?

[AlastorM]

s tím eq? to funguje, ale jak to udělat s not a or ještě nevím...zkusím to a když to nepůjde, tak to nechám s tím eq? Jo a díky

[pranvera]

nevědeli byste jak použít "or a not" procedury, aby to melo stejnou funkčnost jako při " eq? "

díky

[wamba]

( A ⇒ B) ⇔ (¬ A ∨ B) – náhrada implikace disjunkcí a z toho už je to doufám vidět.

[pranvera]

jo, tam už to vidím i já.

(or ( not a)b)

díky

[frEon]

procedury v funkcionalnim jazyce, to jsou mi veci

[Fluttershy, yay!]

Jo, říká se tomu tak.

[djmeff]

takto to vypadá líp

(define implies (lambda (a b) (if a b #t)))