formalizacja rachunku zdań 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
proces polegający na wyborze spośród tez rachunku zdań pewnych zdań jako aksjomatów i podaniu reguł wyprowadzenia z nich innych tez.
No relations on this side
Polishhypernymy
formalizacja 2
noun
postępowanie logiczne, którego celem jest nadanie teorii lub systemowi myślowemu postaci sformalizowanej, np. formalizacja rachunku zdań.
