Irez a kontenajo

Relato-simbolo

De Wikipedio

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.

Obtenita de "https://io.wikipedia.org/w/index.php?title=Relato-simbolo&oldid=1060006"