biimplikation
Biimplikation, dobbelt implikation, i logik og matematik enten udtryk af typen "p er sand, hvis og kun hvis q er sand" eller selve udtrykket "hvis og kun hvis", som ofte skrives ⇄ eller p⇔q. Hvis to udtryk er forbundet med
Biimplikation, dobbelt implikation, i logik og matematik enten udtryk af typen "p er sand, hvis og kun hvis q er sand" eller selve udtrykket "hvis og kun hvis", som ofte skrives ⇄ eller p⇔q. Hvis to udtryk er forbundet med
biimplikation A⇔B A hvis og kun hvis B; A er logisk ækvivalent med B ∀ alkvantor ∀x p(x) for alle x er p(x) sand ∃ eksistenskvantor ∃x p(x) der findes mindst et x, så p(x) er sand
biimplikation). De vigtigste forsøg på at forklare, hvorledes logiske (fejl)slutninger hos mennesker finder sted, bygger således på, at vi fortolker, og indimellem ligefrem ændrer, en opgave, idet vi konstruerer en slags mental model, hvorfra forslag til opgaveløsningen så afledes
biimplikation. I mængdelæren kaldes to mængder ækvivalente, hvis der findes en tilordningsrelation, der tilordner hvert element i den ene til ét og kun ét element i den anden og hvert element i den anden mængde til ét og kun ét