LOGIKA - teorija Flashcards
IDEJA RAZVOJA LOGIKE
stvoriti oruđe koje će biti univerzalno i koje će služiti za valjano mišljenje
SUD
istinita ili neistinita veza pojmova kojom se misli neko stanje tvari
- pitanja i naredbe ne mogu biti sudovi
- može biti istinit ili ne istinit, a istinitost ovisi o kontekstu izrečenog
OBIČNI I UMJETNI JEZICI
- obične ljudi uče od rođenja i koriste se za komunikaciju
- umjetni odnosno formalni jezici su umjetno stvoreni u određene svrhe
JEZIK LOGIKE
- G. Frege
- svrha jednojezičnost
- jedan sadržaj kako bi se nedvosmisleno znalo u čemu se govori
VEZNICI
u običnom je jeziku bitan poredak, ali u jeziku logike nije
- konjunkcija ‘‘i’’ /\
- disjunkcija ‘‘ili’’ V
- negacija
- pogodba ‘‘ako’’ ->
- dvopogodba ‘‘ako i samo ako’’ <->
2 VRSTE SUDOVA
1) jednostavni -> izražavaju neke jednostavne činjenice o svijetu
2) složeni -> sastavčjen od 2 ili više jednostavna suda povezana veznicima
KONJUNKCIJA
- veznik ‘‘i’’ /\
- istinita jest ako i samo ako su ISTINITA OBA SUDA
- konjunkcijom prevodimo i ostalim veznicima: ali, ali, pa, iako, već
NEGACIJA
- istinitosna vrijednost nijeka je uvijek oprječna istinitosnoj vrijednosti
DISJUNKCIJA
- logički veznik ‘‘ili’’ V
- istinita je ako i samo ako je istinit barem jedan od njezinih sudova
- isključna disjunkcija - neistinita kad su oba suda istinita ili neistinita
POGODBA
- logički veznik ‘‘ako’’ ->
- istinita uvijek, osim kad je prvi sud (prednjak) istinit, a drugi (konsekvensa) neistinita IN
- NE VRIJEDI ZAKON KOMUTATIVNOSTI
DVOPOGODBA
- <->
- istinita ako i samo ako oba suda imaju istu istinitosnu vrijednost
PRAVILNO SASTAVLJENE FORMULE
- označavamo velikim slovima
- 2 formule mogu se povezati samo jednim veznikom
- više negacija može stajati u nizu
- veznik se uvijek nalazi između sudova
SIMBOLI ZA POJMOVE ILI PREDIKATE (LOG. 1. REDA)
PREDIKATI
- označavaju svojstva ili odnose između predmeta i zapisuju se velikim latiničnim slovima
- ne mogu stajati samostalno, nego uvijek uz varijable i konstante
- imaju mjesnost tako da mogu biti jednomjesni (SVOJSTVA), dvomjesni (ODNOS) …
INDIVIDUALNA KONSTANTA
- označavaju pojwsinačna bića ma lpka se neštp pdnosi i zapisuju se malim početnim slovom
VARIJABLE