Journals / Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi / 2017 / Cilt: 21 - Sayı: 3
On Properties of Algebraic and Labeled Graph Theoretical of Derivations of Some Logics of Syllogistic and Cardinality Comparisons
- Pages
- 942–947
- DOI
- —
Abstract
This paper presents labeled digraph representations of logics of All, Some, No, More and At Least by using algebraic properties of derivations of the logics. The logics of All, Some and No come from the Aristotalian syllogisms. The syllogisms contain sentence forms of All p are q, Some p are q, No p are q where p and q are plural nouns. The logics of At least and More have respectively the form of “There are at least as many p as q” and “There are more p than q” where p and q are plural nouns. Especially, labeled digraph representations of logics of At least and More are a crucial position since languages of the logics are not expressible in first order language.
Özet
Bu makale, All, Some, No, More ve At Least lojiklerinin türetimlerinin cebirsel özelliklerini kullanarak bu lojiklerin etiketli yönlü çizge temsillerini sunar. All, Some ve No lojikleri Aristo sillojizmlerinden gelmektedir. Sillojizmler p ve q çogul isimler olmak üzere All p are q, Some p are q, No p are q cümle formlarını içerir. At least and More lojikleri p ve q çogul isimler olmak üzere sırasıyla “En az q kadar p vardır” ve “ q dan daha fazla p vardır” formlarındadırlar. Özellikle, At least ve More lojiklerin dilleri birinci mertebe dilde ifade edilemez oldugu için etiketli yönlü çizge temsilleri önemli bir konumdadır.