CEVAP: Çağdaş mantık formalizminde iki tür ifade ayırt edilmektedir: • Değişkenler ve • Mantık değişmezleri. Bu formalizmdeki değişkenler kategorematik terimlere, değişmezler ise sinkategorematik terimlere karşılık gelmektedir.