Dyskusja:Implikacja
Z Wikipedii
[edytuj] Wynikanie to nie implikacja!
- Implikacja to zdanie utworzone za pomocą zdań p i q połączoncyh spójnikiem implikacji.
- Implikacja to nie to samo, co spójnik implikacji
- Wynikanie to relacja między zdaniami a zbiorami zdań. Zdanie p wynika z danego zbioru zdań, jeśli nie jest możliwe, że wszystkie zdania należące do tego zbioru są prawdziwe, a zdanie p jest fałszywe. Więcej to ma wspólnego z logiką modalną niż z KRZ. Laforgue (niam) 07:51, 4 kwi 2007 (CEST)
Tak, masz rację. Co prawda tak rozumiane wynikanie jest też nazywane "implikacją materialną" (material implication), co jeszcze bardziej zaciemnia sprawę. Spróbuję potem przetłumaczyć en:Material conditional z dodatkiem np. stąd: [1], powinno być wtedy nieco lepiej. Na razie przeniosłem pod implikacja i usunąłem rzeczy od których mi się scyzoryk w kieszeni otwierał. Olaf @ 20:16, 4 kwi 2007 (CEST)
- Aj, szczerze powiedziawszy, teraz już nie jestem taki pewien, czy wynikanie to to samo, co implikacja materialna. Na wszelki wypadek nie wpisuję nic takiego do artykułu. Wydaje mi się, że ma to też bliski związek z implikacją logiczną, ale chyba jednak to nie to samo. Muszę jednak znaleźć jakieś porządne źródło na temat logiki. Olaf @ 22:17, 4 kwi 2007 (CEST)
-
- Ok, wychodzi mi, że wynikanie to implikacja logiczna. W tym duchu przerobiłem. Olaf @ 01:47, 5 kwi 2007 (CEST)