1 |
ekvivalens Logisk påstand som angir at to påstander er ekvivalente, det vil si at de medfører hverandre og alltid tilsier det samme; kan betraktes som en en dobbel implikasjon. | ekvivalens
|
2 |
ekvivalensBisubjunksjon (også ekvijunksjon, ekvivalens eller biimplikasjon) er en sannhetsfunksjon i setningslogikken (latin bis = «to ganger», sub = «under», aequus = «lik», junctio = implicatio = «forbindelse [..]
|
3 |
ekvivalensEkvivalens betyr likeverdighet (av latin aequus = «lik» og valere = «å gjelde») og kan ha en rekke spesielle betydninger:
Bisubjunksjon (logikk)
Ekvivalensprinsippet (fysikk)
Ekvivalens (kjemi)
Ekviv [..]
|
4 |
ekvivalensEn ekvivalensrelasjon er i matematikk en binær relasjon som er symmetrisk, refleksiv og transitiv. En ekvivalensrelasjon deler mengden inn i en partisjon av ekvivalensklasser. To element i mengden er [..]
|
5 |
ekvivalensi formell logik: av två påståenden är antingen båda två sanna eller båda två falska. Skrivs A=B, vilket kan utläsas "A är sant om och bara om B är sant". På engelska if and only if, vilket ofta förkortas IFF. Bör skiljas från en logisk implikation. En sanningsvärdetabell för ekvivalens ser ut så här:
|
<< prévisions | implikasjon >> |