Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.
![]() |
---|
Deduktion |
Sann | Giltig | Sund |
Modallogik |
Nödvändighet | Möjlighet |
Nödvändigt villkor och tillräckligt villkor är uttryck, som allmänt används vid omskrivning av så kallade "om, så-satser", inom ett flertal vetenskapliga områden, särskilt inom matematik och logik.
Satsen "Om en svan är vit, så är den vacker", kan formaliseras till följande ekvivalenta omskrivningar:
Satsen "Om N = 2n - 1 är ett primtal så är n ett primtal", är ekvivalent med:
Satsen: Om och endast om det udda primtalet p = 4n + 1, så kan det skrivas som summan av två heltalskvadrater, är ekvivalent med: