Wartościowanie (logika)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Wartościowanie – jest to funkcja υ : Z → B

gdzie: B = {0,1}, a Z jest zmienną zdaniową lub formułą logiczną.