logika 23.11.

Question 1

Kako se dijeli logika?

Answer 1

Logika se dijeli na tradicionalnu i modernu.

Question 2

Što je logika?

Answer 2

Logika je znanstvena disciplina koja se bavi oblicima valjane misli.

Question 3

Nabroji neke umjetne (formalne) jezike.

Answer 3

Python, esperanto, klingonski, JEZIK LOGIKE

Question 4

Što je jezik logike?

Answer 4

Jezik logike je jezik koji želi jednom izrazu pridružiti jedan sadržaj da se nedvosmisleno zna o čemu se govori.

Question 5

Što omogućuje korištenje formalnog jezika?

Answer 5

Korištenje formalnog jezika omogućuje precizno i jednoznačno izražavanje.

Question 6

Kako se dijeli logika sudova?

Answer 6

Logika sudova dijeli se na jednostavne i složene sudove.

Question 7

Kakva je složena logika sudova?

Answer 7

Složena logika sudova sastavljena je od 2 ili više jednostavnih sudova povezanih rečenicama (a potrebna je i negacija NE ¬)

Question 8

Nabroji kakvi simboli postoje u složenoj logici sudova.

Answer 8

NE ¬
KONJUNKCIJA (I) ˄
DISJUNKCIJA (ILI) ˅
IMPLIKACIJA (AKO) →
EKVIVALENCIJA (AKO I SAMO AKO) ↔

Question 9

Što označava simbol ¬?

Answer 9

Označava negaciju (NE).

Question 10

Što označava simbol ˄?

Answer 10

Označava konjunkciju (I).

Question 11

Što označava simbol ˅?

Answer 11

Označava disjunkciju (ILI).

Question 12

Što označava simbol →?

Answer 12

Označava implikaciju (AKO).

Question 13

Što označava simbol ↔?

Answer 13

Označava ekvivalenciju (AKO I SAMO AKO).

Question 14

Od koliko se redova sastoje istinosne tablice za konjunkciju?

Answer 14

Sastoje se od 4 retka.

Question 15

Od koliko se redova sastoje istinosne tablice za složeni sud od 3 jednostavna suda?

Answer 15

Sastoje se od 8 retka.

Question 16

Što znači da su konjunkcija i disjunkcija komutativne?

Answer 16

Znači da se sudovima mogu mijenjati mjesta.

Question 17

Što su formule?

Answer 17

Formule su sudovi zapisani logičkim jezikom.

Question 18

Koja se ligika uvodi uz logiku sudova?

Answer 18

Uz logiku sudova se uvodi logika prvog reda.

Question 19

Nabroji kvantifikatore, njihova značenja i njihove oznake.

Answer 19

Univerzalni “za svaki”, “sve”, “svi” Ɐ

Egzistencijalni “postoji”, “neki” Ǝ

Question 20

Što je sud?

Answer 20

Sud je spoj pojmova kojima se nešto tvrdi ili poriče.

Question 21

Nabroji vrste sudova prema odnosu, njihove oznake.

Answer 21

1 HIPOTETIČNI-POGODBENI (Ako P, onda Q)
2 DISJUNKTIVNI (P ili Q)
3 KATEGORIČNI:
3A UNIVERZALNO-AFIRMATIVAN (SaP, svi S su P)
3B UNIVERZALNO-NEGATIVAN (SeP, nijedan S nije P)
3C PARTIKULARNO-AFIRMATIVAN (SiP, neki S su P)
3D PARTIKULARNO-NEGATIVAN (SoP, neki S nisu P)