About: Second-order logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:System105661996, within Data Space : dbpedia.org associated with source document(s)

AttributesValues
rdf:type
rdfs:label
  • منطق الرتبة الثانية
  • Lògica de segon ordre
  • Prädikatenlogik zweiter Stufe
  • Λογική δευτέρου βαθμού
  • Second-order logic
  • Lógica de segundo orden
  • 二階述語論理
  • 2차 논리
  • Rachunek predykatów drugiego rzędu
  • Lógica de segunda ordem
  • Логика второго порядка
  • Andra ordningens logik
  • Логіка другого порядку
  • 二階邏輯
rdfs:comment
  • منطق الرتبة الثانية هو امتداد لـمنطق الرتبة الأولى، الذي بذاته امتداد لـمنطق القضايا. يتم التمديد إلى منطق الرتبة الثانية عبر ونظرية النمط.يستخدم منطق الرتبة الأولى فقط تلك المتحولات التي تأخذ قيماً إفرادية من مجال معطى، بينما يحتوى منطق الدرجة الثانية على هذه المتحولات إضافة إلى متحولات تأخذ قيماً كمجالات (وليس قيماً إفرادية) من مجال معطى. على سبيل المثال: تعني أنه من أجل كل مجموعة من القيم الإفرادية ومن أجل كل قيمة إفرادية ، إما ينتمي إلى أو لا ينتمي إليها. يحتوي منطق الرتبة الثانية أيضاً على متحولات تكمم وفقاً لتوابع (دوال). إن كلاً من منطق الرتبة الأولى ومنطق الرتبة الثانية يستخدم مفهوم (أو اختصاراً "النطاق" أو "الفضاء"). النطاق هو مجموعة من القيم الإفرادية التي يمكن القيام بالتكميم وفقاً لها.
  • Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.​ Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.​
  • 二階述語論理(にかいじゅつごろんり、英: second-order predicate logic)あるいは単に二階論理(にかいろんり、英: second-order logic)は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。二階述語論理もさらに高階述語論理や型理論に拡張される。 一階述語論理と同様に議論領域(ドメイン)の考え方を使う。ドメインとは、量化可能な個々の元の集合である。一階述語論理では、そのドメインの個々の元が変項の値となり、量化される。例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。二階述語論理は個体の集合を変項の値とし、量化することができる。例えば、二階の論理式 ∀S ∀x (x ∈ S ∨ x ∉ S) は、個体の全ての集合 S と全ての個体 x について、x が S に属するか、あるいは属さないかのどちらかであるということを主張している。最も一般化された二階述語論理は関数の量化をする変項も含んでいる(詳しくは後述)。
  • Rachunek predykatów drugiego rzędu – rozszerzenie logiki pierwszego rzędu wzbogacone o kwantyfikatory po zmiennych, które przebiegają relacje . Istnieją odmiany logiki drugiego rzędu w których dopuszczalny zbiór kwantyfikatorów ograniczony jest jedynie do określonych rodzajów relacji, np. jest częścią logiki drugiego rzędu obejmującym jedynie kwantyfikatory nad relacjami unarnymi (zbiorami) .
  • Ло́гіка другого́ поря́дку — у логіці є розширенням логіки першого порядку в якій допускаються змінні-функції і змінні-предикати, а також квантифікація над цими змінними. Дана логіка не спрощується до логіки першого порядку.
  • Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
  • 在逻辑和数学中,二阶逻辑是一阶逻辑的扩展,一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。 一阶逻辑和二阶逻辑都使用了论域(有时叫做“域”或“全集”)的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x + 1)中变量x被用来表示一个任意的个体。二阶逻辑扩展了一阶逻辑,通过增加取值在个体的集合上变量和量词。例如,二阶句子声称对于所有个体的集合S和所有的个体x,要么x在S中要么不在(这是二值原理)。最一般的二阶逻辑还包括量化在函数上的变量,和在下面语法章节解说的变量。
  • Una lògica de segon ordre és una extensió d'una lògica matemàtica de primer ordre en la qual s'afegeixen variables per propietats i quantificadors que operen sobre aquestes variables. Així s'expandeix el poder expressiu del llenguatge sense haver d'afegir nous símbols lògics.
  • Στη λογική και τα μαθηματικά η λογική δεύτερου βαθμού είναι μια επέκταση της λογικής πρώτου βαθμού, η οποία με την σειρά της είναι επέκταση της προτασιακής λογικής. Η λογική δεύτερης τάξης επεκτείνεται με την σειρά της από τη λογική ανώτερου βαθμού και τη θεωρία τύπων.
  • Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional. Tanto a lógica de primeira ordem como a lógica de segunda ordem usam a ideia de universo de discurso ou domínio de discurso (normalmente chamado apenas de "domínio"). O domínio é um conjunto sobre os quais se pode quantificar. A lógica de primeira ordem inclui apenas variáveis e quantificadores sobre elementos individuais do domínio. Por exemplo, na sentença de primeira ordem a variável é usada para representar um indivíduo arbitrário.
  • Andra ordningens logik är en utvidgning av första ordningens logik inom den matematiska logiken. Där första ordningens logik bara tillåter "diskreta" individvariabler och egenskapsvariabler kan andra ordningens logik även använda variabler för hela uppsättningar av individuella företeelser. Första ordningens logik är själv en utvidgning av satslogiken och andra ordningens logik utvidgas i sin tur av och av mängdläran.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Sep 15 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software