Proszę sprawdzić, w które strony zachodzi implikacja w poniższych wyrażeniach. I tommy_7: Hej, mógłby ktoś sprawdzić mój tryb myślenia czy to zadanko jest zrobione ok ? Polecenie: Proszę sprawdzić, w które strony zachodzi implikacja w poniższych wyrażeniach. Implikację/równoważność należy udowodnić albo podać kontrprzykład. Założyć, że x ∈ X ̸= ∅. Czy formuła jest są tautologią? a) ∀x (φ(x) ∧ ψ(x)) ? (∀x φ(x) ∧ ∀x ψ(x)) rozwiązanie w linku: https://ibb.co/PDfMDDp

chichi: Prawo rozdzielności względem koniunkcji: ∀x (φ(x) ∧ ψ(x)) ↔ (∀x φ(x) ∧ ∀x ψ(x))

tommy_7: Czyli dobrze jest to zrobione ? @chichi

tommy_7: Jest w stanie ktoś pomoc?