slovodefinícia
implies
(mass)
implies
- obsahuje
implies
(encz)
implies,naznačuje v: Zdeněk Brož
implies
(encz)
implies,zahrnuje v: Zdeněk Brož
implies
(foldoc)
implies
implication
imply

(=> or a thin right arrow) A binary Boolean function
and logical connective. A => B is a true implication unless
A is true and B is false. The truth table is

A B | A => B
----+-------
F F | T
F T | T
T F | F
T T | T

It is surprising at first that A => B is always true if A is
false, but if X => Y then we would expect that (X & Z) => Y
for any Z.

If A is actually an expression X & Y then the implication is
called a syllogism.

(2009-10-28)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4