19.2 Encoding a Darii Syllogism: Answer

Answer for "Encoding a Darii Syllogism"

The following syllogism:

  • A:  All swans are white.
  • I:  Some birds are swans.
  • I:  Therefore, some birds are white.

could be drawn as the following conceptual graph:

   [If:
       [If:
           [Swan:  *x]
           [Then:
               [White: ?x]
           ] 
       ]
       [Proposition:
           [Bird: *y]
           [Swan: ?y]
       ]
       [Then:
           [Proposition:
               [Bird: *z]
               [White: ?z]
           ]
       ]
   ]


Prev: 19 Reasoning
Up: 19 Reasoning
Next: Encoding a Ferio Syllogism