Proste tautologie - sprawdzenie

[soku11]

WITAM!
Sciagnalem ostatnio ebooka "Wstep do matematyki" Kraszewskiego i tak sobie czytam o rachunku zdan. W zadaniach do sprawdzenia tautologii mam np takie dwa:
\(\displaystyle{ 1.\quad (p\Rightarrow q)\ \iff\ (q\Rightarrow p)\\
2.\quad (\sim p\vee q)\ (\sim q\vee p)\\}\)

I w odpowiedziach mam, ze obie te sa tautologiami. Jednak wystarczy w pierwszym przykladzie obrac p=0, q=1 i wychodzi z tego falsz - czyli nie jest tautologia... W drugim dla tych samych zalozen znow wynika falsz... Czy to ja robie jakis blad czy to blad w ebooku?? POZDRO

[mostostalek]

oczywiście błąd e-booka.. obie nie są tautologiami przy czym drugie to założenia odwrotne.. tzn p=1 i q=0 jest kontrprzykładem.. dla Twojego podstawienia wartości logicznych wyrażenie przyjmuje wartość logiczną 1. pozdro

[soku11]

Ok. Dzieki za potwierdzenie POZDRO i lapaj plusa.