Strona 1 z 1

przperowadzenie dowodu wprost

: 20 cze 2022, o 20:37
autor: wishina
Dzien dobry, nie umiem sobie poradzić z jednym z zadań z logiki, czyli przeprowadzeniem dowodu założeniowego wprost. Czy moge prosic o rozwiazanie? Z prostrzymi soboe radzę, ale ten mnie przerasta a pracę muszę odesłać do 21 dziś. Bede wdzieczna.

\(\displaystyle{ (p \rightarrow \sim r) \rightarrow (p \rightarrow (((\sim r \rightarrow s)\land(s=r)) \rightarrow (r\lor r)))}\)