Opracowanie:
Prawo rozdzielności koniunkcji względem alternatywy
Prawo rozdzielności koniunkcji względem alternatywy
Zweryfikowane
Prawo rozdzielności koniunkcji względem alternatywy:
Koniunkcja zdania p i alternatywy q r to alternatywa koniunkcji zdań p i q oraz p i r.
p (q r) (p q) (p r)
Przykład: Koń jest ssakiem i (pies mieszka w budzie albo kot śpi na piecu) (Koń jest ssakiem i pies mieszka w budzie) albo (koń jest ssakiem i kot śpi na piecu).
Żeby to udowodnić zastanówmy się nad wartościami logicznymi:
Koniunkcja zdania p i alternatywy q
p
Powyższe zadanie zostało zweryfikowane przez nauczyciela