Relato-simbolo

Relato-simbolo en logiko esas generaligo-termino pri variebli di propozicionala logiko en predikatala logiko.

Omna relato-simbolo povas havar nul o plu ariti e esas atomala formulo.

Kategorio:Matematikala logiko