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)))}\)
przperowadzenie dowodu wprost
-
- Użytkownik
- Posty: 145
- Rejestracja: 19 lut 2009, o 18:50
- Płeć: Kobieta
- Lokalizacja: St.W.
- Podziękował: 21 razy
- Pomógł: 4 razy
przperowadzenie dowodu wprost
Ostatnio zmieniony 20 cze 2022, o 23:09 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Niepoprawnie napisany kod LaTeX-a.
Powód: Niepoprawnie napisany kod LaTeX-a.