predikaat midagi väidab Kvantorid: Term. Predikaatarvutuse valem. Vabad ja seotud muutujad. Keele signatuur: konstant-, funktsionaal- ja predikaatsümbolid. Term. Def. 2 Termid on parajasti need, mida saab koostada alltoodud reeglite abil: · Iga indiviidmuutuja on term · Iga C-sümbol on term · Kui f on n-kohaline funktsionaalsümbol ja t1,t2,...,tn on termid, siis f(t1,t2,...,tn) on term. Termi, milles ei esine ühtegi indiviidmuutujat, nim muutuajateta termiks. Predikaatarvutuse valem Def 3. Predikaatarvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: · Kui P on n-kohaline predikaatsümbol ja t1,t2,...,tn on termid, siis P(t1,t2,...,tn) on predikaatarvutuse valem. · Kui F on pvalem 5, siis ¬ F on pvalem · Kui F ja G on pvalemid, siis (F&G), (FG), (FG) ja (FG) on pvalemid · Kui x on indiviidmuutuja ja F on pvalem, siis on pvalemid. Vabad ja seotud muutujad.
võib tekkida ka mõiste ,,kolmkülg". D3.1. Mõiste (concept, ld conceptus) on suhtlemise vahendusel moodustunud kokkuleppeline abstraktne objekt, mis esindab suhtluspartnerite lähedasi isiklikke mõisteid samade objektide, nähtuste, suhete jms kohta samade tunnuste alusel. Mõistet väljendab keeles sõna või fraas (sõnaühend) – mõisteväljend, mida nimetatakse tavaliselt terminiks või ka termiks (viimast väljendit kasutavad peamiselt keelefilosoofid). D3.2. Termin (mõisteväljend, term) on sõna või fraas, mis mõistet kokkuleppeliselt väljendab ning viitab ka selle mõistega haaratud objektidele. Mõisteväljend väljendab mõistet. Termin viitab mõistele ja mõistega haaratud objektidele. Nt sõna ,,kivi" on mõisteväljend, mis viitab mõistele ,,kivi" ja ka igale üksikule kivile. Mõiste on mentaalne (mõtlemisse kuuluv), abstraktne (lõppkokkuvõttes saadud abstraheerimise
tekkida ka mõiste ,,kolmkülg". D3.1. Mõiste (concept, ld conceptus) on suhtlemise vahendusel moodustunud kokkuleppeline abstraktne objekt, mis esindab suhtluspartnerite lähedasi isiklikke mõisteid samade objektide, nähtuste, suhete jms kohta samade tunnuste alusel. Mõistet väljendab keeles sõna või fraas (sõnaühend) mõisteväljend, mida nimetatakse tavaliselt terminiks või ka termiks (viimast väljendit kasutavad peamiselt keelefilosoofid). D3.2. Termin (mõisteväljend, term) on sõna või fraas, mis mõistet kokkuleppeliselt väljendab ning viitab ka selle mõistega haaratud objektidele. Mõisteväljend väljendab mõistet. Termin viitab mõistele ja mõistega haaratud objektidele. Nt sõna ,,kivi" on mõisteväljend, mis viitab mõistele ,,kivi" ja ka igale üksikule kivile. Mõiste on
annaabi.ee 
