Mi a diszjunkció? Bizonyítsa be, hogy a művelet kommutatív és asszociatív!

A diszjunkció olyan logikai művelet, mely két kijelentést a “vagy” kötőszóval egy kijelentéssé kapcsol össze.

A művelet kommutatív: A \lor B = B \lor A , a definíció szerint ugyanis az eredmény logikai értéke független az eredeti állítások sorrendjétől.

A művelet asszociatív: (A \lor B) \lor C= A \lor (B \lor C)

Címkék: , , ,