Representing first order sentences as conceptual graphs

logic formal-systems

Solution 1:

I don't really know about the technical details of Conceptual Graphs, but I do know that it is based off Existential Graphs, and here are the respective representations in Existential Graphs:

$\forall x \ part(x,x)$:

enter image description here

$\forall x \forall y \ ((part(x,y) \land part(y,x)) \to x = y)$: enter image description here

$\forall x \forall y \forall z \ ((part(x,y) \land part(y,z)) \to part(x,z))$:

enter image description here

The last two certainly look like what you have!

Related

Symmetric random walk on the integers
Dividing Rs.69 among 115 students, each girl gets 50 paise less than a boy; each boy gets twice the paise as each girl. How many girls in the class?
Assumption for separate continuity implies joint continuity
Prove using a proof by contradiction: There is no smallest positive real number
Prove $\phi^n = \phi F_n + \text{(another Fibonacci number)}$ using mathematical induction.
Determining whether ${p^{n-2} \choose k}$ is divisible by $p^{n-k -2}$ for $1 \le k < n$
Prove that $\mathbb{|Q| = |Q\times Q|}$
What is the limit of
How many ways can $5$ rings be placed on $4$ fingers?
Find the value of $ \sum_{n=1}^{\infty} \frac{n^3}{3^n} $ [duplicate]
Normal Operators: Transform
Is there any formula to find prime numbers [duplicate]