Haha, wiem, jak obalić NTI.
Jedziemy po Kubusiowemu.
p=>q # q=>p, tak?
p=>q # q~>p, tak? (albo po zamianie p z q, q=>p # p~>q)
Co otrzymujemy?
p=>q # q=>p # p~>q
Ale z tego wynika, że p=>q = p~>q (bo # w rozumieniu Kubusia oznacza przeciwne wartości logiczne).
Oj.
Jedziemy po Kubusiowemu.
p=>q # q=>p, tak?
p=>q # q~>p, tak? (albo po zamianie p z q, q=>p # p~>q)
Co otrzymujemy?
p=>q # q=>p # p~>q
Ale z tego wynika, że p=>q = p~>q (bo # w rozumieniu Kubusia oznacza przeciwne wartości logiczne).
Oj.
"Tylko dwie rzeczy są nieskończone - Wszechświat i ludzka głupota. Co do Wszechświata nie jestem pewien" - Albert Einstein