Otevřít hlavní menu

Nutná a postačující podmínka

(přesměrováno z Nutná podmínka)

V logice mohou mezi dvěma souvisejícími tvrzeními (větami, výroky) existovat vztahy, pro které se používají zažitá označení nutná, resp. postačující podmínka.

  • Tvrzení je nutnou podmínkou pro jiné tvrzení , pokud nemůže platit, aniž by platilo . Jinak řečeno, platí jen tehdy, pokud platí . Věta „X je čtyřúhelník“ je nutná podmínka pro to, aby mohlo platit, že „X je čtverec“. Pokud X není čtyřúhelník, nemůže to být čtverec. (Není to však podmínka postačující, protože například lichoběžník je čtyřúhelník, ale není čtverec.) Říkáme, že implikuje a zapisujeme jako , případně .
  • Tvrzení je postačující podmínkou pro jiné tvrzení , pokud platí vždy, když platí . Jinak řečeno, platí tehdy, když platí . Věta „X je čtverec“ je postačující podmínka k tomu, aby platilo, že „X je čtyřúhelník“. (Není to však podmínka nutná: kosočtverec není čtverec, a přesto je čtyřúhelník.) Říkáme, že implikuje a zapisujeme jako .
  • Tvrzení je nutnou i postačující podmínkou pro tvrzení , pokud platí tehdy a jen tehdy (právě tehdy), když platí . Věta „X je čtverec“ platí tehdy a jen tehdy, pokud platí, že „X je rovnostranný pravoúhlý čtyřúhelník“. Obě tvrzení tedy platí vždy společně a jejich vztah lze obrátit. Říkáme, že je ekvivalentní , případně, že implikuje a implikuje a zapisujeme .

PříkladyEditovat

Nutná podmínkaEditovat

Nutnou podmínkou, aby celé číslo bylo dělitelné šesti je, že číslo musí být sudé. V tomto případě je podmínkou, že číslo je sudé (tzn. věta  ). Číslo je dělitelné šesti představuje větu  .

Avšak každé číslo dělitelné šesti je také dělitelné dvěma, tedy je sudé. Tzn. pokud je splněna věta   (číslo je dělitelné šesti), je vždy splněna věta   (číslo je sudé). Věta   (číslo je sudé) je tedy nutnou podmínkou věty   (číslo je dělitelné šesti).

Každé sudé číslo však nemusí být dělitelné číslem šesti (např. číslo 4). Pokud je tedy splněna věta   (číslo je sudé), nemusí být splněna věta   (číslo je dělitelné šesti). Věta   tedy není postačující podmínkou věty  .

Postačující podmínkaEditovat

Postačující podmínkou, aby celé číslo bylo dělitelné šesti, může být např. podmínka, že číslo musí být dělitelné dvanácti. Číslo je dělitelné dvanácti představuje větu  , a číslo je dělitelné šesti větu  .

Každé číslo dělitelné dvanácti je také dělitelné šesti, tzn. pokud je splněna věta   (číslo je dělitelné dvanácti), je splněna také věta   (číslo je dělitelné šesti). Věta   je tedy postačující podmínkou věty  .

Je-li však splněna věta   (číslo je dělitelné šesti), nemusí být splněna věta   (číslo je dělitelné dvanácti). Takovými čísly jsou např. 6, 18 atd. Věta   tedy není nutnou podmínkou věty  .

Nutná a postačující podmínkaEditovat

Nutnou a postačující podmínkou, aby celé číslo bylo dělitelné šesti, je, aby číslo bylo sudé a dělitelné třemi. Podmínkou (větou  ) je zde, že číslo musí být sudé a dělitelné třemi, číslo je dělitelné šesti je věta  .

Je-li číslo dělitelné dvěma i třemi, pak je také dělitelné šesti. Současně platí, že číslo dělitelné šesti je dělitelné dvěma a třemi. Pokud tedy platí věta   (číslo je sudé a dělitelné třemi), musí platit také věta   (číslo je dělitelné šesti).

Věta   je tedy postačující podmínkou věty  . Platí-li však věta   (číslo je dělitelné šesti), pak platí také věta   (číslo je sudé a dělitelné třemi).

Věta   je tedy také nutnou podmínkou věty  . Tzn. věta   je nutnou a postačující podmínkou věta  . Uvedenou podmínku můžeme slovně vyjádřit tak, že číslo je dělitelné šesti tehdy a pouze tehdy, je-li sudé a dělitelné třemi.

OdkazyEditovat

Související článkyEditovat

LiteraturaEditovat

  • Ottův slovník naučný, heslo Hypothesa. Sv. 11, str. 1057

Externí odkazyEditovat