ŚFiNiA

[rafal3006]

[fiklit]

Wymyślasz problemy zastępcze. Mnie nie interesuje co na to logika ziemian.

[rafal3006]

[fiklit]

Kompletnie mnie nie interesuje co sądzi o tym logika ziemian.

[rafal3006]

[fiklit]

Tracisz czas.

[rafal3006]

[Irbisol]

Napisałeś, że 1*1=0 oraz że 1*1=1.
Twoja logika jest sprzeczna.

[fiklit]

A kto mówi, że nie widzi. Ja tylko mówię, że to nie ma znaczenia dla problemu o który mi chodzi. I nie będę o tym rozmawiał.
Pytam o to zdanie dlatego, że kiedyś twierdziłeś, że jest fałszywe, ale tak często zmieniasz zdania, że nie wiem czy to dalej aktualne.

[rafal3006]

[fiklit]

I to zdanie A można zapisać
S=>O?

[szaryobywatel]

[fiklit]

Wg rafała, jeśli mowa ogólnie o mężczyźnie to prawda, ale jeśli masz na myśli konkretnego mężczyznę, który nie miał syna to fałsz. ;)

[rafal3006]

[rafal3006]

[fiklit]

To jak w AK zapisać zdanie A o Kopernik ale tym bezdzietnym?

[rafal3006]

[fiklit]

To jak napisać w AK
"Jeśli Kopernik miał syna to był ojcem " jest fałszywe.
?

[rafal3006]

[rafal3006]

Naszą dyskusję o Koperniku i synu można przełożyć na dużo prostsze zdanie.

Pani w przedszkolu:
A.
Jutro pójdziemy do kina i do teatru
Y=K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie (~Y=1)?
Pani skłamie (~Y=1) we wszystkich pozostałych przypadkach:
~Y = K*~T+~K*T + ~K*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> K=1 i ~T=1 lub ~K=1 i T=1 lub ~K=1 i ~T=1

Załóżmy że jest pojutrze i nie znamy rozwiązania.
Wtedy na pytanie kiedy pani dotrzymała słowa (Y=1) a kiedy skłamała (~Y=1) odpowiadamy identycznie jak wyżej lecz w czasie przeszłym.

Jas lat 5 do mamy:
Mama przedwczoraj pani powiedziała zdanie:
Jutro pójdziemy do kina i do teatru

Zgadnij kiedy pani została kłamczuchą a kiedy mówiła prawdę?
Mama:
To proste syneczku:
Pani dotrzymała słowa (Y=1) wtedy i tylko wtedy gdy wczoraj byliście w kinie (K=1) i w teatrze (T=1)
W każdym innym przypadku pani skłamała.

Synek:
Mama, pani skłamała (~Y=1) bo wczoraj byliśmy w kinie ale nie byliśmy w teatrze
Czy to zdanie jest prawdziwe?
Mama:
Tak syneczku, to zdanie jest prawdziwe, bo:
~Y = K*~T+~K*T+~K*~T
Jeśli wczoraj zaszło:
x=K*~T
to
~Y = x*(K*~T+~K*T+~K*~T)
~Y = (K*~T)*(K*~T+~K*T+~K*~T) = K*~T =1
Mamy tu 100% zgodność zaistniałego fakty x=K*~T z analizą matematyczną dla przypadku x=K*~T

Synek:
… a czy wobec znajomości powyższego rozwiązania prawdziwe jest zdanie:
Pani skłamała (~Y=1) bo wczoraj nie byliśmy w kinie i nie byliśmy w teatrze
Mama:
To zdanie jest fałszywe syneczku, bo wczoraj byliście w kinie i nie byliście w teatrze.
Równanie funkcji logicznej ~Y jest takie:
~Y = K*~T+~K*T+~K*~T
dla:
x=~K*~T
mamy:
~Y = (~K*~T)*(K*~T+~K*T+~K*~T) = ~K*~T =0
Bo wczoraj zaszło:
x=K*~T=1 czyli x=~K*~T=0
Mamy tu niezgodność zaistniałego faktu x=K*~T z analiza matematyczną dla przypadku x=~K*~T

[fiklit]

A
I prawo kontrapozycji dla znaczka =>:
p=>q = ~q=>~p
to obowiązuje w AK?

[rafal3006]

UWAGA!
W tym poście są błędy, poprawiony post jest tu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1450.html#430865

[fiklit]

Jeśli Kopernik miał syna to był ojcem

S=>O

S=>O=~O=>~S

Jeśli Kopernik nie był ojcem to nie miał syna.

I teraz dowiadujesz się, że Kopernik był bezdzietny.

Fałsz = Prawda

[Irbisol]

U Kubusia nadal 1*1=0 i 1*1=1

[fiklit]

Ja widać w AK nie jest to problem że 1=0.