U Einego za łby się wodzą niczym na wiejskiej zabawie, gdzie przygrywa zespół "Pędzące Nosorożce". A o co poszło - o dziewuchę, czy o siwuchę? O, nie! Kto ciekawy, sam znajdzie i przeczyta
"<i>Na podstawie komentu tichego...</i>"
Uprzedni koment spróbuję zapisać przy użyciu logiki formalnej. Będę posługiwał się LaTeX'em, do ładnego wyrażenia którego trzeba Firefoxa, oraz zainstalowania doń nakładki "wysmarzona małpka", i jeszcze jednej (szczegóły wyjaśnię, jak kto zapyta), ale wystarczy HTML (jaki koń, każdy widzi). Każda okazja dobra, by kunszta poćwiczyć.
Oznaczenia
"s" = "stare"
"p" = "przyjmować"
"p' " = "nie przyjmować", czyli "odrzucać"
(w ogóle "prim", czyli np. jak wyżej "pe prim" oznaczać będzie negację "pe")
∀ = dla każdego
∃ = istnieje
Mamy twierdzenie Einego: (∀s: s⇒p')'
![[;\left(\forall s: \, s\Rightarrow p'\right)';]](http://www.codecogs.com/gif.latex?\left(\forall s: \, s\Rightarrow p'\right)' "\left(\forall s: \, s\Rightarrow p'\right)'")
które jest logicznie równowaznie z ∃s: p
![[;\exists s: p;]](http://www.codecogs.com/gif.latex?\exists s: p "\exists s: p")
Natomiast chmara (powiedzmy, chmarka) dyskutantów twierdzi, iż jest to twierdzenie równoważne z ∀ s: p
![[;\forall s: p;]](http://www.codecogs.com/gif.latex?\forall s: p "\forall s: p")
Dlatego biadałem nad upadkiem logiki w narodzie. Po przemyśleniu - wszak to upadek logiki w chmarce, więc czy jest się czym przejmować?
Inne tematy w dziale Technologie
