Biconditional operation
Biconditionele bewerking Een logische bewerking met de eigenschap dat indien P, Q en R onderstellingen zijn, P, Q, R, enzovoorts equivalent zijn indien alle onderstellingen ’waar’ zijn of indien alle onderstellingen ’onwaar’ zijn.
