ŚFiNiA

https://i.imgur.com/ltONNyE.jpg

Zdania matematycznie tożsame to:
1.
Aksjomatyka algebry Kubusia:
Aksjomatyka algebry Kubusia to zero-jedynkowa tabela szesnastu możliwych definicji spójników logicznych używanych w języku potocznym ...

Bawisz się w Urbana Fizyku (Tazie) czyli cytujesz fragmenty zdań a nie całe zdanie.

Napisałeś, że aksjomatyka to tabela. Reszta zdania to już tylko opis tabeli. Esencja jest taka, że wg Ciebie tabe ...

aksjomatyka «układ aksjomatów systemu dedukcyjnego, z których można wyprowadzić wszystkie twierdzenia tego systemu»

Brawo. A jednocześnie piszesz:
Aksjomatyka algebry Kubusia to zero-j ...

Fizyku (Tazie) dokładnie o to mi chodziło, byś cytował czego nie rozumiesz.

Już wyjaśniam na przykładzie spójnika warunku wystarczającego => i koniecznego ~>.
Mam nadzieje że wiesz co to jes ...

1.0 Aksjomatyka algebry Kubusia

Aksjomatyka algebry Kubusia:
Aksjomatyka algebry Kubusia to zero-jedynkowa tabela szesnastu możliwych definicji spójników logicznych używanych w języku potocznym cz ...

Dwa razy nie.

To nie paradoks. p*~p jest nadal fałszem. Po prostu zdanie "dla każdego x należącego do zbioru pustego, P(x)" jest prawdą także gdy P(x) jest fałszem niezależnie od x.

2+2 =4
2+
WTF? A co to za rozdzielność względem równości?

Nawiasem mówiąc, w normalnej matematyce wyglądałoby to tak:

2+(2=2) = 2+prawda = ????????

2+2=4
Na mocy prawa Pytona liczbę 2 możemy zatem zapisać w postaci:
2=2
Tu też na 100% się zgadzamy.
Więc:
2=2+2=2=4

Taa...

To jest odpowiedź na skalę Rafała możliwości. Ty wiesz co on robi tą odpowiedzią? On otwiera oczy niedowiarkom. Patrzcie, mówi, to moje, przeze mnie wykonane i to nie jest moje ostatnie słowo!

Każdy głupi wie, że dowolny zbiór liczb parzystych jest rozłączny z dowolnym zbiorem liczb nieparzystych na mocy definicji.
I znowu - "każdy głupi wie" to nie dowód. Każdy głupi musi też w ...

Każdy głupi widzi, iż matematyk który udowodni że zbiór:
P8=
"Udowodnij, że nie X" nie jest metodą dowodzenia X.

Zauważ, że musisz tu udowodnić nawias na najniższym poziomie czyli klasyczne twierdzenie Pitagorasa:
Po co?

TP=>SK =1
I już wiesz na 100% że w każdym trójkącie prostokątnym zachodzi suma kwa ...

Czemu zatem służy twoje zdanie 2?
Jeśli masz na myśli zdanie ((p=>q)*p)=>q - to właśnie jego prawdziwość powoduje, że w ogóle operator implikacji można traktować jako wynikanie! Bez tego nie m ...

Tego typu masło maślane można sobie tworzyć w nieskończoność, ale w języku potocznym nikt tego nie robi, bo nikt nie jest bełkoczącym wariatem popisujący się przed innymi np. powyższym bełkotem.
Dow ...

Czy masz jakieś zastrzeżenia co do powyższego dowodu Fizyku?
W sumie jak postulujesz prawo Kobry, to faktycznie musisz uznać, że wynikiem jest 0. Ale to prowadzi do zabawnych konsekwencji, których ni ...

P8=>P8 = ~P8+P8 =1 - to zdanie jest zawsze prawdziwe?
NIE!
Zastanów się jeszcze raz.

Prawo podane przez Fiklita nie mówi o zbiorach i jest prawdziwe dla dowolnych dwóch zdań.

((P8=>P2)*P8) =>P2
L = (P8=>P2)*P8 = (~P8+P2)*P8 = P8*P2 = P8
Stąd:
P8=>P2
A spróbuj to zrobić dla dowolnych p i q.
Hint: nie zawsze p*q = p.

Brawo!
... ale ja się pytam po ci jakakolwiek logika matematyczna gdy złapałeś już tego mordercę?
Choćby żeby przekonać sąd, że to faktycznie morderca. Żeby udowodnić, że ze znanych faktów wynika ...

To wytłuszczone na gruncie AK to FAŁSZ!
W AK jak poznasz fakty to jakakolwiek logika jest psu na budę potrzebna bo wiesz absolutnie wszystko czego dzięki logice matematycznej możesz się dowiedzieć. ...

Naprawdę jesteś tak głupi, że masz nadzieję, że ktokolwiek się nabierze na twoje pierdzielenie bez sensu, w którym nie ma nic odkrywczego, a które ma jedynie zamaskować twoją bezradność wynikającą ze ...

A jak coś zaczyna docierać, to wrzuca kilka postów rozmiarów Jowisza, żeby szybko mu niewygodny tekst zniknął z oczu.

Jeśli ani pies, ani cztery łapy, to może ogon.