www.zmprawo.fora.pl

tulipe · Dołączył: 12 Sty 2010 Posty: 119 Przeczytał: 0 tematów

grupa A
1.0-1
2.wykaż, że podana sekwencja jest wyrażeniem rachunku zdać
3. ogólna def dowodu, definicja nieprzechodnia i trzeciego nie pamiętam
4. prawo rozkładania koniunkcji względem alternatywy, prawo ekstensjonalności dla małego kwantyfikatora, relacja jest zwrotna w zbiorze z
5. błędy w definiowaniu poza błędem nieadekwatności
6. wnioskowanie przez analogię pierwszego typu, definicja wniosku i pośredniej konsekwencji inferencyjnej danej tezy

jak widać nie było tak źle....

dziqsmelka

no rzeczywiście nie najgorzej, szczególnie zapisy formalne Wink

a grupa B?

pabaelus · Dołączył: 06 Gru 2009 Posty: 177 Przeczytał: 0 tematów

Grupa B

Zadanie 1.
Metoda 0-1

Zadanie 2.
Zasięgi kwantyfikatorów

Zadanie 3.
a)Wyrażenia rachunku zdań
b) zawieranie właściwe w zbiorach
c) klasa abstrakcji od x-a

Zadanie 4.
a) Relacja przeciwprzechodnia
b) prawo komutacji
c) suma zbiorów (element w sumie)

Zadanie 5.
Zdanie A wynika logicznie ze zdania B. Zdanie A jest fałszywe. (itd.)

Zadanie 6.
a) Wnioskowanie przez analogię 2 typu (schemat i przykład)

dwóch ostatnich nie pamiętam Razz

Nanok · Dołączył: 27 Lis 2009 Posty: 75 Przeczytał: 0 tematów

Do cholery jasnej nigdy więcej nie pójdę na I termin!

Tutaj - moim zdaniem - obie grupy były przyzwoite. Plus minus, straciłabym max. po 4 pkt.. Innymi słowy, zaliczyłabym bez problemu :/

A niech mnie *** strzeli albo inny meteoryt! :/

pabaelus · Dołączył: 06 Gru 2009 Posty: 177 Przeczytał: 0 tematów

Dla mnie o wiele łatwiejsze były zadania z I terminu... Ale jak to się mówi, dobrze tam, gdzie nas nie ma...

dziqsmelka

W tym wypadku zawsze tak było, jest i będzie.. Prof. potrafi porządnie człowieka zestresować Razz

Mi odechciało się pisać po samej 'procedurze' wpuszczania na salę. Zrobiłam 0-1, w drugim cieszyłam się, że mam egzemplifikacje, ale potem mi nie wychodziły.. w trzecim wkurzałam się, że nie mam drugiego i nie pamiętam jednego pojęcia. W czwartym też wielkie grrrrr, bo nie pamiętałam tej jednoargumentowej funkcji, i cały czas wracałam do drugiego, żeby zrobić, szczególnie drugi przykład. I tak przed piątym pytaniem już czułam flaki w gardle i dwóję w indeksie, więc dziękuję bardzo za takie egzaminy Razz

Oby Wam dzisiaj szczęście dopisało Wink

!

martyna_91

łee no ale jeśli mówisz nie umiałaś zrobić tylko pojedynczych przykładów w każdym zad to zobaczysz, da rade na 3 Wink

pabaelus · Dołączył: 06 Gru 2009 Posty: 177 Przeczytał: 0 tematów

Będzie dobrze, Szefowo Wink

a egzamin zaliczyłbym do średnio trudnych Razz

myślałem, że będzie gorzej, ale też lekko nie było Razz

szczególnie zaskoczyło mnie pytanie "w jakich relacjach występuje błędne koło?".

Tak, tak, w relacjach, a nie definicjach Razz

i jakbyście na to odpowiedzieli? Razz

dziqsmelka

pabaelus · Dołączył: 06 Gru 2009 Posty: 177 Przeczytał: 0 tematów

No, ja też tak zrobiłem, jak to zobaczyłem Razz

i nie wiedziałem o co chodzi, więc napisałem "w relacjach sprawozdawczych" Razz

a okazało się, że trzeba wytłumaczyć po prostu to w ten sposób: "błędne koło występuje w relacjach, gdy definiendum jest identyczne z definiensem" Razz

czyli po prostu regułka, którą umiałem Sad

masakra <olaboga> Razz

ale trudno Very Happy

olka00 · Dołączył: 18 Lis 2009 Posty: 22 Przeczytał: 0 tematów

Mam prośbę, czy mógłby ktoś wyjaśnić mi jak się robi te egzemplifikacje praw logiki? Dzieki!

kasia180306 · Dołączył: 10 Lut 2010 Posty: 5 Przeczytał: 0 tematów

mam pytanie odnośnie zasięgów poszczególnych kwantyfikatorów jeżeli prof. poda jakieś zdanie tak jak np. jest to w książce a) Dla każdego x,[jeżeli x skończył studia prawnicze, to istnieje taki y, że(x pisał pracę magisterską pod kierunkiem y-a)]
To wyrażenie to zamieniamy na zapis symboliczny czy po prostu piszemy na podstawie tego podanego zdania

pabaelus · Dołączył: 06 Gru 2009 Posty: 177 Przeczytał: 0 tematów

Nie, piszesz tak:

/\ wiąże (ten slaczek) [jeżeli.......y-a)]

i tak dalej

dziqsmelka

TomaszW · Dołączył: 13 Gru 2009 Posty: 88 Przeczytał: 0 tematów

Przykład jest OK Very Happy