Příklad 1. Uvažujme výroky

s: V sobotu bude pršet.

n: V neděli bude pršet.

p: Půjdeme na procházku.

Zapište symbolicky složené výroky:

v[1]: Jestliže bude v sobotu nebo v neděli pršet, pak nepůjdeme na procházku.

v[2]: Jestliže půjdeme na procházku, pak nebude pršet ani v sobotu ani v neděli.

a rozhodněte, zda jsou výroky v[1], v[2] logicky ekvivalentní.










Příklad 2. Uvažujme výroky

p: Nejsem lyžař nebo nejsem triatlonista.

q: Jestliže nejsem lyžař, jsem triatlonista.

Z následujících možností vyberte výrok, který je ekvivalentní s výrokem p a výrok, který je
ekvivalentní s výrokem q.

v[1]: Jestliže jsem lyžař, pak nejsem triatlonista.

v[2]: Jestliže nejsem triatlonista, pak nejsem lyžař.

v[3]: Jsem triatlonista nebo jsem lyžař.