| Attributes | Values |
|---|
| rdfs:label
| - Συμπερασματικό σύστημα (el)
- Sistema deductivo (es)
- Deductive system (en)
- Deductief systeem (nl)
- Sistema dedutivo (pt)
|
| rdfs:comment
| - Ένα συμπερασματικό σύστημα (deductive system), λεγόμενο και ο συμπερασματικός μηχανισμός (deductive aparatus) ενός τυπικού συστήματος, αποτελείται από τα αξιώματα (ή ) και συμπερασματικούς κανόνες που μπορούν να χρησιμοποιηθούν για να τα θεωρήματα του συστήματος. Ένα τέτοιο συμπερασματικό σύστημα έχει σκοπό να διατηρήσει τις ιδιότητες των που εκφράζονται στο σύστημα. Συνήθως η ιδιότητα που μας ενδιαφέρει είναι η αλήθεια σε αντίθεση με το ψεύδος. Εναλλακτικά, μπορούν επίσης να διατηρούνται όπως η ή η πεποίθηση. (el)
- Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Tal sistema deductivo tiene como propósito preservar ciertas cualidades deductivas en las fórmulas que son expresas en el sistema. Normalmente la calidad en la cual estamos preocupados es la verdad en oposición a la falsedad. No obstante, otras , tales como justificación o creencia, pueden ser preservadas alternativamente. (es)
- Een deductief systeem - dat ook wel het deductieve apparaat van een formeel systeem wordt genoemd - is in de systeemtheorie een reeks axioma's en/of een axiomaschema met behulp waarvan theorema's worden afgeleid als formeel bewijs. De bedoeling is dat de deductieve kwaliteiten van met behulp van een deductief systeem worden behouden. Waarheid is in dit verband de kwaliteit die meestal centraal staat, maar in de modale logica kunnen andere kwaliteiten zoals rechtvaardiging en geloof centraal staan. (nl)
- Um sistema dedutivo (também chamado de aparato dedutivo de um sistema formal) é constituído de axiomas e regras de inferência que podem ser usadas para derivar os teoremas do sistema. Tal sistema dedutivo tem como propósito preservar certas qualidades dedutivas nas fórmulas que são expressas no sistema. Normalmente a qualidade na qual estamos preocupados é a verdade em oposição à falsidade. No entanto, outras , tais como justificação ou crença, podem ser preservadas alternativamente. (pt)
|
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Wikipage redirect
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Ένα συμπερασματικό σύστημα (deductive system), λεγόμενο και ο συμπερασματικός μηχανισμός (deductive aparatus) ενός τυπικού συστήματος, αποτελείται από τα αξιώματα (ή ) και συμπερασματικούς κανόνες που μπορούν να χρησιμοποιηθούν για να τα θεωρήματα του συστήματος. Ένα τέτοιο συμπερασματικό σύστημα έχει σκοπό να διατηρήσει τις ιδιότητες των που εκφράζονται στο σύστημα. Συνήθως η ιδιότητα που μας ενδιαφέρει είναι η αλήθεια σε αντίθεση με το ψεύδος. Εναλλακτικά, μπορούν επίσης να διατηρούνται όπως η ή η πεποίθηση. Για να διατηρήσει την συμπαρασματική του ακεραιότητα, ένας συμπερασματικός μηχανισμός πρέπει να ορίζεται χωρίς αναφορά σε οποιαδήποτε αποσκοπούμενη ερμηνεία της γλώσσας. Ο στόχος είναι να εξασφαλίσει ότι κάθε γραμμή της παραγωγής είναι απλά των γραμμών που προηγούνται. Δεν θα πρέπει να υπάρχει οποιοδήποτε αντικείμενο οποιασδήποτε της γλώσσας που να εμπλέκεται με την συμπερασματική φύση του συστήματος. (el)
- Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Tal sistema deductivo tiene como propósito preservar ciertas cualidades deductivas en las fórmulas que son expresas en el sistema. Normalmente la calidad en la cual estamos preocupados es la verdad en oposición a la falsedad. No obstante, otras , tales como justificación o creencia, pueden ser preservadas alternativamente. A fin de mantener su integridad deductiva, un aparato deductivo debe ser definido sin referencia a ninguna interpretación pretendida del lenguaje. El objetivo es garantizar que cada línea de un cálculo lógico es meramente una consecuencia lógica de las líneas que la preceden. No debería haber ningún elemento perteneciente a cualquier interpretación del lenguaje encubierto en la naturaleza deductiva del sistema. (es)
- Een deductief systeem - dat ook wel het deductieve apparaat van een formeel systeem wordt genoemd - is in de systeemtheorie een reeks axioma's en/of een axiomaschema met behulp waarvan theorema's worden afgeleid als formeel bewijs. De bedoeling is dat de deductieve kwaliteiten van met behulp van een deductief systeem worden behouden. Waarheid is in dit verband de kwaliteit die meestal centraal staat, maar in de modale logica kunnen andere kwaliteiten zoals rechtvaardiging en geloof centraal staan. Een deductief apparaat moet altijd definieerbaar zijn zonder dat een beroep wordt gedaan op de bedoelde interpretatie van een (formele) taal. Elk klein onderdeel van (bijvoorbeeld wiskundig) bewijs moet een logisch gevolg zijn van de voorafgaande regel. Interpretatie mag dus niet bepalend zijn voor de deductieve aard van het systeem. (nl)
- Um sistema dedutivo (também chamado de aparato dedutivo de um sistema formal) é constituído de axiomas e regras de inferência que podem ser usadas para derivar os teoremas do sistema. Tal sistema dedutivo tem como propósito preservar certas qualidades dedutivas nas fórmulas que são expressas no sistema. Normalmente a qualidade na qual estamos preocupados é a verdade em oposição à falsidade. No entanto, outras , tais como justificação ou crença, podem ser preservadas alternativamente. A fim de manter sua integridade dedutiva, um aparato dedutivo deve ser definido sem referência a nenhuma interpretação pretendida da linguagem. O objetivo é garantir que cada linha de uma derivação é meramente uma consequência formal de linhas que a precedem. Não deveria haver nenhum elemento pertencente a qualquer interpretação da linguagem envolvido na natureza dedutiva do sistema. (pt)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)