Logika, zadanie nr 4019
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
geometria post贸w: 865 | 2015-12-18 13:03:58Jaka 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:17Je艣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:44Czyli 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:25Nie. 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:42Spotykam 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:23Spotykasz 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
2015-12-18 13:03:58