Szükséges és elegendő feltételek

Gondolkodom, tehát vagyok
Logika és retorika
Ikon logic.svg
Főbb cikkek
Általános logika
Rossz logika

Szükséges és elegendő feltételek egy logikus kifejezés, amely két állítás kapcsolatát írja le, amikor egy állítás akkor és akkor igaz, ha egy másik állítás igaz. Ha egy adott állítás egy másik szükséges feltétele, akkor a második állítás igaznak kell lennie. Ha egy adott állítás elegendő feltétel ahhoz, hogy egy másik állítás igaz legyen, akkor az első állítás, ha igaznak bizonyul, biztosítja a második állítás igazat.


A fizikai tudomány egy szükséges és elégséges feltétel az esemény „oka”, és az azt követő esemény az előző „következménye”. Az ok természetesen megelőzi a következményt idő , bár a „szükséges és elégséges” korlátozás mellett bármelyik esemény bekövetkezése a másik előfordulásából eredhet.

Ban ben matematika , a „szükséges és elégséges” kifejezés ekvivalencia-kapcsolat létrehozására szolgál két állítás között: ha a igazság egyik állítás szükséges és elegendő egy másik állítás igazságához, akkor a két állítás ekvivalens.


Kapcsolódó fogalom a diszpozitivitás; hogy az egyik állítás igazsága lehet szükséges, elégséges vagy mindkettő a másik hamisításához.

A fogalmak következményei

Tegyünk fel egy D állítást, amelynek igazsága feltételezhető három másik A, B és C állítás igazságától (érvelés céljából tekintsük a listát kimerítőnek). Tekintettel a szükség és az elégség fentebb leírt fogalmaira, néhány szabály világossá válik.

  • Ha az A, B vagy C állítások közül pontosan az egyik szükséges feltétel, de nem elégséges, akkor a D igazságához a D igazságához egyetlen feltétel sem elegendő.
  • Ha az A, B vagy C feltételek közül egy vagy több elégséges, de nem szükséges, akkor a D igazságához a három közül egyetlen feltételre sincs szükség.
  • Ha az egyik feltétel fennáll mindkét önmagában szükséges és elegendő, a többiek elégtelensége lényegtelen (lásd fentebb a fizikatudományi pontot).

Szükséges és elégséges kapcsolatokat magában foglaló összetettebb kapcsolatokat szabályozó terminológia is létezik:



  • Ha A és B egyaránt szükséges, de egyikük sem, és a kettő együtt sem elegendő D-hez, akkor A és B fokozatosan szükséges de együttesen elégtelen .
  • Ha A, B és C mind szükséges, és a három együtt elegendő a D igazságához, akkor azt mondhatjuk, hogy mindkettő fokozatosan szükséges és együttesen elegendő .
Ez logika kapcsolatos cikk a csonk .
A RationalWiki segítségével segíthet bővítve azt .