WisFaq!

\require{AMSmath} geprint op zaterdag 22 februari 2020

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
23-6-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:

KLY
29-6-2005


© 2001-2020 WisFaq
WisFaq - de digitale vraagbaak voor het wiskunde onderwijs - http://www.wisfaq.nl

#39506 - Logica - Student universiteit BelgiŽ