[UUUI] Gradivo

TheNubKiller

teta_iz_menze Ima profesor Šnajder :p

BillIK

Ako kod FOL-a koji moramo pretvoriti u klauzalni oblik imamo npr. (A -> (B -> C)) radimo li prvo uklanjanje implikacije ove unutarnje zagreda, pa onda vanjske ili je to sasvim svejedno?

TheNubKiller

Dobro pitanje, no kad primijenim na to tvoje dobijem istu vrijednost za oba slučaja, tako da je valjda svejedno? Može li netko potvrditi?

BillIK

Lumpy konkretno problem je ovaj zadatak i premisa koju moramo dokazati

TheNubKiller

BillIK ja bih tretirao kao da je to svejedno, pokušat ću večeras riješit na taj način pa ti mogu javit kako mi je ispalo, mada nema garancije da ću uspjet riješit jer nisam nešto sa 6. lekcijom

BillIK

Lumpy riješim točno kada uklonim prvo unutarnju implikaciju pa ću se držati toga kao ispravnog načina 😅

domagojj

BillIK mozes li slikati postupak za taj zadatak, uvijek dobijem krivo

TheNubKiller

BillIK Moš slikat postupak pls?

Sicsile

VolimStopala🇻🇦🇭🇷
evo kako sam ja, jedino nisam siguran za ovaj dio I(konst), al pretpostavljam da se tu nesto krati

domagojj

Kako se rjesava ovaj zadatak?

Rope

VolimStopala🇻🇦🇭🇷 ovako na prvu mi izgleda ko nesto di bi trebalo ove recenice pretvorit u logicke izraze pa probat dokazat svaku od ovih posljedica, osim ako ne postoji neki pametniji nacin

Sicsile

VolimStopala🇻🇦🇭🇷
mozes slikat ako uspijes

pingvinka

VolimStopala🇻🇦🇭🇷 ja sam to sredila tako da sam se za svaki od ponuđenih odgovora pravila da je ciljna klauzula i onda sam koristila rezoluciju opovrgavanja (za ovaj zadatak ispadne da nije dugačak takav postupak rješavanja pa nisam ni probala tražit nešto pametnije)

viliml

VolimStopala🇻🇦🇭🇷

Rops

Sicsile ja sam samo rokao direktnu rezoluciju sa skupom potpore

domagojj

Sicsile da da mislim da je dobro jer sam u međuvremenu dobio isto tako

viliml

viliml Realno moglo se riješiti i čistim lančanjem implikacija.

O -> S
~O -> J
A -> ~J
A -> O (3, kontrapozitiv od 2)
A ->S (4, 1)

Rene

Zna netko pod b)? Pošto je zadatak “izvedite ciljnu klauzulu” pretpostavljam da se može, a ja ne vidim kako.

Gocc

Rene ja čak mislim da je do njih greška 🤷‍♀️

viliml

Rene *** Rene Pošto piše “Djeca ne rastu brzo ako su porezi previsoki i ako vole modru lastu” a ne “Djeca ne rastu brzo ako su porezi previsoki i vole modru lastu”, ja mislim da su to dvije zasebne implikacije P->~R, M->~R.
Dakle moguće je izvesti kontradikciju R, ~R.

JoKing

Rene
Ja prije UUUI: Super, konačno zanimljiv predmet, nakon ovog budem znao napravit nešto poput https://andrija.ai/, web stranicu koja pomoću umjetne inteligencije pomaže u borbi protiv zaraze uzrokovane virusom covid-19

Ja tjekom UUUI: Dokaži da smo sami u svemiru

Rene

*** da, nekako mi se čini da bi trebalo pisat da vole modru lastu i dalo bi se razrjesit

viliml

Bioxed vidi *** i viliml

« Prethodna stranica Sljedeća stranica »