Silogismo
From Wikipedia, the free encyclopedia
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/Schema_Sillogismo.png/220px-Schema_Sillogismo.png)
se M estas A
kaj B estas M,
tiam B estos ankaŭ A.
Por konkretigi la ekzemplon: M estu la aro da dolĉaĵoj; B, la aro da tortoj; kaj A, la aro da nutraĵoj:
ĉiuj dolĉaĵoj estas nutraĵoj
kaj ĉiuj tortoj estas dolĉaĵoj,
sekve ĉiuj tortoj estas nutraĵoj.