ŚFiNiA

Irbisol

To jest właśnie ten temat, który wymyśliłeś żeby uciec od tematów bieżących.
Właściwie to jedyne, co robisz.

rafal3006

Irbisol

A ja mam ci odpuszczać notoryczne spierdalanie od tematu?
Pomijając fakt, że gównem nazwałeś coś, co niczego nie stwierdza.

rafal3006

Irbisol

rafal3006

Irbisol

rafal3006

Fragment z algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#800825

Algebra Kubusia - matematyka języka potocznego
32.0 Dowód śmieciowości ziemskiej teorii mnogości

Spis treści
32.0 Dowód śmieciowości ziemskiej teorii mnogości 1
32.1 Przypomnienie fundamentów algebry Kubusia 1
32.1.1 Przypomnienie definicji spójników elementarnych: ~~>, =>, ~> (pkt. 2.2) 1
32.1.2 Fundament algebry Kubusia w obsłudze zdań „Jeśli p to q” 2
32.1.3 Przypomnienie prawa Sowy (pkt. 2.6.1) 3
32.1.4 Przypomnienie prawa Słonia (pkt. 2.8) 3
32.1.5 Przypomnienie prawa Irbisa (pkt. 2.9) 4
32.2 Definicje znaczków (+) i (*) w matematyce klasycznej i logice matematycznej 5
32.2.1 Definicje znaczków (+) i (*) na gruncie matematyki klasycznej 5
32.2.2 Definicje znaczków (+) i (*) na gruncie logiki matematycznej 6
32.2.3 Definicje formalne znaczków (+) i (*) na gruncie teorii zbiorów 7

32.0 Dowód śmieciowości ziemskiej teorii mnogości

2025-01-19
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

32.1 Przypomnienie fundamentów algebry Kubusia

Link do fundamentów algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
2.0 Kwintesencja algebry Kubusia

32.1.1 Przypomnienie definicji spójników elementarnych: ~~>, =>, ~> (pkt. 2.2)

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach elementarnych (~~>, =>, ~>)

1.
Definicja elementu wspólnego ~~> zbiorów:
p~~>q = p*q =1 – wtedy i tylko wtedy gdy zbiory p i q mają (=1) element wspólny
Inaczej:
p~~>q =p*q =0 – wtedy i tylko wtedy gdy zbiory p i q nie mają (=0) elementu wspólnego (rozłączne)

##

2.
Definicja warunku wystarczającego =>:
p=>q =1 – wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q
Inaczej:
p=>q =0 – wtedy i tylko wtedy gdy zajście p nie jest (=0) wystarczające => dla zajścia q

Matematycznie zachodzi tożsamość:
Warunek wystarczający => = Relacja podzbioru =>

Definicja relacji podzbioru =>:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q

Definicja relacji podzbioru => w logice matematycznej:
p=>q =1 – wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0 – wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

##

3.
Definicja warunku koniecznego ~>:
p~>q =1 – wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla zajścia q
Inaczej:
p~>q =0 – wtedy i tylko wtedy gdy zajście p nie jest (=0) konieczne ~> dla zajścia q

Matematycznie zachodzi tożsamość:
Warunek konieczny ~> = Relacja nadzbioru ~>

Definicja relacji nadzbioru ~>:
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q

Definicja relacji nadzbioru ~> w logice matematycznej:
p~>q =1 – wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0 – wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q

Gdzie:
## - definicje różne na mocy definicji

32.1.2 Fundament algebry Kubusia w obsłudze zdań „Jeśli p to q”

W całym niniejszym rozdziale zdania warunkowe „Jeśli p to q” będziemy indeksować zgodnie z tabelą T0 niżej.

rafal3006

Czy Irbisol kiedykolwiek przeczyta kluczowe definicje rodem z Algebry Kubusia?
.. ma kto taką nadzieję?

Irbisol