sformalizowany system,
log. system dedukcyjny przedstawiony w postaci zbioru formuł zdaniowych
sformalizowany system
Encyklopedia PWN
z których każda jest aksjomatem, bądź powstała z aksjomatów przez stosowanie odpowiednich reguł dowodowych (wnioskowania reguły); postać systemów sformalizowanych mają sformalizowane teorie mat. i logiczne.
Znaleziono w książkach Grupy PWN
Trwa wyszukiwanie...
![](/theme/Dictionary/img/spinner.gif)