Determine Whether the Given Formula Is a Logical Truth of M

question 23

Essay

determine whether the given formula is a logical truth of M or not. If it is a logical truth, provide a proof of the formula. If it is not a logical truth, provide a counterexample in a finite domain.
-[(∀x)(Fx ⊃ Gx) • (∀x)(Gx ⊃ Hx)] ⊃ (∃x)(Fx • Hx)

---

Definitions:

Counselling Psychology

A branch of psychology focused on facilitating personal and interpersonal functioning across the lifespan with an emphasis on emotional, social, vocational, educational, health-related, and developmental concerns.

Personality Psychology

The branch of psychology that studies personality and individual differences in behavior, emotions, and thought patterns.

Developmental Psychology

The scientific study of how and why human beings change over the course of their life.

Experimental Psychology

A branch of psychology that studies the mind and behavior by conducting controlled experiments to investigate processes underlying human thoughts, feelings, and actions.