Semantik der Quantorenlogik - Entscheidungsverfahren

  1. Überprüfen Sie sowohl mit Hilfe von Venn-Diagrammen als auch mit der 0-1-Methode, ob die folgenden Formel Tautologien sind:
    1. "x P(x) Ú"x Q(x) É "x (P(x) ÚQ(x))

    2. $x P(x) Ú$x Q(x) É $x (P(x) ÚQ(x))


File translated from TEX by TTH, version 2.69.
On 1 Nov 2000, 17:38.