Witaj!
renegat napisał(a):Logika jest jedna.Zobacz co napisałeś:
renegat napisał(a):Jeśli jakiś zbiór jest podzbiorem innego zbioru, to znaczy, że każdy element należący do podzbioru należy automatycznie do zbioru głównego. W waszym przypadku podzbiorem jest wszechwiedza. A więc zgodnie zasadami logiki,powinno zachodzić wynikanie wszechwiedza=>wszechmoc...Napisałeś mniej więcej tak: zakładając [nasz przypadek], że wszechwiedza jest podzbiorem wszechmocy, to:
z wszechwiedzy wynika (=>) wszechmoc.
Gdzie tu w ogóle logika?
No chyba, że ta "renegatowa".
No i jest tak jak ci Koklusz napisał: prawa czy nawet operatory rachunku zdań nie są tożsame z prawami/operatorami rachunku zbiorów!
Nie ma więc wynikania "ze zbiorów", bowiem żeby użyć operatora (=>) należy mieć dwa zdania o określonej wartości logicznej (tak przynajmniej mówi współczesna logika, Kubuś mówi coś innego...).
Vi Veri Veniversum Vivus Vici