# 1. Übungsblatt

## Gruppe

Name:  
Name:  
Name:  

## 1.1: Verständnisfragen

(1) ...
(2) ...
(3) ...

## 1.2: Atome und Gültigkeit

Gegeben die Formel ϕ = A ∧ (B --> ¬ C) ∨ ¬ (A --> ¬B) ∧ D ∨ ¬A

1.0. Schreibe ϕ mit expliziter Klammerung:

1.1. Berechne die Atome in ϕ wie in der Vorlesung:

atoms(ϕ) 
= atoms(A ∧ (B --> ¬ C) ∨ ¬ (A --> ¬B) ∧ D ∨ ¬A)
= ...

1.2. Belege die Atome mit Wahrheitswerten deiner Wahl:

(Beispiel für die Notation:)
v = [ A ↦ 0, ... ]

1.3. Berechne schrittweise die Semantik von ϕ unter dieser Belegung:

[[ ϕ ]]v 
= [[ A ∧ (B --> ¬ C) ∨ ¬ (A --> ¬B) ∧ D ∨ ¬A ]]v
= ...