rafal3006 napisał(a):Logika to nie zapis techniczny zdań – możesz sobie machać rękami to bez znaczenia.Czyli nie umiesz. Wiesz, Einstein z fizyki miał w szkole celujący.
rafal3006 napisał(a):Twierdzenie matematyczne prawdziwe może byc wyłacznie implikacją albo rownowaznością - innych mozliwości NIE MA !
Masz co do tego choćby najmniejsze watpliwości ?
Czy poniższe twierdzenia są implikacjami czy równoważnościami?
1) Tw. Eulera:
[latex]e^{\pi i}+1=0[/latex]
2) Tw. Bézout:
Liczba punktów przecięcia dwóch krzywych nie przekracza iloczynu ich stopni.
3) Wielkie tw. Fermata:
Nie istnieją dodatnie a, b, c, które dla n>2 spełniają [latex]a^n+b^n=c^n[/latex]
4) Tw. o unikalności elementu neutralnego w grupie:
W grupie istnieje dokładnie jeden element neutralny.
5) Aksjomat zbioru pustego:
Istnieje zbiór, do którego nic nie należy.
6) Prawo Kubusia:
(tu wstaw dowolne prawo Kubusia, masz ich na pęczki)
Co do deMorgana i implikacji... ja prawem deMorgana dla implikacji nazywam to:
(P=>Q) = (~P~>~Q)
I jeszcze raz: groźba od obietnicy niczym się nie różni.
I jeszcze raz: wartości zdań P8=>P2 i TR=>KR liczy się przy pomocy tabelki i kwantyfikatora dużego. Nie mój problem, że nie rozumiesz.
Wydaje się, że nie można rozprawiać filozoficznie nie oglądając się przy tym na odkrycia naukowe, bo się zrobi z tego intelektualny pierdolnik. — Palmer Eldritch
Absence of evidence is evidence of absence. – Eliezer Yudkowsky
If it disagrees with experiment, it's wrong. — Richard Feynman
學而不思則罔,思而不學則殆。 / 己所不欲,勿施于人。 ~ 孔夫子
Science will win because it works. — Stephen Hawking
Science. It works, bitches. — Randall Munroe
Absence of evidence is evidence of absence. – Eliezer Yudkowsky
If it disagrees with experiment, it's wrong. — Richard Feynman
學而不思則罔,思而不學則殆。 / 己所不欲,勿施于人。 ~ 孔夫子
Science will win because it works. — Stephen Hawking
Science. It works, bitches. — Randall Munroe