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.

of

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.3 Slide 1 ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.3 Slide 2
Upcoming SlideShare
ΠΛΗ20 ΜΑΘΗΜΑ 2.3
Next
Download to read offline and view in fullscreen.

0 Likes

Share

Download to read offline

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

Download to read offline

Προτασιακή Λογική
Νόμοι Προτασιακής Λογικής
Επαγωγή στην Πολυπλοκότητα των Τύπων

Related Audiobooks

Free with a 30 day trial from Scribd

See all
  • Be the first to like this

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

  1. 1. Οι Νόμοι της Προτασιακής Λογικής: • Είναι ταυτολογίες. • Τους χρησιμοποιούμε για να μετατρέψουμε έναν τύπο σε έναν ισοδύναμό του. ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗΝΟΜΟΙ ΠΡΟΤΑΣΙΑΚΗΣ ΛΟΓΙΚΗΣ ΠΑΡΑΔΕΙΓΜΑ: Να βρεθεί ταυτολογικά ισοδύναμος τύπος του τύπου: Χρήσιμος για την χρήση των τύπων μπορεί να φανεί ο παρακάτω πίνακας:
  2. 2. : που θέλουμε να αποδείξουμε ότι ισχύει για κάθε προτασιακό τύπο • Βάση Επαγωγής: Δείχνουμε ότι ισχύει για μία προτασιακή μεταβλητή p, δηλαδή ότι ισχύει η ΠΡΟΤΑΣΗ • Κάνουμε απόδειξη ότι ισχύει η πρόταση για μια προτασιακή μεταβλητή. • Επαγωγική Υπόθεση: Υποθέτουμε ότι ισχύει για δύο τύπους φ,ψ, δηλαδή ότι ισχύουν ΠΡΟΤΑΣΗ , ΠΡΟΤΑΣΗ • Επαγωγικό Βήμα: Δείχνουμε ότι ισχύει για τους τύπους , ∨ , ∧ , → , ↔ δηλαδή ότι ισχύουν: ΠΡΟΤΑΣΗ , ΠΡΟΤΑΣΗ ∨ , ΠΡΟΤΑΣΗ ∧ , ΠΡΟΤΑΣΗ → ΠΡΟΤΑΣΗ ↔ ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗΕΠΑΓΩΓΗ ΣΤΗΝ ΠΟΛΥΠΛΟΚΟΤΗΤΑ ΤΩΝ ΤΥΠΩΝ ΠΑΡΑΔΕΙΓΜΑ: Δείξτε ότι κάθε προτασιακός τύπος έχει ίδιο αριθμο αριστερών και δεξιών παρενθέσεων. Λύση: Βάση Επαγωγής: Δείχνουμε ότι ισχύει για μία προτασιακή μεταβλητή , δηλαδή ότι ο τύπος έχει ίσες αριστερές και δεξιές παρενθέσεις • Απόδειξη: Ο τύπος έχει 0 αριστερές και 0 δεξιές παρενθέσεις. Συνεπώς ισχύει. Επαγωγική Υπόθεση: Υποθέτουμε ότι ισχύει για δύο τύπους , , δηλαδή ότι ισχύει και . (Συμβολίζουμε με ! το πλήθος των αριστερών παρενθέσεων του τύπου x, και με R! το πλήθος των δεξιών παρενθέσεων του τύπου x) Επαγωγικό Βήμα: Δείχνουμε ότι ισχύει για τους τύπους , ∨ , ∧ , → , ↔ δηλαδή ότι: • Ο τύπος έχει ίσο αριθμό αριστερών και δεξιών παρενθέσεων. Πράγματι ο τύπος έχει # 1 αριστερές παρενθέσεις και R # 1 δεξιές παρενθέσεις. Από επαγωγική υπόθεση έχω άρα και # 1 # 1 • Ο τύπος ∨ έχει ίσο αριθμό αριστερών και δεξιών παρενθέσεων. Πράγματι ο τύπος ∨ έχει # L # 1 αριστερές παρενθέσεις και R # R # 1 δεξιές παρενθέσεις. Από επαγωγική υπόθεση έχω και , άρα και # # 1 = # # 1. • Η απόδειξη για τους τύπους ∧ , → , ↔ είναι όμοια με την ∨ . Ορισμός: Ένα σύνολο συνδέσμων θα λέγεται πλήρες σύνολο συνδέσμων (ή επαρκές σύνολο συνδέσμων) ανν κάθε προτασιακός τύπος μπορεί να μετατραπεί σε έναν ισοδύναμό που χρησιμοποιεί μόνο συνδέσμους από το σύνολο. • Εμπειρικά για να είναι ένα σύνολο συνδέσμων πλήρες, απαιτείται να υπάρχει σε αυτό το και τουλάχιστον ένας ακόμη διμελής σύνδεσμος. • Για να δείξω ότι ένα σύνολο συνδέσμων είναι πλήρες κάνω επαγωγή στην πολυπλοκότητα των τύπων: • Για να δείξω ότι ένα σύνολο συνδέσμων ΔΕΝ είναι πλήρες κατασκευάζω έναν τύπο που δεν μπορεί να εκφραστεί χρησιμοποιώντας τους συνδέσμους του συνόλου.

Προτασιακή Λογική Νόμοι Προτασιακής Λογικής Επαγωγή στην Πολυπλοκότητα των Τύπων

Views

Total views

6,386

On Slideshare

0

From embeds

0

Number of embeds

4,684

Actions

Downloads

242

Shares

0

Comments

0

Likes

0

×