Τυπικό σύστημα
From Wikipedia, the free encyclopedia
Στην λογική, ένα τυπικό σύστημα (formal system), ή λογικό σύστημα (logic system), ή απλά λογική αποτελείται από μια τυπική γλώσσα σε συδυασμό με ένα συμπερασματικό σύστημα, που αποτελείται από ένα σύνολο από συμπερασματικούς κανόνες και/ή αξιώματα. Ένα τυπικό σύστημα χρησιμοποιείται για να παράγει μια έκφραση από μια ή περισσότερες άλλες εκφράσεις που διατυπώνονται ως υποθέσεις. Οι εκφράσεις αυτές λέγονται αξιώματα, στην περίπτωση που υποτίθεται ότι είναι αληθείς, ή θεωρήματα, στην περίπτωση που παράγονται. Ένα τυπικό σύστημα μπορεί να διατυπωθεί και να μελετηθεί για τις εγγενείς του ιδιότητες, ή μπορεί να έχει στόχο την περιγραφή εξωτερικών φαινομένων (μοντέλο).
Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές. |