\require{AMSmath}

Hebben sommige logische operatoren voorrang?

Ik vroeg me af hoe het zat met de precedentie van de logische operatoren?
Heeft $\to$ voorrang op $\wedge$ en $\angle$ of is het anders?

Om een voorbeeld te geven: hoe interpreteer je iets van de volgende vorm:
a $\to$ b $\wedge$ c $\wedge$ d $\to$ e $\to$ f

koen
Student universiteit België - donderdag 23 juni 2005

Antwoord

Volgens mij zijn er in de wiskundige logica geen regels voor precedentie (voorrang) en moet je de operatoren van links naar rechts toepassen. Als het nodig is kun je precedentie aangeven door gebruik te maken van haakjes.
Jouw voorbeeld moet je dus lezen als:

((((a$\to$b) $\wedge$ c) $\wedge$ d)$\to$e)$\to$f.

Maar (met dank aan hk), in programmeertalen is er wel een precedentie voor EN en OF:

• Operator Precedence in Java
• Operator Precedence in Visual Basic

KLY
woensdag 29 juni 2005

©2001-2024 WisFaq