Wykresy z logiki

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Awatar użytkownika
Lmi
Użytkownik
Użytkownik
Posty: 73
Rejestracja: 30 mar 2007, o 14:14
Płeć: Mężczyzna
Lokalizacja: Białystok
Podziękował: 3 razy
Pomógł: 3 razy

Wykresy z logiki

Post autor: Lmi »

Bardzo bym prosił o wytłumaczenie tego zadania. Co i jak zaznaczać.
"Zaznacz na płaszczyźnie zbiór punktów, których współrzędne spełniają formę zdaniową:"
1. \(\displaystyle{ q_{1}(x,y): (|x|\leqslant2)\wedge(y=-3)}\)
2. \(\displaystyle{ q_{2}(x,y): (|x|\leqslant2)\vee(y=-3)}\)
3. \(\displaystyle{ q_{3}(x,y): (|x|\leqslant2)\Rightarrow(y=-3)}\)
4. \(\displaystyle{ q_{4}(x,y): (|x|\leqslant2)\iff(y=-3)}\)

Bardzo proszę o pomoc, proszę mi wyjaśnić jak to zaznaczać (bo zamienić na alternatywę lub koniunkcję to potrafię, ale jak i co zaznaczyć w układzie (pojedyncze części zdania jak i całe zdanie-zależność))!!
Z góry dziękuję
Pozdrawiam
Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

Wykresy z logiki

Post autor: Xfly »

Normalnie najpierw wyznacz x i y spełniające a potem zastosuj definicje kiedy dany spójnik logiczny staje się prawdziwy, i na końcu zaznacz wszystkie pasujące punkty x i y.

Np. z pierwszego masz ze \(\displaystyle{ -2 \leqslant x \leqslant 2}\) i \(\displaystyle{ y = -3}\) czyli wykres prostej \(\displaystyle{ y = -3}\) dla dziedziny \(\displaystyle{ D = }\)
Awatar użytkownika
Lmi
Użytkownik
Użytkownik
Posty: 73
Rejestracja: 30 mar 2007, o 14:14
Płeć: Mężczyzna
Lokalizacja: Białystok
Podziękował: 3 razy
Pomógł: 3 razy

Wykresy z logiki

Post autor: Lmi »

Xfly pisze:zastosuj definicje kiedy dany spójnik logiczny staje się prawdziwy
Np. z pierwszego masz ze \(\displaystyle{ -2 \leqslant x \leqslant 2}\) i \(\displaystyle{ y = -3}\) czyli wykres prostej \(\displaystyle{ y = -3}\) dla dziedziny \(\displaystyle{ D = }\)
Przyznam się że dalej nie wiem jak zaznaczyć i o jaką definicję Tobie chodzi?
Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

Wykresy z logiki

Post autor: Xfly »

Definicja czytaj te sławne tabelki zero-jedynkowe. Np. koniunkcja jest prawdziwa wtedy tylko gdy oba zdania proste ją tworzące są prawdziwe. Czyli rysujesz zbiór x i y i wynikiem jest to co sie pokryło. Alternatywa jest fałszywa wtedy tylko gdy obie jej składowe są fałszywe. A więc rysujemy wszystkie spełniające x i y i wynik to wszystko to co narysowaliśmy itp.
Awatar użytkownika
Lmi
Użytkownik
Użytkownik
Posty: 73
Rejestracja: 30 mar 2007, o 14:14
Płeć: Mężczyzna
Lokalizacja: Białystok
Podziękował: 3 razy
Pomógł: 3 razy

Wykresy z logiki

Post autor: Lmi »

Przesyłam skany w celu sprawdzenia i ewentualnego wytłumaczenia i poprawienia.
Nie jestem pewien podpunktu 3 i 4. Moje obawy związane są z lekcją na której były te wykresy (nauczyciel wogóle nic nie tłumaczył) i wykresy zrobione przez nauczyciela -koniunkcje - wyglądają zupełnie inaczej niż powinny z waszego tłumaczenia.

Wykresy zrobione przez nauczyciela:
Obrazek wygasł

Zadanie (rozwiązania na pomarańczowo- w jednym ostatnim przypadku rozwiązanie przedstawaia trzeci rysunek):
Obrazek wygasł
ODPOWIEDZ