Matematické Fórum

↑ jan.westhuserlt@centrum.c:
Ahoj.
V příspěvku ↑ zdenek1: je hezký příklad.

Já si matně pamatuju, že v češtině se spojka nebo používá ve dvou významech:
1) vylučujícím - tehdy se před ní píše čárka
2) tím druhým - tehdy se před ní nepíše čárka

OR je logická spojka a je nějak definovaná. To, že ji označujeme slovem, které už v jazyce nějaký význam má, není podstatné.

K logice násobení: pravda se označuje často jako 1, nepravda jako 0.
Spojíš-li pravdivý výrok s pravdivým konjunkcí, dá ti pravdivý (1 krát 1=1)
Doplníš ostatní možnosti.

S tím sčítáním, pokud definuješ 1+1=1 a ostatní běžně, tak to taky dává smysl. Znovu si matně pamatuju něco z teorie svazů, že by tam mohl být hlubší význam (booleovy algebry a souvislost s okruhy). Pro začátek to ale není podstatné. Nebo to je možná operace spojení napsaná jinak... ale to taky nemá pro začátek význam.

Ať se daří.

Splňuje člověk, který někomu slíbil a pak i dal úplatek, tuto definici?

To je těžké... je mi jasné, že podle pravdivostní tabulky ne, protože se to zneguje, ale prostou logikou věci je to jedno, dání úplatku je doplněním jeho slíbením.