marul.ffst.hr

Website:http://marul.ffst.hr
Primljeni pozitivni glasovi10
Primljeni negativni glasovi4
Karma:7 (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

argument


(1) zakljuèak, (2) ulazna vrijednost za funkciju, (3)  subjektni termin za predikat. Vidi korespondentni argument.
Izvor: marul.ffst.hr

5

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

6

1 Thumbs up   0 Thumbs down

ekvivalentni skupovi


Dva su skupa ekvivalentna akko imaju istu kardinalnost, to jest, ako se mogu postaviti u korespondenciju jedan-za-jedan. Takoðer se nazivaju jednakobrojnim skupovima. Oznaka: AB; ponekad A~B. 
Izvor: marul.ffst.hr

7

1 Thumbs up   0 Thumbs down

implikacija


Iskaz èiji je oblik "ako A, onda B," gdje A i B stoje na mjestu isf-a ili propozicija. Isf  u ako-reèenici naziva se antecedens  (takoðer implikans i protasis). Isf u onda-reèenici n [..]
Izvor: marul.ffst.hr

8

0 Thumbs up   0 Thumbs down

zakljuèak


Niz isf-a ili propozicija u kojem neke od njih (premise) podupiru drugu (konkluziju); takoðer i radnja povlaèenja konkluzije iz premisa. Vidi konkluzija; dedukcija; izvod; indukcija; premisa; dokaz.
Izvor: marul.ffst.hr

9

0 Thumbs up   0 Thumbs down

zadovoljivost


Isf je zadovoljiva akko postoji interpretacija u kojoj je zadovoljena.
Izvor: marul.ffst.hr

10

0 Thumbs up   0 Thumbs down

zadovoljavanje


(1) U istinitosno-funkcionalnoj propozicijskoj logici, isf A je zadovoljena akko je istinita u barem jednom retku svoje istinitosne tablice, tj. ako je A ili kontingencija ili tautologija. (2) U predi [..]
Izvor: marul.ffst.hr


Da biste vidjeli svih 320 definicija, molimo prijavite se.