ŚFiNiA

Andy72

NIe wiem jak w Twoje logyce ale w matematyce jest implikacja
A=>S
a gdyby byłby podłączone szeregowo, to byłaby dziwna implikacja:
S=>A

rafal3006

Irbisol

Dostałeś pytanie o definicję i na to pytanie masz odpowiedzieć. To tylko definicja a ty spierdalasz.
Pierdolenia nie na temat nie czytam - jeszcze nie zauważyłeś?

Andy72

Rafał, a jak się zapatrujesz na tautologię:
(p⇒q)<=>(∼p∨q),

rafal3006

rafal3006

Irbisol

To nie ten temat debilu. Spierdalasz od pytania.

rafal3006

Irbisol

rafal3006

Jak długo jeszcze Irbisol będzie się bronił przed zrozumieniem algebry Kubusia?
Logiki matematycznej, której niekwestionowanymi ekspertami są 5-cio latki!

Irbisol

I po co, zjebie, znowu zadajesz mi jakieś pytania i pierdolisz nie na temat?
Masz odpowiedzieć na pytanie, a nie od niego spierdalać.
Jeszcze nie zauważyłeś, że to od dłuższego czasu przestało działać?

rafal3006

Konstytucja matematycznego Raju, algebry Kubusia!

Konstytucja matematycznego Raju, algebry Kubusia:

1.
Na teren algebry Kubusia wstęp mają wyłącznie ludzie normalni, eksperci algebry Kubusia, którzy nie znają ani jednej tabeli zero-jedynkowej jakiegokolwiek spójnika logicznego.
Innymi słowy:
Wstęp mają wszyscy ludzie od 5-cio latka po stulatka z wykluczeniem ziemskich matematyków dla których bogiem jest gówno zwane Klasycznym Rachunkiem Zdań.

Nad drzwiami wejściowymi do algebry Kubusia wykuto najważniejsze prawa logiki matematycznej, prawa Kubusia, pod które podlega cały nasz Wszechświat, żywy i martwy.
Prawa Kubusia:
p=>q = p~>~q
p~>q = ~p=>~q

2.
Każdy, kto na terenie algebry Kubusia wyciągnie z kieszeni jakąkolwiek tabelę zero-jedynkową zostanie w trybie natychmiastowym wtrącony do matematycznego piekła, Klasycznego Rachunku Zdań, na wieczne piekielne męki.

Nad drzwiami wejściowymi do Klasycznego Rachunku Zdań wykuto przykłady zdań prawdziwych obwiązujących w piekle:
Jeśli 2+2=4 to Płock leży nad Wisłą
Jeśli 2+2=5 to jestem papieżem
Jeśli 2+2=5 to 2+2=4

Fundamenty algebry Kubusia!

Spis treści
1.0 Wstęp 1
2.0 Fundamenty algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q” 1
2.1 Definicje spójników logicznych w zdarzeniach 1
2.1.1 Definicja zdarzenia możliwego ~~> 1
2.1.2 Definicja warunku wystarczającego => w zdarzeniach 2
2.1.3 Definicja warunku koniecznego ~> w zdarzeniach 2
2.1.4 Definicja kontrprzykładu w zdarzeniach 2
2.2 Matematyczne związki warunku wystarczającego => i koniecznego ~> 2
2.2.1 Prawa Kubusia 4
2.2.2 Prawa Tygryska 5
2.2.3 Prawa kontrapozycji 5
3.0 Definicje operatorów logicznych w algebrze Kubusia 5
3.1 Definicja operatora chaosu p|~~>q 5
3.2 Definicja operatora implikacji prostej p|=>q 6
3.3 Definicja operatora implikacji odwrotnej p|~>q 6
3.4 Definicja równoważności p<=>q 7

1.0 Wstęp

Ziemski matematyk który nie zrozumie z marszu fundamentów algebry Kubusia powinien sobie skreślić słówko „matematyk” sprzed swego nazwiska.

2.0 Fundamenty algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”

Z punktu widzenia dydaktyki przygodę z algebrą Kubusia należy obowiązkowo zacząć od teorii zdarzeń będącej odpowiednikiem tabliczki mnożenia do 100 z matematyki klasycznej.
Teorię zdarzeń bez problemu zrozumie uczeń I klasy LO wiedzący co to jest w elektryce połączenie szeregowe i równoległe dwóch przełączników sterujących żarówką.

2.1 Definicje spójników logicznych w zdarzeniach

2.1.1 Definicja zdarzenia możliwego ~~>

Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q = p*q =1
Definicja zdarzenia możliwego jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesna zajście zdarzeń p i q.
Inaczej:
p~~>q = p*q =[] =0

2.1.2 Definicja warunku wystarczającego => w zdarzeniach

Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0

2.1.3 Definicja warunku koniecznego ~> w zdarzeniach

Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0

2.1.4 Definicja kontrprzykładu w zdarzeniach

Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym ~~>
Definicja zdarzenia możliwego ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i ~q
Inaczej:
p~~>~q =p*~q =0

Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)

2.2 Matematyczne związki warunku wystarczającego => i koniecznego ~>

Ziemscy matematycy doskonale znają zero-jedynkowe definicje znaczków => i ~>, bowiem tabele zero-jedynkowe wszystkich możliwych, 16 spójników w logice matematycznej mamy wspólne.

Ziemscy matematycy nie znają tylko i wyłącznie prawidłowej interpretacji znaczków => i ~> która w algebrze Kubusia jest następująca.
Dla potrzeb rachunku zero-jedynkowego wolno nam przyjąć definicje znaczków => i ~> jak niżej:
=> - warunek wystarczający
~> - warunek konieczny
Ważne jest jak będą działały przyjęte definicje w otaczającym nas Wszechświecie, a działają perfekcyjnie co za chwilkę udowodnimy.

Irbisol

Debil znowu wkleił coś, a na pytanie nie odpowiedział.
Pytanie było o definicję w jego algebrze.

rafal3006

Irbisol

Czyli młotek ostatecznie poddał się i nie odpowie.
Guru będzie pierdolił swoje i nie wolno zadawać pytań.

I jeszcze twierdzi, że zadaję pytania rodem z KRZ, podczas gdy pytam o jego algebrę.
Co za debil ...

rafal3006

Irbisol

Nic nie zmienia faktu, że nie potrafisz odpowiedzieć na pytanie o TWOJĄ algebrę.
Jedyne, co potrafisz, to pierdolić nie na temat.

rafal3006

Definicję implikacji prostej p|=>q w algebrze Kubusia masz w tym linku:
http://www.sfinia.fora.pl/forum-kubusia,12/matematyczna-obsluga-obietnic-i-grozb-w-algebrze-kubusia,14697-25.html#485889
Tam przenoszę dyskusję w tym temacie, a ten temat zamykam.

Otwieram natomiast temat bardziej ogólny:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719.html#485913