twoflower
- 363
- 0
Homework Statement
[tex]p \leftrightarrow \left( \forall x \right)\left( x \wedge \neg y \right)[/tex]
Negated Conjunction in Predicate Logic: P ⇔ (∀x) (x ∧ ¬y)
- Thread starter twoflower
- Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
[tex]p \leftrightarrow \left( \forall x \right)\left( x \wedge \neg y \right)[/tex]
Physics news on Phys.org
Discussion
Science Advisor
Homework Helper
- 9,361
- 6
The words next to 1. really aren't just there for decoration.
Similar threads
How to Interpret the Basic Logic Problem with Predicate P(x,y,z)
- WWCY
- · Replies 2 ·
- Calculus and Beyond Homework Help
- Replies
- 2
Can someone confirm these English to predicate logic problems for me?
- Ownaginatious
- · Replies 7 ·
- Calculus and Beyond Homework Help
- Replies
- 7
Translating english to predicate logic
- maxsthekat
- · Replies 4 ·
- Calculus and Beyond Homework Help
- Replies
- 4
Can Predicate Logic Capture Complex Human Reasoning?
- mathmari
- · Replies 3 ·
- Set Theory, Logic, Probability, Statistics
- Replies
- 3
Difficult Predicate Logic Symbolization
- number0
- · Replies 3 ·
- Calculus and Beyond Homework Help
- Replies
- 3
Find a counter example/predicate logic
- Mixer
- · Replies 8 ·
- Calculus and Beyond Homework Help
- Replies
- 8
Quantifier order in predicate logic statements about multiplication
- .~!@#
- · Replies 2 ·
- Calculus and Beyond Homework Help
- Replies
- 2
Predicate Logic: Are These Statements Logically Equivalent?
- GTL
- · Replies 5 ·
- Calculus and Beyond Homework Help
- Replies
- 5
Predicate Logic (family relationships problem)
- Knark
- · Replies 16 ·
- Calculus and Beyond Homework Help
- Replies
- 16
If f(x+y)=f(x)+f(y) and f(x.y)=f(x)f(y) then f(x)=x , x in R
- issacnewton
- · Replies 9 ·
- Calculus and Beyond Homework Help
- Replies
- 9