Pogovor:Boolova formula

Iz MaFiRaWiki

Ali bomo med logične formule šteli tudi obe konstanti? Kako ju bomo označevali? Kako bomo ločili med konstantama in njunima valuacijama? Moramo tudi vpeljati pravila in relacijo (sintaktične) ekvivalence.TomazPisanski 16:54, 29 december 2005 (CET)

Osebna orodja