marul.ffst.hr

Website:http://marul.ffst.hr
Primljeni pozitivni glasovi10
Primljeni negativni glasovi6
Karma:5 (pozitivni glasovi-negativni glasovi)



0 zarađene medalje

Nijedna medalja nije pronađena



Definicije (320)

1

3 Thumbs up   0 Thumbs down

Kontingencija


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 [..]
Izvor: marul.ffst.hr

2

2 Thumbs up   0 Thumbs down

pouzdanost


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 [..]
Izvor: marul.ffst.hr

3

1 Thumbs up   0 Thumbs down

Supstitucija


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 [..]
Izvor: marul.ffst.hr

4

1 Thumbs up   0 Thumbs down

Dedukcija


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 [..]
Izvor: marul.ffst.hr

5

0 Thumbs up   0 Thumbs down

Relacija


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.
Izvor: marul.ffst.hr

6

0 Thumbs up   1 Thumbs down

Model


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.
Izvor: marul.ffst.hr

7

0 Thumbs up   1 Thumbs down

ATRIBUT


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

8

0 Thumbs up   0 Thumbs down

Indukcija


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


Da biste vidjeli svih 320 definicija, molimo prijavite se.