õpetus korrastatud mõtlemise reeglitest; kas sündmuste seostatus, väidete seostatus (järeldumine, vasturääkivus, vastupidisus, loogiline allumine) või seosed väidete vahel (tõesus ja õigsus)
Hea teada
Erinevalt tavalisest loogikast kasutatakse matemaatilises loogikas märke
