[Mordercza_Konewka]

Mirki, znów proszę o pomoc bo jutro kolos ( ͡° ʖ̯ ͡°)
Mniej więcej wiem o co chodzi w zadaniu, ale za choinkę nie ubiorę tego w ładne słówka, czy jest tu ktoś kto potrafi ładnie to udowodnić? Miliony szekli dla tego kto rozwiąże.
#logika #matematyka #pytanie #pytaniedoeksperta #kiciochpyta

[hondziarz]

@Mordercza_Konewka: licz delte

[j.....0]

@Mordercza_Konewka: 1 jest prawdziwa, co można udowodnić nie-wprost, 2 jest fałszywa - wystarczy wziąć φ=ψ

[statoscope]

@Mordercza_Konewka: 1) jeżeli ψ jest zawsze fałszywa, to ze spełnialności implikacji musi istnieć wartościowanie dla którego φ jest fałszywe (bo jedyna opcja żeby implikacja byłą prawdziwa, gdy jej nastepnik jest falszywy, jest wtedy gdy poprzednik tez jest falszywy). Stąd istnieje wartościowanie dla którego ~φ jest prawdziwa, co oznacza spełnialność tej formuły