Negated Conjunction in Predicate Logic: P ⇔ (∀x) (x ∧ ¬y)

twoflower · 2007-01-12T13:11:20+00:00

Homework Statement p \leftrightarrow \left( \forall x \right)\left( x \wedge \neg y \right) Homework Equations The Attempt at a Solution

Join the discussion

Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.

Real named experts · corrections over time · the nuance an AI answer skips

1 reply · 2K views

twoflower

Homework Statement

[tex]p \leftrightarrow \left( \forall x \right)\left( x \wedge \neg y \right)[/tex]

Physics news on Phys.org

matt grime

The words next to 1. really aren't just there for decoration.