skup tvrdnji pomoću kojih uvjeravamo u istinitost određene tvrdnje (teze). Sastavljen je od premisa ili razloga i konkluzije ili teze.

Koristi se u sljedećim videolekcijama:

Formula se u ako-rečenici kondicionala naziva antecedens (također implikans i protasis).

Istinitosna funkcija koja daje istinu kada njezina oba argumenta imaju istu istinitosnu vrijednost, neistinita u protivnom. Također i veznik koji označava ovu funkciju; također složena propozicija izgrađena s ovim veznikom. Sintaktički: dvije propozicije koje se uzajamno impliciraju. Semantički one imaju iste modele.

logički veznik koji veže dva suda slično kao veznik ''ili''.

Koristi se u sljedećim videolekcijama:

su pojmovi koji se u ničemu ne preklapaju, nemaju zajednički opseg odnosno ne postoji nijedan predmet koji potpada pod oba pojma.

Koristi se u sljedećim videolekcijama:

je logički oblik kojim određujemo opseg pojma. Elementi divizije ili diobe su: diobena cjelina, članovi diobe i temelj diobe.

Koristi se u sljedećim videolekcijama:

Konačni, neprazni niz formula u kojemu je zadnji član formula koja se dokazuje, a sve ostale formule su ili aksiomi ili su dobivene primjenom pravila zaključivanja na neke od prethodnih formula u nizu. Ukratko, izvod u kojemu su sve premise teoremi.

su pojmovi istog opsega.

Koristi se u sljedećim videolekcijama:

skup tvrdnji pomoću kojih određujemo zašto je određena tvrdnja (eksplanandum) istinita. Sastoji se od eksplananduma tvrdnje koju treba objasniti i eksplanansa tvrdnji pomoću kojih objašnjavamo.

Koristi se u sljedećim videolekcijama:

omogućavaju precizno izražavanje rečenica običnog jezika uz pomoć strogo propisanih i jednostavnih pravila. Važno obilježe je jednoznačnost što znači da jednom izrazu pridružuje se točno jedan sadržaj.

Koristi se u sljedećim videolekcijama:

su pojmovi čiji se opseg djelomično preklapa. Postoji barem jedan predmet koji potpada pod oba pojma.

Koristi se u sljedećim videolekcijama:

Konačni, ne-prazni niz formula u kojemu je zadnji član izvedena formula, a svaki ostali član je ili aksiom ili član skupa prihvaćenih premisa ili rezultat primjene pravila zaključivanja.

Instancijacija koja polazi od egzistencijalnog kvantifikatora. Na primjer, polazeći od iskaza poput (x)Px doći do Px ili do Pa; od "nešto je ljubičasto" do "x je ljubičasto" ili "alabaster je ljubičast". Valjano samo pod nekim ograničenjima.

smatra se osnovnim elementom logike sudova. Najčešće ga zapisujemo velikim tiskanim slovom. npr. Sunce sija. (S).

Koristi se u sljedećim videolekcijama:

logički veznik koji veže dva suda slično kao veznici ''i'', ''pa'', ''te'', ''ali''(…).

Koristi se u sljedećim videolekcijama:

su pojmovi koji nemaju zajednički opseg, ali imaju zajednički superordinirani pojam.

Koristi se u sljedećim videolekcijama:

su pojmovi koji predstavljaju dvije krajnosti odnosno to su najudaljeniji koordinirani(usporedni) pojmovi.

Koristi se u sljedećim videolekcijama:

jedan pojam je negacija drugog. U kontradiktornom odnosu nema nečeg trećeg, na što bi se mogao odnositi neki treći pojam. Ono što je u opsegu jednog pojma ne nalazi se u opsegu drugog pojma. Bilo koji misliv predmet potpada pod pojam ili njegovu negaciju.

Koristi se u sljedećim videolekcijama:

je tvrdnja koju nastojimo opravdati.

Koristi se u sljedećim videolekcijama:

iskaz čiji je oblik "ako A, onda B," gdje A i B stoje na mjestu propozicija. Kao istinitosna funkcija je neistinita kada je njezin antecedens istinit a konzekvens lažan, u protivnom – istinita. Također i veznik koji označava ovu funkciju, također i složena propozicija izgrađena pomoću ovog veznika.

Formula se u onda-rečenici kondicionala naziva konzekvens (također implikat i apodosis).

Rezultat nekog argumenta ili zaključka. Formula izvedena iz premisa ili njima poduprta.

Simbol s utvrđenim referentom. Skraćenica za ime, za razliku od simbola koji čuva mjesto (varijabla).

logički veznik koji odgovara negaciji u prirodnom jeziku.

Koristi se u sljedećim videolekcijama:

jezik na kojem komuniciramo, izražavamo svoje osjećaje, misli. U prirodnom  jeziku istim izrazom možemo izreći različite sadržaje.

Koristi se u sljedećim videolekcijama:

su tvrdnje s kojima nastojimo opravdati tezu ili konkluziju.

Koristi se u sljedećim videolekcijama:

tiču se odnosa između premise i konkluzije. Nastaju kada su relevantne premise kao i konkluzija sporne i nisu dovoljan razlog za izvođenje konkluzije.

Koristi se u sljedećim videolekcijama:

nastaju kada premise ne pružaju dovoljnu potporu konkluziji.

Koristi se u sljedećim videolekcijama:

Formula iz koje se druge formule izvode ili se pomoću nje dokazuju. U argumentu ili zaključku, sve one propozicije koje podupiru konkluziju.

temelje se na logičkoj nepovezanosti premisa s konkluzijom, istinitost premisa nije povezana s istinitom konkluzijom.

Koristi se u sljedećim videolekcijama:

je nauk o značenju i sustavu znakova koji se bavi vidovima značenja koji su izraženi u jeziku. Semantika logike proučava značenje logičkih izraza.

Koristi se u sljedećim videolekcijama:

proučava jezik logike – pravila definiranja pravilno sastavljenih formula i deduktivni sustav (pravila za izvođenje dokaza).

Koristi se u sljedećim videolekcijama:

sastavljen je od dva ili više jednostavna suda koja su povezana logičkim veznicima.

Koristi se u sljedećim videolekcijama:

pojam je pojam čiji cijeli opseg obuhvaćen opsegom drugog pojma.

Koristi se u sljedećim videolekcijama:

je pojam kada u njegov opseg ulazi opseg nekog drugog pojma.

Koristi se u sljedećim videolekcijama:

je divizija ili dioba pojma koji je i sam član neke divizije (diobe).

Koristi se u sljedećim videolekcijama:

nekog pojma Q ima oblik " Q je..." Sastoji se od dva dijela: definienduma i definiensa. Definiendumom nazivamo pojam koji definiramo, a definiensom pojmove s pomoću kojih definiramo. Opseg definienduma jednak je opsegu definiensa.

Koristi se u sljedećim videolekcijama:

Generalizirati koristeći univerzalni kvantifikator. Na primjer, polazeći od propozicijske funkcije poput Px ili propozicije poput Pa doći do (x)Px; od "x je ljubičasto" ili "alabaster je ljubičast" do "sve je ljubičasto". Valjano pod nekim ograničenjima.

Za neku formulu, istinitost u svim interpretacijama formalnoga jezika; imati svaku interpretaciju kao svoj model. "Svaka interpretacija" ovdje se razumije kao sve one interpretacije i samo one interpretacije u kojima veznici imaju standardno značenje. U istinitosno-funkcionalnoj propozicijskoj logici valjane se formule nazivaju i tautologijama.

Niz propozicija u kojem neke od njih (premise) podupiru drugu (konkluziju); također i radnja povlačenja konkluzije iz premisa.