proof in predicate calcules

chrislav

Junior Member
Joined
Jun 22, 2017
Messages
124
Can we prove in predicate calcules that:
no one likes all and only those who don't like themselves
if yes
write the proof
this is achallenging question
 
Top