Dominik: znacie moze jakis program, ktory jest w stanie zaznaczyc na rysunku zbiory typu: {(x,y)∊ℛ² | (x + y = 0) ⇒ ((x − 3)² + (y − 3)² < 2)} moze byc i wolfram, chociaz nie mam zielonego pojecia co nalezaloby do niego wpisac.

Mila: (x + y = 0), ((x − 3)² + (y − 3)² < 2) tak wpisz do wolfram zbiory rozłączne

Dominik: ale tam jest implikacja. wydaje mi sie, ze jest prawdziwa dla wszystkich punktow plaszczyzny z wylaczeniem tych, ktore zawieraja sie w prostej o rownaniu x + y = 0. mam trudniejsze przyklady, na ktore sklada sie kilka implikacji, negacje, alternatywy, koniunkcje − czego dusza zapragnie. chcialbym jakos moc sprawdzic, czy dobrze rozwiazuje zadania.

vitek1980: polecam winplot. fajne narzędzie do wykresów

Dominik: vitek − dzieki, sciagnalem. masz moze pomysl jak wprowadzic tam taki zbior?

Dominik: Mila, po wpisaniu tego co mi podalas wolfram rysuje raczej zbior {(x,y)∊ℛ2 | (x + y = 0) ∧ ((x − 3)2 + (y − 3)2 < 2)}

Mila: Dominik, nie znam treści zadania, trudno mi coś powiedzieć. Z jakiego działu te zadania?

Dominik: z podstaw matematyki na MIM UW. pierwsze 2 rozdzialy, do ktorych odnosza sie zadania dotycza jezyka logiki matematycznej i zbiorow.

Dominik: http://www.mimuw.edu.pl/~urzy/Pmat/zadania12.pdf mowie dokladnie o pierwszym zadaniu.

Dominik: podbijam