Cytat:Gdyby KRZ była jednoznaczna to Słupek nigdy by nie wypowiedział zdania:No i później podałem 2 zapisy, z których w KRZ każdy można odczytać na jeden właściwy mu sposób, w przeciwieństwie do twojego wzorku, który można odczytywać na pierdyliard sposobów w zależności od pogody i pozycji słońca w zodiaku.
„myślałem że chodzi ci o …”
Cytat:Kubusia dowód formalny że w implikacji nie zachodzi przemienność argumentów:Nikt tu nigdy tak nie twierdził. Strawman argument.
Cytat:W dowodzie formalnym musisz brać pod uwagę wszystkie linie tabeli zero-jedynkowej a nie dowolnie wybrane.Tia.Tyle, że z twojego "formalnego" zapisu nie wynika co mamy udowadniać.
A co do równoważności, to oczywiście p => q nie jest tym samym co q => p, ale ich iloczyn możemy przekstałcić do takiej postaci:
[latex]
(p \Rightarrow q)*(q \Rightarrow p) = \neg (p * \neg q) * \neg (q * \neg p) =
= \neg\neg(\neg p + q) * \neg\neg (\neg q + p) = (\neg p + q) * (\neg q + p) =
=p \neg p + pq + q\neg q + \neg p\neg q = 0 + pq + 0 + \neg p \neg q =
= pq + \neg p \neg q = p \Leftrightarrow q
[/latex]
Może wprowadź se nowy symbol <~> "zdefiniowany" jako "wtedy, ale nie tylko wtedy", a od implikacji się odczep :]
Polecam poczytać libertarian: http://www.facebook.com/LibDlaBeki
"A hero ventures forth from the world of common day into a region of supernatural wonder: fabulous forces are there encountered and a decisive victory is won: the hero comes back from this mysterious adventure with the power to bestow boons on his fellow man." - Joseph Campbell o Rafale3006
"A hero ventures forth from the world of common day into a region of supernatural wonder: fabulous forces are there encountered and a decisive victory is won: the hero comes back from this mysterious adventure with the power to bestow boons on his fellow man." - Joseph Campbell o Rafale3006