Proszę o pomoc Milena: Korzystają z tautologii rachunku zdań (p⇒g) ⇔((~g) ⇒(~p)) i (p⇒g) ⇔((~p) v g) Napisać zdania równoważne do podanych zdań: 1) jeśli nie będzie padał deszcz, to pójdę na spacer. 2) oddam telewizor do naprawy lub kupię nowy. 3) pójdę do kina lub nie pójdę do teatru. 4) jeśli liczba jest podzielona przez dwa, to liczba jest parzysta.

ite: 1) Jeśli nie będzie padał deszcz, to pójdę na spacer. p ⇒ q Spróbuj zapisać zdanie odpowiadające formule ~q ⇒ ~p 2) Oddam telewizor do naprawy lub kupię nowy. ~p v q Spróbuj zapisać zdanie odpowiadające formule p ⇒ q

Milena: Czyli wszystkie zdania mam przekształcić wg tej formuły ~g ⇒~p i ~pv g Czyli: Jeśli nie pójdę na spacer to będzie padać deszcz Będzie padać deszcz lub pójdę na spacer

ite: Zgadza się.

Milena: A drugie zdanie czemu mam zapisać w formule p⇒g a nie wg tych dwóch formuł?

ite: Drugie zdanie jest alternatywą (~p v g), więc zgodnie z poleceniem i podanymi tautologiami trzeba je zapisać jako implikację (p⇒q) a potem jako implikację do niej przeciwstawną (~q) ⇒(~p). Patrz kwadrat logiczny: https://www.megamatma.pl/uczniowie/wzory/logika-matematyczna/zdania

Milena: Ok czyli zdanie 2 i 3 robię że jest alternatywą i zmieniam na implikacje p⇒q i potem na ~g ⇒~p A wyltumaczysz mi jeszcze te zdanie 1 i 4 jak to zrobić na jakie formy zamienić?

ite: Ponieważ podano dwie tautologie, to pewnie trzeba do każdego z podanych zdań dopisać po dwa zdania równoważne. Zdania 1/ i 4/ są implikacjami, przyjmujemy że prostymi p ⇒ g. Trzeba zapisać je w postaci implikacji przeciwstawnej ~q ⇒ ~p i alternatywy ~p v q.

Adamm: ite, interesujesz się logiką?

ite: lubię ją : )