Register

proposition logic

• retagged by
296 views

1 Answer

0 votes
0 votes
lets say

P(x): x is a person

L(x,y): x loves y

so the above statement is ~(everyone who loves someone is loved by someone)

~∀x[ (P(x)∧∃y p(y)→L(x,y))  →  ∀z(P(z)∧L(z,x)) ]
User Avatar
Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

2 votes
2 votes
1 answer
1
radha gogia asked Dec 30, 2015
668 views
How to represent the below proposition ?
Gold and silver ornaments are precious . $G(x): x$ is a gold ornament. $S(x): x$ is a silver ornament. $P(x): x$ ... Although universal quantifier is not distributive over disjunction but in this case the ornament will belong to only 1 category, so is there any with this?
Gold and silver ornaments are precious .$G(x): x$ is a gold ornament.$S(x): x$ is a silver ornament.$P(x): x$ is precious.Now why is this statement true? $$\forall x \Big...
User Avatar
0 votes
0 votes
0 answers
3
suryansh rajput asked Oct 2, 2023
278 views
Mathematical logic
User Avatar
1 votes
1 votes
1 answer
4
veer2000 asked May 6, 2023
229 views
#discrete mathematics #1st order logic
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
User Avatar
Link Copied!