Valuacija (iskazna logika)

#fax #math #ds1 [deo iskazne logike]

Def. Valuacija je funkcija iz u {0, 1}:
Preslikava svako iskazno slovo u 0 ili 1.


Slično ista funkcija preslikava i svaku iskaznu formulu u 0 ili 1, pomoću sledećih jednakosti:

  • Ako je konsranta tada

Primer:
Za datu valuaciju odrediti istinonosnuju vrednost formule ;
Rešenje: