[z załącznikiem]Logika :: Forum UE Wrocław

stingah · Wysłany: 2006-01-20, 22:09 **[z załącznikiem]Logika**

Dorwałem egzamin z logiki

. Oczywiście z poprzednich lat

Podziękowania dla Bogusi P.

Larry · Wysłany: 2006-01-21, 13:59

jak sie otwiera plik download.php??

Andree · Wiek: 28 Dołączył: 11 Sty 2006 Posty: 6

plik jest uszkodzony
mozesz jeszcze raz wrzucic?

stingah · Wysłany: 2006-01-21, 15:52

Nie wydaje mi siębo u mnie się ściaga normalnie i u kumpla też. Ale moge wkleić tekst:

Cytat:

Jedna z grup na examie z LINu, do której przynależałem

1. Sprawdzić czy formuła jest tautologią, sprowadzając ją do postaci koniunkcyjno-normalnej. Odpowiedź uzasadnić.

((p^q) => ~r) => (~p => (~q =>r))

2. Sprawdzić prawdziwość formuły przy nastepującej interpretacji.

EyAx: P(f(h(g(x, i(y))), h(g(i(x), y))), a)

x,y należą {0,1}
f(x,y) = max {x,y}
g(x,y) = x+y
h(x) = |x|
i(x) = -x
a = 1
P - rel. równości

3. a) NCKpNqAqp (PN na CN)
(Np)K((qCp)A(Nq) (CN na PN)

4. <0,0,1,...>

(q v r) ^ (q <=> ~p) => ~(p ^ r)

5. (q ^ p) => (p v q)

HB5: p ^ q => q
HB3: (p => q) => ((q => r) => (p => r))
HB7: p => p v q

oraz z reguły odrywania i reguły podstawiania

6. Rezolucje:

{Ax P(x) => Ax Q(x), Ax Q(x) => ~Ax R(x), ~Ax R(x) => Ax S(x)}
|- Ax P(x) => Ax S(x)

7. Schemat wnioskowania .........(1 słowo - nie mogłem się doczytac własnego pisma ) (w jakiej sytuacji jest niezawodny).

8. Podac definicje tautologii KRP.

9. Podac przykł. dwuargumentowych funktorów, które po wstawieniu do schematu wnioskowania spowodują, że jest niezawodny.

10. Aksjomaty pozalogiczne pewnej teorii formuł są następujące:

P(x) v ~P(x) => P(x)
Q(x) ^ ~Q(x) => P(x)

Podac model tej teorii (chociaż jeden)

11. Ten kto uczęszcza na wykł. z logiki i z uwagą słucha, to rozwiąże te zadania. Dziś jestem na wykładzie, a więc rozwiąże te zadania. Zapisac ten tekst w języku KRP i sprawdzic, czy poprawnie zostało użyte słowo "więc".

To wszycho!!! Powodzenia na examinie...Ja jeszcze muszę poczekac rok

jul · Dodano: 2006-01-23, 14:31