Nepieciešamie un pietiekamie apstākļi
| Es domāju, tāpēc esmu Loģika un retorika |
 |
| Galvenie raksti |
| Vispārējā loģika |
|
| Slikta loģika |
Nepieciešamie un pietiekamie apstākļi ir loģiski frāze, kas apraksta attiecības starp diviem apgalvojumiem, ja viens apgalvojums ir patiess tikai tad, ja cits apgalvojums ir patiess. Ja dots apgalvojums ir nepieciešams cita nosacījums, tam jābūt patiesam, lai otrais apgalvojums būtu patiess. Ja dotais apgalvojums ir pietiekams nosacījums, lai cits apgalvojums būtu patiess, pirmais apgalvojums, ja tas ir apmierināts kā patiess, nodrošina, ka otrais apgalvojums ir patiess.
Fiziskajāzinātnenepieciešams, pietiekams nosacījums ir pazīstams kā notikuma “cēlonis”, un sekojošais notikums ir iepriekšējā “sekas”. Cēlonis, protams, ir pirms sekāmlaiks, lai arī saskaņā ar “nepieciešamo un pietiekamo” ierobežojumu jebkura notikuma rašanos var attiecināt no otra notikuma.
In matemātika , 'nepieciešams un pietiekams' tiek izmantots, lai izveidotu ekvivalences attiecību starp diviem apgalvojumiem: japatiesībaviens apgalvojums ir nepieciešams un pietiekams cita apgalvojuma patiesumam, tad abi apgalvojumi ir līdzvērtīgi.
Saistīts jēdziens ir dispozitivitāte; ka viena apgalvojuma patiesums var būt vai nu vajadzīgs, vai pietiekams, vai cits, lai maldinātu citu.
Jēdzienu sekas
Pieņemsim, ka apgalvojums D, kura patiesība var būt atkarīga no trīs citu apgalvojumu A, B un C patiesuma (argumentu labad saraksts jāuzskata par izsmeļošu). Ņemot vērā iepriekš aprakstītos nepieciešamības un pietiekamības jēdzienus, kļūst skaidri daži noteikumi.
- Ja tieši viens no apgalvojumiem A, B vai C ir nepieciešams nosacījums, bet nav pietiekams nosacījums, lai iegūtu patiesību D, D patiesībai neviens no tiem nav pietiekams.
- Ja viens vai vairāki nosacījumi A, B vai C ir pietiekami, bet nav nepieciešami, tad D patiesībai nav vajadzīgs viens nosacījums starp trim.
- Ja viens no nosacījumiem ir gan nepieciešams un pietiekams pats par sevi, citu pietiekamība nav būtiska (skat. fizikas zinātnes punktu iepriekš).
Ir arī terminoloģija, kas regulē sarežģītākas attiecības, kas saistītas ar nepieciešamību un pietiekamību:
- Ja abi A un B ir nepieciešami, bet D, nepietiek ar ne vienu atsevišķi, ne abiem kopā, var teikt, ka A un B nepieciešams bet kopīgi nepietiekami .
- Ja visi A, B un C ir nepieciešami un trīs kopā ir pietiekami, lai iegūtu patiesību D, var teikt, ka tie ir abi nepieciešams un kopīgi pietiek .
Jūs varat palīdzēt RationalWiki paplašinot to .
