logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Logika, zadanie nr 4019

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

geometria
post贸w: 865
2015-12-18 13:03:58

Jaka jest roznica miedzy implikacja a wynikaniem (jezeli jest w ogole)?

Czy z prawdy moze wynikac falsz?
Bo przeciez wyrazenie p$\Rightarrow$q oznacza jezeli p, to q albo inaczej z p wynika q wiec jezeli p jest zdaniem
prawdziwym, a q zdaniem falszywym to wtedy bedzie, ze z prawdy czyli z p wynika falsz czyli q


tumor
post贸w: 8070
2015-12-18 13:58:17

Je艣li napiszemy $p \Rightarrow q$, powinni艣my to czyta膰 \"p implikuje q\", a ca艂a implikacja jest FA艁SZYWA, je艣li p jest prawd膮 a q fa艂szem.
Implikacja to pewien sp贸jnik (funktor) 艂膮cz膮cy zdania. Znaj膮c warto艣ci zda艅 sk艂adowych znamy warto艣膰 ca艂ego zdania.

Wynikanie rozumiane szeroko to pewna relacja mi臋dzy SENSAMI zda艅. Ze zdania p WYNIKA q, je艣li jest wykluczone, by jednocze艣nie p by艂a prawd膮 a q fa艂szem.

Rzeczywi艣cie, czasem implikacj臋 (nies艂usznie) czyta si臋 \"wynika\".
Poza tym wynikanie mo偶na niekiedy sprawdza膰 bez odwo艂ania si臋 do sensu, sprawdzaj膮c, czy zachodzi odpowiednia implikacja.

---

Przy tym funkcjonuj膮 te偶 inne nazwy. Czasem na wynikanie m贸wi si臋 implikacja logiczna, w odr贸偶nieniu od implikacji materialnej (czyli sp贸jnika 艂膮cz膮cego zdania).


---

Istnieje te偶 bardziej 艣cis艂a definicja wynikania, ale nie jestem pewien, na ile zaawansowan膮 logik臋 przerabiali艣cie.





Wiadomo艣膰 by艂a modyfikowana 2015-12-18 14:02:22 przez tumor

geometria
post贸w: 865
2015-12-18 14:18:44

Czyli o wynikaniu mowimy wtedy jesli cala implikacja jest prawdziwa natomiast gdy jest falszywa czyli tylko w jednym przypadku gdy poprzednik jest prawdziwy, a nastepnik falszywy i wtedy nie mozna napisac, ze z prawdy wynika falsz bo ta implikacja jest falszywa.
Czy dobrze to rozumiem?


tumor
post贸w: 8070
2015-12-18 21:39:25

Nie. Implikacja to funktor prawdziwo艣ciowy. Wstawiasz dwa zdania o znanych warto艣ciach logicznych i dostajesz zdanie o znanej warto艣ci logicznej.

Wynikanie to relacja mi臋dzy zdaniami (lub zbiorami zda艅) polegaj膮ca na tym, 偶e nie jest mo偶liwe, by jednocze艣nie og贸艂 zda艅 przed znaczkiem wynikania by艂 prawdziwy, a zdanie po znaczku wynikania fa艂szywe.

Jedno to funktor, drugie nie. Te poj臋cia opisuj膮 co艣 innego.


geometria
post贸w: 865
2015-12-19 12:53:42

Spotykam sie z takimi okresleniami:
z prawdy wynika falsz albo z prawdy wynika tylko prawda

wiec jezeli z prawdy wynika tylko prawda to z prawdy nie moze wynikac falsz.

W takim razie czy okreslenie: z prawdy wynika falsz jest poprawne? Jezeli nie to dlaczego tak sie czasami pisze?



tumor
post贸w: 8070
2015-12-19 17:04:23

Spotykasz si臋 te偶 z okre艣leniami \"co nagle to po diable\" albo \"diabe艂 tkwi w szczeg贸艂ach\". Ludzie nie zawsze m贸wi膮 z sensem. :)

Pisze si臋 r贸偶ne b艂臋dne rzeczy. Pytasz mnie, czemu ludzie b艂臋dy robi膮? Na PiS g艂osuj膮, wi臋c wida膰 b艂臋dy maj膮 we krwi.

strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj