Forum studentów Katedry Porównawczych Studiów Cywilizacji UJ

Helen

Poratujcie !
Kiedy sprawdzamy czy jakaś reguła jest normalna, jak już zrobię tabelkę to czy skreślam te przypadki kiedy któraś z przesłanek jest fałszywa czy te kiedy wniosek jest fałszywy?
Nie mogę sobie tego przypomnieć Sad

Karola

Trzeba skreślić wszystkie fałszywe przesłanki i odczytać z tych prawdziwych czy jest regułą normalną Smile

katherine

ale będzie zabawa.. ;p

dusiek

no własnie - jak zostawisz przesłanki prawdziwe i wyjdzie wniosek fałszywy to znaczy, ze reguła nie jest normalna, natomiast jak z prawdziwch przesłanek wyjdzie prawdziwy wniosek - reguła jest normalna.
A przy drzewku - jak wyjdzie brak sprzecznosci wtedy reguła nie jest normalna

Helen

Dzięki, tak myślałam ale wolałam się upewnić. Very Happy

Helen

Pomocy !
Zgubiłam gdzieś kartkę z ćwiczeń z zadaniem - zapisz zdanie w języku KRP; czy ktoś mógłby te zdania (przynajmniej parę) wrzucić na forum albo zeskanować i dać link ?

Z góry dziękuję za pomoc !

Exclamation

efi

Wie ktos może kiedy jest poprawka z logiki? mam problem...zaspałam na dzisiejszy egzamin:/:/:/

papi87

No własnie kiedy jest drugi termin , bo ja też się nie wybrałam na ten pierwszy? Confused

Dajcie znać jak ktoś coś wie Smile

efi

widzę, że wiadomości o drugim terminie na razie brak...heh prośba do osób które były...napiszcie jakie były zadania i co z teorii oraz ogólne odczucia nt egzaminu

dino

Terminy sa juz podane
Dyzur
Egzamin

kiddo

hey tu swieza krew na forum, witam wszystkich serdecznie Smile

na egzamie bylo:
-opisac czy przyklady sa wyrazeniem/zdaniem krp i jesli nie to dlaczego
-tu bylo jeszcze cos z krp ale nie pamietam
-2 proste zdania do sprawdzenia spojnosci syntaktycznej
-2 x sprawdz czy jest regula normalna
-1 model i z dziesiec zadan do sprawdzenia spelniania, w tym z jedno z dwoma kwantyfikatorami
-przeprowadzone jakies argumentowanie, trzeba napisac do tego schemat i sprawdzic czy jest regula normala - czyli sprawdzic czy poprawne formalnie i czy prawdziwe materialnie
-2x bledy w rozumowaniu

chyba tyle; powiedzialabym ze bylo bardzo proste i nie ma sie czego bac Very Happy

powodzenia

efi

witajcie mam problem tzn. nie jestem pewna czy dobrze robie natepujace zadania:

czy poniższe wyr są zd KRP. Popraw je tak by zmieniając jak najmniej uczynić z nich zdania. nie usuwaj i nie dopisuj kwantyfikatorów
1. V x C(x) ->S(x)
2. E a C(x)
3. Ey (C(y) v M(y)) v L(y,c)
4. Ex (S(x) ^C(x)
5. -Ey L(y,a) ^L(a,y)
6. Vx R(x,b) -> R(b,x)
7. Vx Vy Vz O(x,y) ^ O(y,z) -> O(z,x)
8. Vx Vy (L(a,b)->C(a) ^D(b)

gdzie V to dyzy kwantyfikator
E to mały

wie ktos jak to zrobić?
było wogóle coś podobnego?

kiddo

1. V x (C(x) ->S(x))
2. E a C(x) nie moze byc stala przy kwantyfikatorze, jesli mozna, zamienic ja na zmienna : ExC(x)
3. Ey ((C(y) v M(y)) v L(y,c)))
4. Ex (S(x) ^C(x))
5. -Ey (L(y,a) ^L(a,y))
6. Vx ( R(x,b) -> R(b,x))
7. Vx Vy Vz(( O(x,y) ^ O(y,z)) -> O(z,x))
8. Vx Vy (L(a,b)->( C(a) ^D(b)) a tu nie jestem pewna bo nie widzialam z samymi stalymi czy to jest poprawne, ale chyba wystarczy dopisac nawiasy. najwazniejsze zeby kwantyfikatory obejmowaly wszystkie wystapienia swoich zmiennych, bo jak jest jakies wolne wystapienie to nie jest zdanie
nie jestem pewna ale ja bym to tak zrobila
moga byc takie zadania, nie pamietam czy bylo takie dokladnie, ale bylo zadania do okreslenia czy zdanie i czy wyrazenie

efi

ok dzieki:)

a co było z teorii? Mam nadzieje, że nic z pierwszego semestru...

Cz to drugie zadania z KRP to było zapisać zdania typu Sokrates jest filozofem?