zadanie seba: Matematyka dyskretna: 1. W każdym z podanych wyrażeń, wstaw nawiasy w taki sposób, by otrzymana formuła była tautologią, a następnie tak, by otrzymana formuła była falsyfikowalna. (a) p −> q −> r −> p, (b) p −> q −> −q −> −p (c) p −> −p −> p 2. Niech α, β i γ będą dowolnymi formułami rachunku zdań RZ. Stosując poznane prawa logiki, przekształć podane poniżej formuły do postaci (δ ˅ −δ) dla pewnej formuły δ. (a) (α −> (β −> α)), (b) (α −> (−α −> β)), (c) ((α −> β) −> ((β −> γ)(α −> γ))), (d) ((α −> β) −> (α −> (β ˅ γ))), (e) ((α −> β) −> ((γ −> β) −> ((α ˄ γ) −> β)))