Forum serwisu

Dzięki za odpowiedzi.

tak, ja wiem jak się to sprawdza, ale chodzi mi o to, czy jeśli otrzymam np.: [(p->q) \wedge p] -> q, to czy mogę od razu powiedzieć, że to jest tautologia, po jest to prawo modus ponens?

Witajcie, mam 2 pytania, może ktoś mógłby mi pomóc? 1) prawa rachunku zdań mogę rozumieć tak, że dany schemat zawsze jest tautologią i nie trzeba już tego sprawdzać żadną metodą? 2)ktoś mógłby mi jakoś jasno wyjaśnić jak sprawdzić czy zachodzi wynikanie logiczne? (tak jak komuś kto nigdy nie miał ni...