Nödvändiga och tillräckliga villkor

Från Wikipedia

Hoppa till: navigering, sök

Inom logiken används begreppen nödvändiga villkor och tillräckliga villkor .

Att satsen A är ett nödvändigt villkor för satsen B innebär att B inte är uppfylld/sann utan att A är uppfylld/sann. Om A är uppfylld/sann behöver dock inte B vara uppfylld/sann.

Att satsen A är ett tillräckligt villkor för satsen B innebär att B är uppfylld/sann om A är uppfylld/sann. Ett tillräckligt villkor kan vara, men behöver inte vara, ett nödvändigt villkor.

Personliga verktyg
Skapa en bok