Logika Marek: Udowodnij metodą założeniową: Chodzi mi konkretnie o dowód z lewej strony na prawą (p ⋀ (q v r)) ⇔ ( (p ⋀ q) v (p ⋀ r)) 1. p ⋀ (q v r) zał 2. p OK,1 3. (q v r) OK,1 4.1 ¬q zał 4.2 r OA, 3, 4.1 4.3 p ⋀ r WI, 2, 4.2 5. ¬q → p ⋀ r Nie wiem, co dalej (i czy w ogóle coś mi daje ten pod−dowód)

z prawej na lewą: skąd się wziął zapis "4.1 ¬q zał." ? ?

z prawej na lewą: i dlaczego nie zapisujesz implikacji, którą udowadniasz ?