Autor |
Wiadomość |
Temat: xera |
kiddo
Odpowiedzi: 13
Wyświetleń: 1605
|
Forum: Ogłoszenia Wysłany: Śro 12:31, 05 Mar 2008 Temat: xera |
Swietny pomysl zeby to "pdf'nąć", jak mozna sie dolaczyc?
pozdro~ |
Temat: Logika |
kiddo
Odpowiedzi: 13
Wyświetleń: 1926
|
Forum: Sesja Wysłany: Czw 0:05, 21 Lut 2008 Temat: Logika |
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) ^ ... |
Temat: Logika |
kiddo
Odpowiedzi: 13
Wyświetleń: 1926
|
Forum: Sesja Wysłany: Pią 20:11, 15 Lut 2008 Temat: Logika |
hey tu swieza krew na forum, witam wszystkich serdecznie
na egzamie bylo:
-opisac czy przyklady sa wyrazeniem/zdaniem krp i jesli nie to dlaczego
-tu bylo jeszcze cos z krp ale nie pamietam
- ... |
|