logika zapis symboliczny

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
niety1
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 7 lis 2017, o 22:36
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 1 raz

logika zapis symboliczny

Post autor: niety1 » 7 lis 2017, o 22:40

Jak zapisać : Proste a i b są równoległe ? za pomocą kwantyfikatorów, spójników logicznych, itd.

Jan Kraszewski
Administrator
Administrator
Posty: 27288
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: logika zapis symboliczny

Post autor: Jan Kraszewski » 7 lis 2017, o 22:45

To zależy od tego, co oznacza "itd.", bo same kwantyfikatory i spójniki nie wystarczą.

JK

niety1
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 7 lis 2017, o 22:36
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 1 raz

Re: logika zapis symboliczny

Post autor: niety1 » 7 lis 2017, o 22:51

za pomocą kwantyfikatorów, spójników logicznych i funkcji zdaniowych w przestrzeni euklidesowej

Mam to przedstawić jako 4 punkty z których dwa tworzą proste czy od razu założyć, że one (proste a i b) istnieją ?

Jan Kraszewski
Administrator
Administrator
Posty: 27288
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: logika zapis symboliczny

Post autor: Jan Kraszewski » 7 lis 2017, o 23:10

Symbole \(\displaystyle{ a}\) i \(\displaystyle{ b}\), oznaczające w tym wyrażeniu proste, muszą być zmiennymi wolnymi (bo wyrażenie to nie jest zdaniem, tylko funkcją zdaniową zmiennych \(\displaystyle{ a}\) i \(\displaystyle{ b}\) - opisuje pewną ich własność), więc nie wolno ich kwantyfikować.

JK

niety1
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 7 lis 2017, o 22:36
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 1 raz

Re: logika zapis symboliczny

Post autor: niety1 » 7 lis 2017, o 23:51

tzn, że mogę zacząć tak: dla każdego \(\displaystyle{ z}\) (\(\displaystyle{ z}\) jest płaszczyzną) \(\displaystyle{ P(z,a)}\) i \(\displaystyle{ P(z,b)}\) wynika... ?
Ostatnio zmieniony 7 lis 2017, o 23:59 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Brak LaTeX-a. Proszę zapoznaj się z instrukcją: http://matematyka.pl/latex.htm .

Jan Kraszewski
Administrator
Administrator
Posty: 27288
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: logika zapis symboliczny

Post autor: Jan Kraszewski » 7 lis 2017, o 23:58

Po pierwsze - używaj \(\displaystyle{ \LaTeX}\)-a, bo posty będą trafiać do Kosza.

Po drugie, co to jest \(\displaystyle{ P(z,a)}\) ?

JK

niety1
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 7 lis 2017, o 22:36
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 1 raz

Re: logika zapis symboliczny

Post autor: niety1 » 8 lis 2017, o 00:20

\(\displaystyle{ \forall z ( \pi (z,a) \wedge \pi (z,b)) \Rightarrow \neg \exists x ( \Xi (a,x) \wedge \Xi (b,x) \vee \exists (a=b \Leftrightarrow \forall m (m \in a \Leftrightarrow m \in l))}\)
to ma jakiś sens ?
Ostatnio zmieniony 8 lis 2017, o 00:33 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Niepoprawnie napisany kod LaTeX-a. Proszę zapoznaj się z http://matematyka.pl/178502.htm .

Jan Kraszewski
Administrator
Administrator
Posty: 27288
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: logika zapis symboliczny

Post autor: Jan Kraszewski » 8 lis 2017, o 00:33

Trudno powiedzieć, gdy nie wiem, co oznaczają \(\displaystyle{ \pi (z,b)}\) czy \(\displaystyle{ \Xi (a,x)}\). To nie są oznaczenia standardowe, musisz je wytłumaczyć.

Poza tym jeden kwantyfikator \(\displaystyle{ \exists}\) nie ma zmiennej.

JK

niety1
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 7 lis 2017, o 22:36
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 1 raz

logika zapis symboliczny

Post autor: niety1 » 8 lis 2017, o 00:39

właściwie nie wiem, nie rozumiem tego, ale dzięki za pomoc

Jan Kraszewski
Administrator
Administrator
Posty: 27288
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: logika zapis symboliczny

Post autor: Jan Kraszewski » 8 lis 2017, o 00:59

No ale skądś je wziąłeś, więc także wytłumaczenie gdzieś jest.

JK

niety1
Użytkownik
Użytkownik
Posty: 15
Rejestracja: 7 lis 2017, o 22:36
Płeć: Kobieta
Lokalizacja: Polska
Podziękował: 1 raz

logika zapis symboliczny

Post autor: niety1 » 8 lis 2017, o 01:05

chciałam zapisać proste a i b są równoległe, zatem nie mają punktów wspólnych lub się pokrywają, sugerując się w zapisie notatkami :/

Jan Kraszewski
Administrator
Administrator
Posty: 27288
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4594 razy

Re: logika zapis symboliczny

Post autor: Jan Kraszewski » 8 lis 2017, o 01:16

Składniowo trochę popłynąłeś. Może tak:

\(\displaystyle{ neg \exists x ( x\in a \wedge x\in b \vee a=b)}\)

ale ten zapis zakłada, że wiemy, iż \(\displaystyle{ a}\) i \(\displaystyle{ b}\) są prostymi na płaszczyźnie (bo sam w sobie mówi tylko, że zbiory \(\displaystyle{ a}\) i \(\displaystyle{ b}\) są rozłączne lub równe).

Obawiam się, że bez wiedzy o symbolach, które używasz możemy nie osiągnąć celu - odpowiedź bardzo zależy od tego, jakie są konkretne oczekiwania, np. jakich "funkcji zdaniowych w przestrzeni euklidesowej" możesz/musisz używać.

JK

ODPOWIEDZ