Nödvändiga och tillräckliga villkor
Från Rilpedia
(Omdirigerad från Nödvändig)
Texten från svenska Wikipedia
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.
