Übung 1 Schuster

Aus ProgrammingWiki

Aussagenlogischer Interpreter

; Schreibe einen Interpreter für aussagenlogische Terme ; Folgende Operationen sollen unterstützt werden: ; - ¬ ; - ∧ ; - ∨ ; - → ; - ↔ (define ¬ (lambda (t) (not t))) (define ∧ (lambda (t1 t2) (and t1 t2))) (define ∨ (lambda (t1 t2) (or t1 t2))) (define → (lambda (t1 t2) (if (and t1 (not t2)) #f #t))) (define ↔ (lambda (t1 t2) (not (equals? t1 t2))))

(

ausführen

FLACI

Wahrheitstafeln für indirekten Beweis

Vorlesung 1 Folie 22

A	B	¬A	¬B	¬B → ¬A	A → B
#w	#w	#f	#f	#w	#w
#w	#f	#f	#w	#f	#f
#f	#w	#w	#f	#w	#w
#f	#f	#w	#w	#w	#w

Partielle Funktion: Beispiel

Vorlesung 1 Folie 39

(define q (lambda (x) (if (eq? x 3) (q x) (/ 35 (- x 3)))))

(q 42) ;(q 3)

ausführen