ŚFiNiA

rafal3006

Definicja prawdy absolutnej

Definicja prawdy absolutnej:
Prawda absolutna to prawda poznana w punkcie x naszego czasu, obowiązująca do końca naszego Wszechświata.

Irbisol

Najpierw się określ, gdzie dałeś dupy - czy w tabelce w pierwszym poście tego tematu, czy później, gdy zacząłeś majaczyć o części wspólnej zbiorów.
PISZ NA TEMAT.
Twoje tłumaczenia w kółko tego samego dawno już przekroczyły granicę porzygu i każdy je i tak ignoruje.

rafal3006

fiklit

To jak pani powie "w pudełku jest kot i pies" to =0?
Bo Y=K*P=[K]*[P]=[]=0?

Adriatyk

Każdy pięciolatek wie, że to zależy od tego, czy pies jest zwierzęciem, czy nie jest, bo jeżeli jest, to kot jest podzbiorem zwierzęcia i =1, ale jeżeli pies nie jest zwierzęciem, a tylko podzbiorem zwierza, to przecie kot nie może być podzbiorem podzbioru psa i wtedy =0

rafal3006

Prawo niepustej dziedziny i prawo przemijania!

Prawo niepustej dziedziny:
Dziedzina na której operuje dowolne zdanie z języka potocznego musi zawierać wszystkie zmienne użyte w zdaniu zarówno w postaci niezanegowanej jak i zanegowanej i każda ze zmiennych musi być zbiorem niepustym (zmienną możliwą do zaistnienia), bowiem wtedy i tylko wtedy możliwe jest zbudowanie poprawnej matrycy zero-jedynkowej na wejściu układu.

Prawo przemijania:
Przy znajomości rozwiązania dowolny operator logiczny ulega redukcji do spójnika „i”(*).

idiota

Nadal nie wiadomo co u ciebie znaczy "jest możliwe".

fiklit

rafal3006

rafal3006

Dlaczego ludzie często używają spójnika „lub”(+) zamiast spójnika „albo”($)?

Rozważmy zdanie:
A.
Jeśli zwierzę jest psem lub kotem to na 100% => ma cztery lapy
p=[P+K] => q=[4L] =1
Definicja warunku wystarczającego => spełniona bo zbiór [P+K] jest podzbiorem zbioru zwierząt z czterema łapami 4L=[pies, kot, słoń ..]
Dziedzinę dla zdania A precyzyjnie definiuje pierwsze słówko po „Jeśli”, słówko „zwierzę”:
Dziedzina:
ZWZ - zbiór wszystkich zwierząt

W zdaniu A nie mamy prawa ograniczać dziedziny wyłącznie do pieska i kotka oraz do pudełka w których te zwierzątka można umieścić lub nie, jak to zrobiliśmy w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/operatory-or-i-and,10313-25.html#377871

Zauważmy przede wszystkim że zdanie A jest izolowane od chciejstwa człowieka, czyli nie zależy ono od tego co człowiek zrobi a czego nie zrobi np. umieści sobie pieska i kotka w jakimś tam pudełku.

Zajmijmy się poprzednikiem w zdaniu A:
1.
Y = P+K
co matematycznie oznacza:
Y=1 <=> p=1 lub K=1
Na mocy definicji spójnika „lub”(+) wystarczy że którykolwiek człon po prawej stronie zostanie ustawiony na 1 i już ustawi Y=1.
Stąd mam tożsame do 1 równanie alternatywno-koniunkcyjne:
1’: Y = P*K + P*~K + ~P*K
Zbiory „pies” i „kot” są rozłączne stąd na mocy teorii zbiorów równanie tożsame to:
1’’: Y := P*~K + ~P*K
bo: P*K =[] =0
gdzie:
:= - redukcja równania 1’ ma mocy teorii zbiorów

Dla zbiorów rozłącznych p i q zachodzą prawa teorii zbiorów:
p=p*~q
q=q*~p
Stąd nasze równanie 1’’ przyjmuje postać:
1: Y=P+K
Wniosek:
Równanie 1 jest równaniem minimalnym.
Zdanie tożsame do A to:
A’
Jeśli zwierzę jest psem albo($) kotem to ma cztery łapy
P$K =>4L =1

Matematycznie spójnik „lub”(+) przetwarza się dużo prościej niż spójnik „albo”($).
Dokładnie z tego faktu wynika że nasz mózg w zdaniu A najczęściej wali tu spójnik „lub”(+) mimo że wzorcowo matematycznie powinien być tu spójnik „albo”($).

Przenalizujmy zdanie A przez wszystkie możliwe przeczenia p i q.
A.
Jeśli zwierzę jest psem lub kotem to na 100% => ma cztery lapy
p=[P+K] => q=[4L] =1
Definicja warunku wystarczającego => spełniona bo zbiór [P+K] jest podzbiorem zbioru zwierząt z czterema łapami 4L=[pies, kot, słoń ..]
Dziedzina:
ZWZ - zbiór wszystkich zwierząt
Obliczenia przeczeń zbiorów:
p=[P+K]
q=[4L]
~p=[ZWZ-p] = [ZWZ-[P+K]]
~q=[ZWZ-q] = [ZWZ-4L]
Tożsame przejście do logiki ujemnej (bo ~p, ~q) poprzez negację zbiorów i wymianę spójników na przeciwne:
~P=[~P*~K] - zbiór zwierząt z wykluczeniem psa i kota
~q=[~4L] - zbiór zwierząt niemających czterech łap
B.
Jeśli zwierzę jest psem lub kotem to może ~~> nie mieć czterech łap
p=[P+K]~~>~q=[ZWZ-[P+K]] = [P+K]*[ZWZ-[P+K]] = [] =0 - bo zbiory rozłączne

… a jeśli zwierzę nie jest psem i nie jest kotem?
Warunek wystarczający A to:
[P+K] => 4L
Przejście do logiki ujemnej (bo ~4L) poprzez negację zmiennych i wymianę spójników:
~P*~K~>~4L
To co wyżej to prawo Kubusia:
p=>q = ~p~>~q
uzyskane metodą na skróty.
stąd:
C.
Jeśli zwierzę nie jest psem i nie jest kotem to może ~> nie mieć czterech łap
~p=[~P*~K] ~>~q=[~4L] =1
Definicja warunku koniecznego ~> spełniona bo zbiór:
~p=[ZWZ-[P+K]
jest nadzbiorem ~> zbioru:
~q=[~4L]
cnd
Oczywiście zdania C nie musieliśmy dowodzić bo wcześniej udowodniliśmy prawdziwość warunku wystarczającego A
stąd:
Zdanie C jest prawdziwe na mocy prawa Kubusia:
A: p=>q = C: ~p~>~q
lub
D.
Jeśli zwierzę nie jest pasem i nie jest kotem to może ~~> mieć cztery łapy
~p=[~P*~K]~~> q=[4L] =1 bo koń
Warunek konieczny ~> w zdaniu D nie zachodzi bo:
~p=[~P*~K] ~> q=[4L]
~p=[ZWZ-[P+K]]~> q=[4L] =0
Zbiór ~p nie jest nadzbiorem zbioru q, zatem warunek konieczny ~> w zdaniu D nie zachodzi.
Na mocy prawa Kubusia w zdaniu D nie zachodzi także warunek wystarczający =>.

Podsumowanie:
Nasz warunek wystarczający A wchodzi w skład definicji operatora implikacji prostej p|=>q.

Dowód:
Zapiszmy powyższą analizę w zapisach ogólnych w postaci tabeli prawdy:

Irbisol

rafal3006

Irbisol

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787.html#375731

Adriatyk

A jeżeli trąba Baryckiego =1, a trąba słonia =0, to co mamy w pudełku?

Irbisol

rafal3006

Adriatyk

Wszystko to bardzo dziwne z tą AK, bo zawsze się mówi, że w pudełku jest trąba słonia lub inna trąba, a jak tylko otworzy się pudełko, to w środku zawsze tylko trąba wiadomo kogo, a trąby słonia, ani widu, ani słychu.

rafal3006

Matematyczno-fizyczne znaczenia spójnika „i”(*)!
Rozwiązanie problemu Mickiewicza i psa z czterema łapmi

I.
Znaczenie spójnika „i”(*) z punktu odniesienia logiki matematycznej

Zacznijmy od twierdzenie Pitagorasa:
A.
Jeśli trójkąt jest prostokątny to na 100% zachodzi w nim suma kwadratów
TP=>SK =?

Definicja logiki matematycznej:
Logika matematyczna to wyznaczanie wzajemnych relacji w zbiorach (zdarzeniach) między dowolnymi pojęciami z naszego Uniwersum.

Uniwersum to wszelkie możliwe pojęcia rozumiane przez człowieka

Domyślne znaczenie spójnika „i”(*) w logice matematycznej to iloczyn logiczny dowolnych pojęć z obszaru Uniwersum, dopiero tutaj mamy do czynienia z logika matematyczną!
Znaczenie zmiennych z twierdzenia Pitagorasa to po prostu doskonale znane uczniowi 7 klasy szkoły podstawowej zbiory!
1: TP=1 - zbiór trójkątów prostokątnych TP
2: ~TP=1 - zbiór trójkątów nieprostokątnych ~TP
3: SK=1 - zbiór trójkątów ze spełnioną sumą kwadratów SK
4: ~SK=1 - zbiór trójkątów z niespełnioną sumą kwadratów ~SK

Definicja logiki matematycznej:
Logika matematyczna to wyznaczanie wzajemnych relacji w zbiorach (zdarzeniach) między dowolnymi pojęciami z naszego Uniwersum.

Wyznaczamy relacje między pojęciami 1234:

Adriatyk

Irbisol

idiota

Biorąc pod uwagę, że rafał nie wie co to operator, jego tutaj buńczuczne zapewnienia jaki operator jak dział są zabawne.

idiota

"Matematyczno-fizyczne znaczenia spójnika „i”(*)!
Rozwiązanie problemu Mickiewicza i psa z czterema łapmi

I.
Znaczenie spójnika „i”(*) z punktu odniesienia logiki matematycznej

Zacznijmy od twierdzenie Pitagorasa:
A.
Jeśli trójkąt jest prostokątny to na 100% zachodzi w nim suma kwadratów
TP=>SK =?

Definicja logiki matematycznej:
W zdaniu "Mickiewicz jest polakiem i pies ma 4 łapy." nie ma spójnika 'Jeżeli... to...'"

rafal3006