Za pomocą spójników logicznych rozwiąż zadanie.

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Piasek96
Użytkownik
Użytkownik
Posty: 56
Rejestracja: 18 mar 2018, o 00:40
Płeć: Mężczyzna
Lokalizacja: Kołobrzeg

Za pomocą spójników logicznych rozwiąż zadanie.

Post autor: Piasek96 »

1.Nikt, kto lubi Beethowena, nie będzie halasowac w trakcie słuchania sonaty księżycowej.
2.Świnki morskie są zupełnym beztalenciem.
3.Nikt, kto jest zupełnym muzycznym beztalenciem, nie będzie siedział cicho w trakcie słuchania Sonaty księżycowej.
Stąd wynika, że
Żadna świnka morska nie lubi tak naprawdę Beethowena.
Dowód wprost i nie wprost.
Jan Kraszewski
Administrator
Administrator
Posty: 34285
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5203 razy

Re: Za pomocą spójników logicznych rozwiąż zadanie.

Post autor: Jan Kraszewski »

No i z czym masz problem? Wprowadzasz oznaczenia:

\(\displaystyle{ B(x)}\): \(\displaystyle{ x}\) lubi Beethovena.
\(\displaystyle{ HSK(x)}\): \(\displaystyle{ x}\) hałasuje w trakcie słuchania Sonaty Księżycowej.
\(\displaystyle{ SM(x)}\): \(\displaystyle{ x}\) jest świnką morską.
\(\displaystyle{ ZB(x)}\): \(\displaystyle{ x}\) jest zupełnym (muzycznym) beztalenciem.

i zasuwasz.

Jeżeli zaś miałoby być bez kwantyfikatorów (a pewnie o to chodzi), to oznaczasz (w sposób nieco naciągany)

\(\displaystyle{ p}\): \(\displaystyle{ x}\) lubi Beethovena.
\(\displaystyle{ q}\): \(\displaystyle{ x}\) hałasuje w trakcie słuchania Sonaty Księżycowej.
\(\displaystyle{ r}\): \(\displaystyle{ x}\) jest świnką morską.
\(\displaystyle{ s}\): \(\displaystyle{ x}\) jest zupełnym (muzycznym) beztalenciem.

i zasuwasz. Zapisujesz założenia, zapisujesz tezę i dowodzisz.

JK
ODPOWIEDZ