Fizyk napisał(a):Brawo Fizyku, teraz masz tak:Rafal3006 napisał(a):p=>q = ~p+q = ~(p*~q)Super. Choć wolałbym, żebyś sam przeanalizował też resztę, ale cóż. Najważniejsze są chyba punkty 3 i 5:
gdzie:
~p+q - najprostsze równanie definiujące tabelę zero-jedynkową
p=>q = ~(p*~q) - równanie równoważne zgodne z naturalnym językiem człowieka, tego używaj, jak będziesz miał jeszcze wątpliwości to napisz
Przykład:
Nie może się zdarzyć ~(...), że liczba jest podzielna przez 8 i nie jest podzielna przez 2
~(P8*~P2)
... pozostałe zdania identycznie
3. TR=>BR = ~(TR*~BR) = "Nie może się zdarzyć, że trójkąt jest równoboczny i nie ma boków równych". Prawdziwe czy nie? Może się zdarzyć, czy nie?
5. "Jeśli będziemy w Skierniewicach, to oddam gazetę" = "Nie może się zdarzyć, że będziemy w Skierniewicach i nie oddam gazety". Może się zdarzyć, czy nie?
Jeśli będziemy w Skierniewicach to dam ci gazetę
S=>G = ~(S*~G)
czyli:
Nie może się zdarzyć, że będziemy w Skierniewicach i nie dam ci gazety
… ale tych Skierniewic nie ma na trasie Warszawa-Gdańsk.
Dlatego przypadek:
Jesteśmy w Skierniewicach i daję ci gazetę nie ma prawa wystąpić.
S=>G =0 - implikacja faszywa
1 1 =0
Analogiczne zdanie jest takie:
Jeśli zamienisz się w osła to dam ci gazetę
O=>G =0 - implikacja fałszywa
1 1 =0
Bo tu zamiana w osła jest niemożliwa
W omawianej kwestii bardzo ciekawe jest to zdanie o trójkącie
A.
Jeśli trójkąt jest równoboczny to na pewno => ma kąty równe
TR=>KR = ~(TR*~KR)
czyli:
Nie może się zdarzyć, że trójkąt jest równoboczny i nie ma kątów równych
~(TR*~KR) = 1 - twarda prawda zachodząca zawsze
B.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2 = ~(P8*~P2)
czyli:
Nie może się zdarzyć, że liczba jest podzielna przez 8 i nie jest podzielna przez 2
~(P8*~P2) =1 - również twarda prawda zachodząca zawsze
Pytanie do Fizyka:
Czy widzisz jakąś matematyczną różnicę między A i B, czy też matematycznie są to zdania identyczne ?
Proszę o odpowiedź.