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 [..]

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 [..]

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.

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.

Svojstvo predmeta: takoðer (na drugoj razini) monadièki predikat koji simbolizira takvo svojstvo. Vidi predikatska logika; relacija.

Zakljuèak u kojemu konkluzija sadrži informacije koje nisu sadržane u premisama. Vidi dedukcija; matematièka indukcija.