Poprawność wynikania.

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
gr4vity
Użytkownik
Użytkownik
Posty: 41
Rejestracja: 14 paź 2021, o 19:47
Płeć: Mężczyzna
wiek: 19
Podziękował: 19 razy

Poprawność wynikania.

Post autor: gr4vity »

Robiąc dosyć trywialne zadania natrafiłem na taki przykład:

Alicja jest żoną sławnej amerykańskiej osobowości, zatem mąż Alicji jest sławną osobowością.

Odpowiedź od prowadzącego to:
Wnioskowanie jest niepoprawne ponieważ mamy, że jest "sławną amerykańską osobowością".

Jednak moim zdaniem wnioskowanie jest poprawne, bo skoro jest sławną amerykańską osobowością to tym bardziej jest sławną osobowością.

Co innego gdyby było: Alicja jest żoną sławnej osobowości, zatem mąż Alicji jest sławną amerykańską osobowością.
Czy na pewno to wnioskowanie jest takie jednoznaczne i jestem w błędzie, czy jednak jest o co się pokłócić?
Jan Kraszewski
Administrator
Administrator
Posty: 34244
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5203 razy

Re: Poprawność wynikania.

Post autor: Jan Kraszewski »

Wszystko zależy od definicji "sławnej osobowości" - używacie różnych definicji i każdy z Was ma rację w odniesieniu do swojej definicji.

Ty uważasz, że \(\displaystyle{ X}\) jest sławną osobowością jeśli \(\displaystyle{ X}\) jest sławną osobowością w pewnym kraju. Twój prowadzący uważa, że \(\displaystyle{ X}\) jest sławną osobowością jeśli \(\displaystyle{ X}\) jest sławną osobowością w każdym kraju, zatem bycie sławną amerykańską osobowością nie gwarantuje jeszcze, że jesteś sławną osobowością (co ma swój sens - wiesz, kim był George Herman Ruth Jr.? A to sławna amerykańska osobowość...).

JK
ODPOWIEDZ