rafal3006 napisał(a):Bramki logiczne (definicje algebry Boole’a) są równoważne wtedy i tylko wtedy gdy dla wszelkich możliwych wymuszeń na wejściach nie ma dymu i smrodu.O, to, to! "Dla wszystkich" - bardzo ważne dwa słowa, których brakowało. Poza tym, nie mówiliśmy o równoważności, a o równości, która jak najbardziej zachodzi w szczególnych przypadkach - choć oczywiście te dwa operatory nie są równoważne.
rafal3006 napisał(a):Przy okazji masz tu odpowiedź na pytanie co znaczą te jedynki w P2=>P2 … to po prostu pierwsza linia w tabeli zero jedynkowej dowolnej definicji (zdanie wypowiedziane), niżej akurat definicji równoważności.Czemu pierwsza, a nie np. trzecia? I ciągle nie bardzo widzę, co to "1" ma znaczyć? Że zdanie "liczba jest podzielna przez 2" jest prawdziwe? A co, jeśli tą liczbą jest 3?
rafal3006 napisał(a):~P2 jest wystarczające dla ~P2 zatem jest to warunek wystarczający =>, nigdy konieczny ~>Ależ jest to również warunek konieczny. Każda liczba niepodzielna przez 2 jest niepodzielna przez 2. Bycie niepodzielnym przez 2 jest oczywiście konieczne dla bycia niepodzielnym przez 2 (nie można być podzielnym przez 2 i niepodzielnym przez 2 naraz).
Niezły bełkot się z tego zrobił :p
Poza tym, co już kilkakrotnie pisałem: zdanie nie może "być implikacją", albo "być równoważnością". Zdanie może "zawierać operator implikacji" albo "zawierać operator równoważności".
Przy okazji, zawsze chciałem zobaczyć, co zrobisz w swojej teorii ze zdaniem "Każda liczba naturalna mniejsza od 0 jest podzielna przez 153". Poproszę o wnikliwą analizę
"Tylko dwie rzeczy są nieskończone - Wszechświat i ludzka głupota. Co do Wszechświata nie jestem pewien" - Albert Einstein