U istinitosno-funkcionalnoj propozicijskoj logici, propozicija koja nije ni tautologija niti kontradikcija, dakle, bilo koja propozicija koja je ponekad istinita, ponekad lažna, ovisno o retku istinit [..]

Argument ili zakljuèak je pouzdan akko je njegova logika valjana a sve premise su istinite. U protivnom je nepouzdan, tj. bilo ako je njegova logika nevaljana ili je barem jedna premisa neistinita, il [..]

Zamjena jednog simbola s drugim ili s isf-om. U aksiomskoj shemi, zamijeniti metajeziène varijable s isf-ama iz predmetnog jezika. U instancijaciji, zamjena varijable s konstantom. U generalizaciji, z [..]

(1) zakljuèak, (2) ulazna vrijednost za funkciju, (3)  subjektni termin za predikat. Vidi korespondentni argument.

Zakljuèak u kojemu (kada je valjan) konkluzija ne sadrži nikoju informaciju koja veæ nije bila prisutna u premisama, ili èiji je korespondentni kondicional tautologija. Vidi korespondentni kondicional [..]

Dva su skupa ekvivalentna akko imaju istu kardinalnost, to jest, ako se mogu postaviti u korespondenciju jedan-za-jedan. Takoðer se nazivaju jednakobrojnim skupovima. Oznaka: AB; ponekad A~B. 

Iskaz èiji je oblik "ako A, onda B," gdje A i B stoje na mjestu isf-a ili propozicija. Isf  u ako-reèenici naziva se antecedens  (takoðer implikans i protasis). Isf u onda-reèenici n [..]

Naèin na koji su dva ili više predmeta povezani, združeni ili postavljeni u odnos, ili (na drugoj razini) poliadièni predikat koji simbolizira takvu relaciju. Vidi atribut; predikatska logika.

Funkcija ili predikat koji ima n argumenata. Takoðer ih nazivamo n-arnim funkcijama i predikatima.

Interpretacija u kojoj izrazi koji nas zanimaju (npr. neka isf, skup isf-a, neki sustav) postaju istinitima za tu interpretaciju. Vidi interpretacija; izomorfizam modela; istina pod interpretacijom.