rafal3006 napisał(a):Definicja implikacji prostej:Zauważyłem, że nigdy nie używasz tej pierwszej linijki - no, poza dowodem prawa Kubusia. Ale ona tam jest, więc może warto zobaczyć, do jakich wniosków się dojdzie, analizując przy jej pomocy:
p=>q = ~p+q
Jeśli zajdzie p to „musi” => zajść q
p musi być warunkiem wystarczającym dla q
=> - operator implikacji prostej, spójnik „musi” ze spełnionym warunkiem wystarczającym
1. P8=>P2
2. P2=>P8
3. TR=>BR
4. Twierdzenie Pitagorasa
5. Mój przykład ze Skierniewicami.
Czekam z niecierpliwością.
"Tylko dwie rzeczy są nieskończone - Wszechświat i ludzka głupota. Co do Wszechświata nie jestem pewien" - Albert Einstein