Logika opooop: Witam. Mam do sprawdzenia czy następująca formuła jest tautologią. (∀x ε(x) ⇔ ∀x φ(x)) ⇒ ∀x( ε(x) ⇔ φ(x)) Proszę o podpowiedź jak się do tego zabrać.

Maslanek: Proponuję niewprost. Niech x∊X Załóżmy, że formuła jest nieprawdziwa, czyli dla: 1. Poprzednik jest prawdziwy (0−0; 1−1) 2. Następnik jest fałszywy (0−0, 1−1) ========== Albo jeszcze lepiej. Jesli nie jest tautologią, to moglibyśmy pokazać, że zaprzeczenie zdania jest prawdziwe.

opooop: Próbowałem przez zaprzeczenie tego zdania ale dochodzę do sprzeczności. A w odpowiedziach mam że to nie jest tautologią. Mógłbyś wyjaśnić o co chodzi z poprzednikiem i następnikiem ?