Ü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))))

(

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)

Übung 1 Schuster

Aussagenlogischer Interpreter

Wahrheitstafeln für indirekten Beweis

Partielle Funktion: Beispiel

Suche