1 |
Asocirana propozicijska formulaIspravno sastavljena formula A propozicijske logike dobivena iz ispravno sastavljene formule B predikatske logike putem (1) uklanjanja kvantifikatora iz B, i (2) zamjenom svakog predikatskog simbola [..]
|
<< Aritmetizacija | Bikondicional >> |