Bazı Sillojistik ve Kardinalite Karşılaştırmalı Lojiklerin Türetimlerinin Cebirsel ve Etiketli Çizge Teorik Özellikleri Üzerine
| Autor: | Selçuk Topal |
|---|---|
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | Volume: 21, Issue: 3 942-947 Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi, Vol 21, Iss 3, Pp 942-947 (2017) Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi |
| ISSN: | 1308-6529 |
| Popis: | Bu makale, \textit{All, Some, No, More} ve \textit{At Least} lojiklerinin türetimlerinin cebirsel özelliklerini kullanarak bu lojiklerin etiketli yönlü çizge temsillerini sunar. \textit{All, Some} ve \textit{No} lojikleri Aristo sillojizmlerinden gelmektedir. Sillojizmler \textit{p} ve \textit{q} çoğul isimler olmak üzere \textit{All p are q}, \textit{Some p are q}, \textit{No p are q} cümle formlarını içerir. \textit{At least} and \textit{More} lojikleri \textit{p} ve \textit{q} çoğul isimler olmak üzere sırasıyla \textquotedblleft \textit{En az q kadar p vardır}\textquotedblright\: ve \textquotedblleft\textit{q dan daha fazla p vardır}\textquotedblright\: formlarındadırlar. Özellikle, \textit{At least} ve \textit{More} lojiklerin dilleri birinci mertebe dilde ifade edilemez olduğu için etiketli yönlü çizge temsilleri önemli bir konumdadır. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|