|
marul.ffst.hr
Website: | http://marul.ffst.hr | Primljeni pozitivni glasovi | 10 |
Primljeni negativni glasovi | 6 |
Karma: | 5 (pozitivni glasovi-negativni glasovi) |
|
0 zarađene medalje Nijedna medalja nije pronađena
Definicije (320)
1 |
3
0
Kontingencija
U istinitosno-funkcionalnoj propozicijskoj logici, propozicija koja nije ni tautologija niti kontradikcija, dakle, bilo koja propozicija koja je ponekad istinita, ponekad lana, ovisno o retku istinit [..]
Značenje čeka moderatorovo odobrenje |
2 |
2
0
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 [..]
Značenje čeka moderatorovo odobrenje |
3 |
1
0
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 [..]
Značenje čeka moderatorovo odobrenje |
4 |
1
0
Dedukcija
Zakljuèak u kojemu (kada je valjan) konkluzija ne sadri nikoju informaciju koja veæ nije bila prisutna u premisama, ili èiji je korespondentni kondicional tautologija. Vidi korespondentni kondicional [..]
Značenje čeka moderatorovo odobrenje |
5 |
0
0
Relacija
Naèin na koji su dva ili vie predmeta povezani, zdrueni ili postavljeni u odnos, ili (na drugoj razini) poliadièni predikat koji simbolizira takvu relaciju. Vidi atribut; predikatska logika.
Značenje čeka moderatorovo odobrenje |
6 |
0
1
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.
Značenje čeka moderatorovo odobrenje |
7 |
0
1
ATRIBUT
Svojstvo predmeta: takoðer (na drugoj razini) monadièki predikat koji simbolizira takvo svojstvo. Vidi predikatska logika; relacija.
Značenje čeka moderatorovo odobrenje |
8 |
0
0
Indukcija
Zakljuèak u kojemu konkluzija sadri informacije koje nisu sadrane u premisama. Vidi dedukcija; matematièka indukcija.
Značenje čeka moderatorovo odobrenje |
Da biste vidjeli svih 320 definicija, molimo prijavite se.