Gówno-logika ziemian zwana Klasycznym Rachunkiem Zdań

ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Gówno-logika ziemian zwana Klasycznym Rachunkiem Zdań
Idź do strony Poprzedni 1, 2, 3 ... 13, 14, 15 ... 53, 54, 55 Następny

Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

lucek

Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów

Wysłany: Sob 20:28, 23 Lut 2019 Temat postu:

szaryobywatel napisał:

lucek napisał:

po prostu ciągle nie rozumiesz problemu - masz stworzyć interpretację fizyczną implikacji - pokazać, że to możliwe, a nie pokazać tłumoku jakie implikacja dla p i q przyjmuje wartości :mrgreen:

ale i tak mnie to już nie interesuje, bo twój kłapouch kolega rafał i tak już zapomniał o czym mówił niedawno

Ty sam nie wiesz co bełkoczesz lucku.
Program nie pokazuje jakie implikacja przyjmuje dla p i q wartości,
tylko implementuje implikację.
Mówiąc obrazowo: wiesz że program wykona X gdy p, ale nie wiesz czy wykona X gdy ~p. To pewnie od czegoś zależy, ale Ty nie wiesz od czego.
Sytuacja 1: X nie zostało wykonane, więc wystąpiło ~p
Sytuacja 2: X zostało wykonane, więc wystąpiło albo p albo ~p
To jest implementacja implikacji p => q, czyli implikacji ~q => ~p.
No ale skoro twierdzisz, humanistyczny geniuszu (nie chodzi o literackiego geniusza), że implikacja sprawia problemy przy "fizycznej interpretacji",
takie których nie sprawia alternatywa, to podaj "fizyczną interpretacje" alternatywy. Pal licho że implikacja p => q jest alternatywą ~p lub q,
pokaż nam tę "fizyczną interpretacje". Pokaż "że to możliwe"

szaryobywatel napisał:

Instrukcja if w zupełności implementuje implikację.

wiki napisał:

Implementacja (wdrożenie, przystosowanie, realizacja, łac.ang. implementation) – w informatyce – proces przekształcania abstrakcyjnego opisu systemu lub programu na obiekt fizyczny: komputer lub działający program zapisany w konkretnym języku programowania; także obiekt fizyczny będący efektem takiego przekształcenia, np. implementacja systemu operacyjnego (wdrożenie systemu) lub kompilatora dla konkretnego typu komputera.

szaryobywatel napisał:

W związku z tym, nieważne czy skoczek podskoczy gdy ~p (z jakiegoś powodu), czy nie podskoczy, gra implementuje implikację p => s.
Robi to też każdy program zawierający instrukcje warunkowe.
Na takiej np. zasadzie:

Kod:

...
if (warunek p)
{
wykonaj X // warunek q spełniony <=> X wykonane
}
...

Z tego nie wynika że gdy ~p, X się nie wykona, albo się wykona.
To nie ma nic wspólnego z implikacją p => q.
Rozumiesz już że to nie ja jestem niedorozwiniętym kretynem?
Jeśli nie, tłumaczymy dalej

Myślę, że po prostu nie rozumiesz:
1. co to jest implementacja
2. nie rozumiesz (a raczej udajesz), że gdy mówimy o implikacji, mamy na myśli wszystkie 4 możliwe zdania połączone spójnikiem implikacji

szaryobywatel napisał:

Popełniasz ciągle ten sam, charakterystyczny dla humanistów błąd.
To z p coś wynika, a nie z ~p. Popełniasz ciągle ten sam, charakterystyczny dla humanistów błąd.
To z p coś wynika, a nie z ~p.

Wskaż cytat, gdzie cokolwiek pisałem o wynikaniu! nie popełniam tutaj żadnego błędu, jedynie ty odnosisz się do swoich urojeń.
Sam natomiast jak widać nie odróżniasz implikacji i wynikania.

szaryobywatel napisał:

Jeśli p to q, a jeśli ~p to implikacja p => q nie dotyczy tego przypadku.

Logika, Michał Lipnicki, Zakład Logiki Stosowanej, UAM napisał:

[...]
Przedmiotem logiki klasycznej są tylko zdania oznajmujące, tj. zdania w
sensie logicznym. Zdaniom tym przysługuje własność prawdy i fałszu.
[...]
W logice przyjmujemy tzw. klasyczną definicję prawdy — zdanie jest
prawdziwe wtedy i tylko wtedy, gdy istnieje stan rzeczy przez nie
komunikowany. Jeżeli taki stan rzeczy nie zachodzi, to zdanie to jest
fałszywe.
[...]
W KRZ analizujemy jedynie zdania w sensie logicznym, czyli podlegające
ocenie ze względu na ich prawdziwość bądź fałszywość.
[...]
Tabelki prawdziwościowe, Pięć wyróżnionych spójników:
[...]

Kod:

α β α → β
0 0 1
0 1 1
1 0 0
1 1 1

[...]

Twierdziłeś szaryobywatelu, że na logice to ty się znasz.

Więc myślę, że dam ci jeszcze szansę: przez "implementację implikacji", rozumiem program, z którego można wyinterpretować 4 przypadki zdań połączonych spójnikiem implikacji, wg tabeli w cytacie powyżej (jeśli coś jest niejasne - pytaj

dopowiem).

szaryobywatel napisał:

Program nie pokazuje jakie implikacja przyjmuje dla p i q wartości, tylko implementuje implikację.

oczywiście interpretacja, o której wyżej napisałem musi pozwalać na określenie wartości logicznej zdań składowych i wartości logicznej zdania p->q, zgodnie z tabelą i obejmować wszystkie 4 możliwe przypadki.

szaryobywatel napisał:

pokaż nam tę "fizyczną interpretacje". Pokaż "że to możliwe"

Pokażę, o ile to jest możliwe - bo mam wątpliwości, jeśli nie jest możliwe, to w zgodzie z cytatem powyżej, - drugi akapit, o klasycznej def, prawdy jako zachodzącego stanu rzeczy, może się okazać, że tabela w powyższym cytacie, jest po prostu fałszem - zobaczymy :wink:

Ale na razie masz szansę pokazać, że znasz się na logice, powodzenia to na prawdę nie jest takie trudne

- i prośba - nie odnoś się w tej implementacji do swoich urojeń o tym co rozumiem, a czego nie rozumiem, bo dla tego zadania to jest bez znaczenia.

Ostatnio zmieniony przez lucek dnia Sob 20:33, 23 Lut 2019, w całości zmieniany 1 raz