szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna
PostNapisane: 1 lut 2019, o 16:33 
Użytkownik

Posty: 3
Lokalizacja: Łódź
Nie potrafię przekształcac takich zdań w zdanie logiczne. Czy powinienem szukać słów kluczowych, np:to , lub, i? W zdaniu poniżej , widzę tylko negacje.
Zadanie :
"Nikt nie zna wszystkich, którzy go znają"
Mamy dwie osoby p,q w zbiorze Z\{p,q,z\}.
To moja próba:
p,q- osoby
z- zna
\neg(dla kazdego)   \left( p \wedge q\right \wedge z)  \rightarrow (dlakazdego) z\rightarrow\left( p \vee q\right)
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2019
Góra
Mężczyzna
PostNapisane: 1 lut 2019, o 16:46 
Administrator

Posty: 24727
Lokalizacja: Wrocław
Dorian1 napisał(a):
Mamy dwie osoby p,q w zbiorze Z\{p,q,z\}.

:?: :?:

Dorian1 napisał(a):
To moja próba:
p,q- osoby
z- zna
\neg(dla kazdego)   \left( p \wedge q\right \wedge z)  \rightarrow (dlakazdego) z\rightarrow\left( p \vee q\right)

Przykro mi, to nie ma sensu.

Masz zrozumieć strukturę zdania. Musisz też umieć określić elementy logiczne, które będą Ci potrzebne to zapisania tego zdania.

W tym wypadku masz zbiór ludzi L oraz relację dwuargumentową w zbiorze L:

z(x,y)="x\mbox{ zna }y".

Następnie musisz umieć odkodować strukturę tego zdania. Jest ona taka:

Nie jest prawdą, że istnieje człowiek taki, że dla każdej osoby, jeśli ta osoba zna tego człowieka, to on zna ją.

(choć można to równoważnie wyrazić także w inny sposób: dla każdego człowieka istnieje osoba, która go zna, ale on nie zna jej). Zatem szukany zapis to:

\neg(\exists x\in L)(\forall y\in L)(z(y,x) \Rightarrow z(x,y))

lub równoważnie

(\forall x\in L)(\exists y\in L)(z(y,x)\land \neg z(x,y)).

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Prawo logiczne w zdaniu dot. dwóch punktów i prostych  pawellogrd  0
 Zdanie proste - zmienna zdaniowa ? Różnica  pi0tras  3
 zdania logiczne - zadanie 7  tojaczylija  11
 Zapisać zdanie jako schemat zdania  ooolllaaa8883  5
 Logiczne domino - problem  _Nvm_  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl