Proszę o sprawdzenie:
Zduduj schematy kwantyfikatorowe następujących zdań:
F(x): x jest omylny
G(x): x jest nauczycielem
a) nie ma nieomylnych nauczycieli
b) istnieją omylni nauczyciele
c) każdy nauczyciel jest omylny
d) żaden nauczyciel nie jest nieomylny
e) tylko omylni są nauczycielami
f) tylko nauczyciele są omylni
Moje rozwiązania:
a) skoro "nie ma nieomylnych nauczycieli" to "żaden nauczyciel nie jest nieomylny"
więc zapisuję to tak:
\(\displaystyle{ \sim\exists x(G(x)\wedge F(x))}\)
b)
\(\displaystyle{ \exists x(G(x)\wedge F(x))}\)
c)
\(\displaystyle{ \forall x(G(x) F(x))}\)
d)
\(\displaystyle{ \sim\exists x(G(x)\wedge F(x))}\)
d)
\(\displaystyle{ \forall x(F(x) G(x))}\)
f)
\(\displaystyle{ \forall x(G(x) F(x))}\)
Czy ktoś może powiedzieć gdzie są błędy jeśli są ???????????!!!!!!!!!!! Bardzo ważne są dla mnie te zadania bo to praca domowa i można dostać za nią 3 pkt.
Pomocy
Zduduj schematy kwantyfikatorowe następujących zdań
-
- Użytkownik
- Posty: 9
- Rejestracja: 27 lis 2006, o 19:52
- Płeć: Mężczyzna
- Lokalizacja: Lwówek Śląski
Zduduj schematy kwantyfikatorowe następujących zdań
zdania są poprawne. Tylko problem pozostaje w interpretacji, jaką sobie życzy wykładowca czy nauczyciel. zdania a, c i d możesz zapisać tak samo, bo mają takie samo znaczenie.
dwa ostatnie zdania można też zapisać inaczej:
e)
\(\displaystyle{ \sim \exists x(\sim F(x) G(x))}\)
f)
\(\displaystyle{ \sim \exists x(\sim G(x) F(x))}\)
dwa ostatnie zdania można też zapisać inaczej:
e)
\(\displaystyle{ \sim \exists x(\sim F(x) G(x))}\)
f)
\(\displaystyle{ \sim \exists x(\sim G(x) F(x))}\)
-
- Użytkownik
- Posty: 67
- Rejestracja: 6 lis 2006, o 15:37
- Płeć: Mężczyzna
- Lokalizacja: Malbork
- Podziękował: 19 razy
Zduduj schematy kwantyfikatorowe następujących zdań
A czy przypadkiem nie mam źle f i nie powinno być?!
\(\displaystyle{ \forall x(F(x) G(x))}\)
???
zdanie brzmi tylko nauczyciele sa omylni, czyli wniosek "kazdy omylny jest nauczycielem"
ten sam blad tyczy sie przykladu e) powinno byc
\(\displaystyle{ \forall x(G(x) F(x))}\)
Jestem pewien na 99 procent ze to sa bledy, takze moze ktos jeszcze raz na te przyklady spojrzec? z gory dziekuje!
\(\displaystyle{ \forall x(F(x) G(x))}\)
???
zdanie brzmi tylko nauczyciele sa omylni, czyli wniosek "kazdy omylny jest nauczycielem"
ten sam blad tyczy sie przykladu e) powinno byc
\(\displaystyle{ \forall x(G(x) F(x))}\)
Jestem pewien na 99 procent ze to sa bledy, takze moze ktos jeszcze raz na te przyklady spojrzec? z gory dziekuje!
-
- Administrator
- Posty: 34473
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
-
- Użytkownik
- Posty: 1384
- Rejestracja: 26 lis 2006, o 21:34
- Płeć: Mężczyzna
- Lokalizacja: Poznań
- Podziękował: 33 razy
- Pomógł: 268 razy
Zduduj schematy kwantyfikatorowe następujących zdań
kurcze nie prawda... oba sa poprawne... tam nie ma błędu.. też bym to tak zapisał.. znaczy może byc w obu wersjach... obie są poprawne..