19.4 Encoding a Ferio Syllogism: Answer

Answer for "Encoding a Ferio Syllogism"

The following syllogism:

  • E:  No university student is a toddler.
  • I:  Some skaters are university students.
  • O:  Therefore, some skaters are not toddlers.

could be drawn as the following conceptual graph:

   [If:
       [If:
           [UniversityStudent:  *x]
           [Then:
              [Toddler: ?x]
           ] 
       ]
       [Proposition:
           [Skater: *y]
           [UniversityStudent: ?y]
       ]
       [Then:
           [Proposition:
               [Skater: *z]
              [Toddler: ?z]
           ]
       ]
   ]


Prev: Encoding a Darii Syllogism
Up: 19 Reasoning
Next: Part VI: Reference