[Barbra]

logika przecież jest chyba nawet na kierunkach humanistycznych (a przynajmniej ta prosta o której piszemy)

p => q to z jakiegoś tam prawa oznacza że ~q => ~p
dodatkowo mamy dane ~p => ~q więc widać dobrze że ~p <=> ~q więc p <=> q

no to nie jest tautologia ale tak mi pasowało że jakoś to trzeba udowodnić, a pytanie o tautologię było wcześniej i macbed już zapomniał i przeszedł do kolejnego zadania

[icywind]

Byłoby to tautologią gdyby zapisać tak
((p => q )^ (~p => ~q)) <=> (p <=> q)

[ Dodano: 2015-10-12, 22:59 ]

[Barbra]

pewnie o to chodziło, może wystarczyło żeby zrobił jakąś tabelkę, nie dowiesz się bo on przestał odpisywać a my się tak staramy żeby pomóc

[ Dodano: 2015-10-12, 23:03 ]
ja już nic nie wiem

pamiętam że był jeszcze jakiś wzór żeby te wszystkie => zredukować do samych lubów i to się tak ładnie rozpisywało ale już nie pamiętam jak

[icywind]

Swoją drogą, żeby rozwalić mózgi niematematycznym implikacja:
Jeśli Barbra jest mężczyzną to Barbra jest piękną kobietą
Jest jak najbardziej prawdziwa bo mamy 0=>1

[JankielKindybalista85]

[icywind]