Frazifo

Frazifo, logikala operacanto o kunjuntanto esas expresuro, qua kune kun altra expresuri (nomata argumenti di frazilo) kreas frazo o propozicionala formuli.

La frazifi de nomo-argumenti es predikati, e de frazo-argumenti – kunjuntanti, ma en matematikala logiko termino frazifo uzesas kom sinonimo di kunjuntanto. 

Kategorio:Logiko
Kategorio:Matematikala logiko