Konnektor: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Resümee puudub
Resümee puudub
43. rida:
==Tehete järjekord==
 
Et vähendada vajadust kasutada [[sulud|sulge]] on lauseloogikas kokku lepitud [[tehete järjekord]]: konnektor ¬ eelneb konnektorile <math>\wedge</math>, konnektor <math>\wedge</math> eelneb konnektorile <math>\vee</math>, konnektor <math>\vee</math> eelneb konnektorile → ning konnektor → eelneb konnektorile <math>\leftrightarrow</math>. Näiteks ''P'' <math>\vee</math> ''Q'' <math>\wedge</math> ¬''R'' → ''S'' tähendbtähendab (''P'' <math>\vee</math> (''Q'' <math>\wedge</math> (¬''R''))) → ''S''.