ŚFiNiA

[rafal3006]

[fiklit]

To dlaczego uwżasz że to problem.

[fiklit]

Sądzę, że jeśli nikt się nie myli, która to logika to chyba oznacza, że wszyscy wiedzą, która to logika.
I nie ma tu problemu?

[rafal3006]

[fiklit]

To w czym masz problem?

[rafal3006]

[idiota]

Firklit też twierdzi, że nie wiesz co to jest definicja i jak działa, nawet kilka razy to wprost stwierdzał.

[rafal3006]

[fiklit]

O jakim problemie ze mną rozmawiasz? Bo ja o tym co napisałeś:

[rafal3006]

[fiklit]

No to jeszcze do tego cytatu: Jak to się dzieje, że jednak ludzie nie mylą się o jaką logikę chodzi?

[rafal3006]

[rafal3006]

Symboliczna logika matematyczna

Przykład z przedszkola, pokazujący jak działa mózg 5-cio latka:
A.
Pani:
Jutro pójdziemy na basen lub pójdziemy do kina i nie pójdziemy do teatru
Y = B+ K*~T
Kiedy pani dotrzyma słowa (Y):
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro:
B =1 - pójdziemy na basen
lub
K*~T =1*1 =1 - pójdziemy do kina (K) i nie pójdziemy do teatru (~T)

Do naszego równania możemy wprowadzić zmienną x pod którą możemy podstawiać dowolne zdarzenia jakie jutro mogą wystąpić:
Y= x*(B+K*~T)
Załóżmy, że jutro zajdzie:
x=B =1 - pójdziemy na basen
stąd mamy:
Y = B*(B+K*~T) = 1+x =1 - wystarczy że pójdźmy na basen i już pani dotrzyma słowa (Y=1)
Załóżmy że jutro zajdzie:
x=K*~T = 1*1 =1 - pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
stąd mamy:
Y = K*~T*(B+K*~T) = x+ 1 =1 - wystarczy że pójdziemy do kina (K) i nie pójdziemy do teatru (~T) i już pani dotrzyma słowa.

Z powyższego wynika że pani dotrzyma słowa (Y) tylko w dwóch przypadkach:
B=1 - gdy jutro pójdziemy na basen
lub
K*~T =1*1 =1 - gdy jutro pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
W pozostałych przypadkach skłamie (~Y)

… a kiedy pani skłamie?
Przechodzimy z równaniem A do logiki ujemnej (bo ~Y):
Y=B+(K*~T)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = ~B*(~K+T)
~Y=~B*~K + ~B*T
stąd mamy odpowiedź w naturalnej logice matematycznej człowieka, bo to jest równanie alternatywno-koniunkcyjne:
Pani skłamie (~Y) wtedy i tylko wtedy gdy:
~B*~K - jutro nie pójdziemy na basen (~B) i nie pójdziemy do kina (~K)
lub
~B*T - jutro nie pójdziemy na basen (~B) i pójdziemy do teatru (T)

Do naszego równania możemy wprowadzić zmienną x pod którą możemy podstawiać dowolne zdarzenia jakie jutro mogą wystąpić:
~Y= x*(~B*~K+~B*T)
1.
Załóżmy że jutro pójdźmy na basen:
x=B =1
sprawdzamy czy pani ma szansę skłamać:
~Y = B*(~B*~K+~B*T) = 0+0 =0
Wniosek:
Jak pójdziemy na basen to pani na 100% nie skłamie
2.
Załóżmy że jutro nie pójdziemy na basen (~B) i nie pójdziemy do kina (~K)
x=~B*~K =1*1=1
~Y = ~B*~K*(~B*~K + ~B*T) = 1+x = 1 - pani skłamie
3.
Załóżmy że jutro nie pójdziemy na basen (~B) i pójdziemy do teatru (T)
x=~B*T =1*1 =1
~Y = ~B*T*(~B*~K+~B*T) = x + 1 =1 - pani skłamie

Wniosek:
Pani może skłamać wyłącznie w dwóch przypadkach:
x=~B*~K =1*1 =1
lub
x=~B*T =1*1 =1
w pozostałych przypadkach pani dotrzyma słowa

Zauważmy, że to jest analiza w równaniach algebry Boole’a, żadne tabele zero-jedynkowe nie są tu używane

[fiklit]

[rafal3006]

[idiota]

"Problem w tym że wyłącznie autor zapisu:
p*q+~p*~q
wie co miał na myśli.
Reszta ludzkości, około 7 mld musi zgadywać. "

Zgoda, ale pod jednym warunkiem.
Musiałaby najpierw wpaść na pomysł twój logik dodatnich i ujemnych.
Normalnie nikt nie widzi problemu bez twoich pomysłów.

[rafal3006]

[fiklit]

Niekoreślenie czy chodzi o Y czy ~Y nie jest problemem w aktualnej matematyce/logice.

[idiota]

W zasadzie nie wiadomo co by tu miało być określone...

A po co rafał wkleił powyżej tekst... Nie wiadomo.

[fiklit]

No jak to po co. Nie wie co powiedzieć, więc trzeba coś od rzeczy wkleić.

[idiota]

A tak korzystając z okazji, bo nie mam tu jasności.
Masz jakiś pomysł po co rafałowi wprowadzenie pojęć, które powodują, że proste napisy w rodzaju (p v ~q) stają się wieloznaczne?
Ja rozumiem, że on odkrył ku własnej zgrozie i nadziei, że funkcje logiczne mają swoje odwrotności w kwestii prawdy i fałszu, ale to co wymyślił ten fakt jakoś tak rozwadnia.

[rafal3006]

[rafal3006]

[fiklit]

dotrzyma: B+ K*~T
nie dotrzyma ~( B+ K*~T)

[fiklit]

Nie wiem po co to rafaławi. Może to trochę wynikać z tego, że mu się wszystko zlewa w jedno, bierze się za krytykowanie rzeczy których nie zna. A ogólnie to chyba po prostu pisze żeby pisać.
Jak dla mnie to o tym "problemie" nierozróżniania czy napis jest w dodatniej czy ujemnej, powinien być w trybie przypuszczającym.