przperowadzenie dowodu wprost

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
wishina
Użytkownik
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

Post 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)))}\)
Ostatnio zmieniony 20 cze 2022, o 23:09 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Niepoprawnie napisany kod LaTeX-a.
ODPOWIEDZ