Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6

3,593 views

Published on

.

Published in: Education
  • DOWNLOAD FULL BOOKS INTO AVAILABLE FORMAT ......................................................................................................................... ......................................................................................................................... 1.DOWNLOAD FULL PDF EBOOK here { https://tinyurl.com/y8nn3gmc } ......................................................................................................................... 1.DOWNLOAD FULL EPUB Ebook here { https://tinyurl.com/y8nn3gmc } ......................................................................................................................... 1.DOWNLOAD FULL doc Ebook here { https://tinyurl.com/y8nn3gmc } ......................................................................................................................... 1.DOWNLOAD FULL PDF EBOOK here { https://tinyurl.com/y8nn3gmc } ......................................................................................................................... 1.DOWNLOAD FULL EPUB Ebook here { https://tinyurl.com/y8nn3gmc } ......................................................................................................................... 1.DOWNLOAD FULL doc Ebook here { https://tinyurl.com/y8nn3gmc } ......................................................................................................................... ......................................................................................................................... ......................................................................................................................... .............. Browse by Genre Available eBooks ......................................................................................................................... Art, Biography, Business, Chick Lit, Children's, Christian, Classics, Comics, Contemporary, Cookbooks, Crime, Ebooks, Fantasy, Fiction, Graphic Novels, Historical Fiction, History, Horror, Humor And Comedy, Manga, Memoir, Music, Mystery, Non Fiction, Paranormal, Philosophy, Poetry, Psychology, Religion, Romance, Science, Science Fiction, Self Help, Suspense, Spirituality, Sports, Thriller, Travel, Young Adult,
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • Be the first to like this

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6

  1. 1. ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗΟΡΙΣΜΟΣ ΑΛΗΘΕΙΑΣ TARSKI Ορισμός Αλήθειας Tarski Έστω Α ερμηνεία, v αποτίμηση και φ τύπος. Η εύρεση για το αν η v ικανοποιεί τον φ στην A (ή ότι η ο φ αληθεύει για την v στην Α) και συμβολίζουμε με Α ⊨ φ v ορίζεται αναδρομικά ως εξής: 1. Α ⊨ t1 t2 v ⟺ v t1 v t2 2. Α ⊨ P t1, … , tn v ⟺ v t1 , … , v tn ∈ PA 3. Α ⊨ φ v ⟺ δεν ισχύει ότι Α ⊨ φ v 4. Α ⊨ φ ∧ ψ v ⟺ Α ⊨ φ v και Α ⊨ ψ v 5. Α ⊨ φ ∨ ψ v ⟺ Α ⊨ φ v ή Α ⊨ ψ v 6. Α ⊨ φ → ψ v ⟺ Αν Α ⊨ φ v τότε Α ⊨ ψ v 7. Α ⊨ φ ↔ ψ v ⟺ Α ⊨ φ v αν και μόνο αν Α ⊨ ψ v 8. Α ⊨ ∀xφ v ⟺ για κάθε α ∈ Α : Α ⊨ φ v x|a 9. Α ⊨ ∃xφ v ⟺ υπάρχει α ∈ Α : Α ⊨ φ v x|a ΠΑΡΑΔΕΙΓΜΑ: Στο σύμπαν των φυσικών, με την ερμηνεία του κατηγορήματος P #, $ : P% #, $ να αληθεύει αν x & y με χρήση του ορισμού του Tarski να ερμηνεύσετε την πρόταση: ∀#∀y P x, y → P y, x Λύση: Εφαρμόζω τον ορισμό Tarski: Α ⊨ ∀#∀y P x, y → P y, x ( (εφαρμόζω κανόνα 8) ⟺ για κάθε α ∈ Α : Α ⊨ ∀y P x, y → P y, x ( # / (εφαρμόζω κανόνα 8) ⟺ για κάθε α ∈ Α , 01α κάθε β ∈ Α : Α ⊨ P x, y → P y, x ( # /, $|3 (εφαρμόζω κανόνα 6) ⟺ για κάθε α ∈ Α , 01α κάθε β ∈ Α : αν Α ⊨ P x, y ( # /, $|3 τότε Α ⊨ P y, x ( # /, $|3 (εφαρμόζω κανόνα 2 και 3) ⟺ για κάθε α ∈ Α , 01α κάθε β ∈ Α : αν /, 3 ∈ 7% τότε δεν ισχύει Α ⊨ P y, x ( # /, $|3 (εφαρμόζω κανόνα 2) ⟺ για κάθε α ∈ Α , 01α κάθε β ∈ Α : αν /, 3 ∈ 7% τότε δεν ισχύει 3, < ∈ 7% ⟺ για κάθε α ∈ Α , 01α κάθε β ∈ Α : αν 7% /, 3 <=>?ες τότε δεν ισχύει 7% 3, < <=>?AB ⟺ για κάθε α ∈ Α , 01α κάθε β ∈ Α : αν < & 3 τότε δεν ισχύει 3 & < pου είναι προφανώς αληθής.
  2. 2. Για να αποδείξουμε ότι ένας τύπος είναι λογικά έγκυρος: • Είτε δείχνουμε ότι είναι Σ.Α. σε νόμο προτασιακής ή κατηγορηματικής λογικής ή αξιωματικό σχήμα του ΠΛ. • Είτε κάνουμε εφαρμογή του Tarski και αφού καταλήξουμε στην μετάφραση αποδεικνύουμε ότι αληθεύει σε κάθε δομή και σε κάθε αποτίμηση χρησιμοποιώντας μαθηματικά επιχειρήματα. Για να αποδείξουμε ότι ένας τύπος δεν είναι λογικά έγκυρος: Δείχνουμε ότι υπάρχει δομή και αποτίμηση που κάνει τον τύπο ψευδή ως εξής: Διατυπώνουμε μια ερμηνεία (σύμπαν, κατηγορηματικά σύμβολα κ.λπ.), Μεταφράζουμε την πρόταση, Δείχνουμε ότι είναι ψευδής. Για να αποδείξουμε ότι ισχύει μια λογική συνεπαγωγή Π.χ. Αν CDE, DF, DGH ⊨ D αρκεί να δείξουμε ότι ο τύπος: DE ∧ DF ∧ DG → D είναι λογικά έγκυρος. Για να αποδείξουμε ότι δεν ισχύει μία λογική συνεπαγωγή: • Επιλέγουμε μια δομή και μία αποτίμηση που κάνει τις υποθέσεις αληθείς και το συμπέρασμα ψευδές. • Διατυπώνουμε την ερμηνεία και μεταφράζουμε υποθέσεις και συμπέρασμα. Δείχνουμε ότι οι υποθέσεις είναι αληθείς και το συμπέρασμα είναι ψευδές. Για να αποδείξουμε ότι το σύνολο τύπων είναι ικανοποιήσιμο: • ομοίως με τον ικανοποιήσιμο τύπο Για να αποδείξουμε ότι ο τύπος είναι ικανοποιήσιμος: • Διατυπώνουμε την ερμηνεία και την αποτίμηση (αν απαιτείται), μεταφράζουμε την πρόταση και δείχνουμε ότι είναι αληθής. (Συνίσταται η ερμηνεία των κατευθυνόμενων γραφημάτων) ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗΟΡΙΣΜΟΙ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ ΙΚΑΝΟΠΟΙΗΣΙΜΟΣ ΤΥΠΟΣ Ένας τύπος θα λέμε ότι είναι ικανοποιήσιμος, αν υπάρχει δομή (ερμηνεία) και αποτίμηση που ικανοποιεί τον τύπο. Μια δομή που ικανοποιεί τον τύπο θα λέμε ότι είναι μοντέλο του τύπου. ΛΟΓΙΚΑ ΕΓΚΥΡΟΣ ΤΥΠΟΣ Ένας τύπος θα λέμε ότι είναι λογικά έγκυρος τύπος (ή λογικά αληθής τύπος), αν αληθεύει για οποιαδήποτε ερμηνεία και οποιαδήποτε αποτίμηση. Θα συμβολίζουμε με ⊨ D έναν λογικά έγκυρο τύπο. Ένας λογικά έγκυρος τύπος είναι και τυπικό θεώρημα του κατηγορηματικού λογισμού ΛΟΓΙΚΗ ΣΥΝΕΠΑΓΩΓΗ Θα λέμε ότι ένα σύνολο τύπων Τ συνεπάγεται λογικά τον τύπο φ ή ότι ο φ είναι σημασιολογική συνέπεια του Τ και θα συμβολίζουμε με Τ ⊨ D αν και μόνο αν Για όλες τις δομές και αποτιμήσεις που το σύνολο τύπων Τ είναι ικανοποιήσιμο, ικανοποιείται και ο τύπος φ ΙΚΑΝΟΠΟΙΗΣΙΜΟ ΣΥΝΟΛΟ ΤΥΠΩΝ Ένα σύνολο τύπων θα λέμε ότι είναι ικανοποιήσιμο, αν υπάρχει δομή (ερμηνεία) και αποτίμηση που ικανοποιεί κάθε τύπο του συνόλου τύπων.

×