logika Staś: Wykaż ze w K są spelnione formuły: 1) Lp→ (Lq→Lp) 2) M(p⋀q)→Mp⋀Mq Wykaż, że poniższa formuła nie jest spełniona w logice modalnej K: Lp → LLp Przypomnienie logika modalna K to logika o aksjomacie L(p→q)→(Lp→Lq) Ktoś ma pomysł jak to zacząć?