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 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 3 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 4 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 5 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 6 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 7 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 8 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 9 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 10 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 11 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 12 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 13 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 14 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 15 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 16 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 17 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 18 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 19 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 20 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 21 ΠΛΗ20 ΜΑΘΗΜΑ 2.3 Slide 22
Upcoming SlideShare
ΠΛΗ20 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ)
Next
Download to read offline and view in fullscreen.

4 Likes

Share

Download to read offline

ΠΛΗ20 ΜΑΘΗΜΑ 2.3

Download to read offline

1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις

Related Audiobooks

Free with a 30 day trial from Scribd

See all

ΠΛΗ20 ΜΑΘΗΜΑ 2.3

  1. 1. ΠΛΗ20 ΕΝΟΤΗΤΑ 2: ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα των ΤύπωνΕπαγωγή στην Πολυπλοκότητα των Τύπων ∆ηµήτρης Ψούνης
  2. 2. ΠΕΡΙΕΧΟΜΕΝΑ Α. Σκοπός του Μαθήµατος Β.Θεωρία 1. Νόµοι Προτασιακής Λογικής 1. Εύρεση Ταυτολογικά ισοδύναµου τύπου µε δεδοµένους συνδέσµους. 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 1. Επαγωγή στην Πολυπλοκότητα των Τύπων 2∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα 2. Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς 3. Πλήρη Σύνολα Συνδέσµων Γ.Ασκήσεις 1. Ασκήσεις Κατανόησης 2. Ερωτήσεις 3. Εφαρµογές
  3. 3. Α. Σκοπός του Μαθήµατος Επίπεδο Α Νόµοι της Προτασιακής Λογικής Εύρεση Ταυτολογικά Ισοδύναµου Τύπου που χρησιµοποιεί δεδοµένους συνδέσµους Πλήρη Σύνολα Συνδέσµων Επίπεδο Β 3∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Επίπεδο Β Επαγωγή στην Πολυπλοκότητα των Τύπων Επίπεδο Γ (-)
  4. 4. B. Θεωρία 1. Νόµοι Προτασιακής Λογικής 4∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Α Α Α Α Α Α Ψ Ψ Ψ Α Ψ Α Α Α Α Ψ Ψ Α Α Α
  5. 5. B. Θεωρία 1. Νόµοι Προτασιακής Λογικής 5∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Οι νόµοι της πρότασιακής λογικής είναι οι ακόλουθοι: Όνοµα Νόµου ∆ιατύπωση 1 Αντιµεταθετικότητα 2 Προσεταιριστικότητα 3 Επιµεριστικότητα 4 ∆ιπλή Άρνηση 5 Άρνηση Συνεπαγωγής 6 De Morgan 7 Αντιθετοαναστροφή 8 Εξαγωγή 9 1ος νόµος αντικατάστασης 10 2ος νόµος αντικατάστασης 11 Αποκλεισµός Τρίτου
  6. 6. B. Θεωρία 1. Νόµοι Προτασιακής Λογικής 1. Εύρεση Ταυτολογικά Ισοδύναµου Τύπου µε ∆εδοµένους Συνδέσµους 6∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Συνήθης άσκηση: Μας δίνεται ένας τύπος και ζητείται να βρεθεί ένας ταυτολογικά ισοδύναµος τύπος που χρησιµοποιεί κάποιους συνδέσµους που µας δίνονται. Χρήσιµος θα φανεί ο ακόλουθος πίνακας: Μετατροπή συνδέσµων Χρήση του νόµου Νόµος 1ος νόµος αντικατάστασης Νόµος άρνησης συνεπαγωγής Νόµοι De Morgan 2ος νόµος αντικατάστασης
  7. 7. B. Θεωρία 1. Νόµοι Προτασιακής Λογικής 1. Εύρεση Ταυτολογικά Ισοδύναµου Τύπου µε ∆εδοµένους Συνδέσµους 7∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα )()( 2121 pppp ∨¬→¬∧ )()( 2121 pppp ∨¬→¬∧ )()( 2121 pppp ∨¬→¬∧ )()( 2121 pppp ∨¬→→¬ )()( 2121 pppp ∨¬¬¬→→¬ )()( 2121 pppp →¬¬→→¬ )()( 2121 pppp ∨¬→¬∧ 2121 )()( 2121 pppp ∨¬→¬∧¬¬ )()( 2121 pppp ∨¬→¬¬∨¬¬ )()( 2121 pppp ∨¬→∨¬¬ )()( 2121 pppp ∨¬∨∨¬¬¬ )()( 2121 pppp ∨¬∨∨¬
  8. 8. B. Θεωρία 1. Νόµοι Προτασιακής Λογικής 1. Εύρεση Ταυτολογικά Ισοδύναµου Τύπου µε ∆εδοµένους Συνδέσµους 8∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα )()( 2121 pppp ∨→↔ ∨→↔ ( ) ( ) ( ) ( ) ( ) )()()( )()()( )()()( )()()( )()()( )()( 211221 211221 211221 211221 211221 2121 pppppp pppppp pppppp pppppp pppppp pppp →¬→→¬→→¬≡ ∨¬¬→→¬→→¬≡ ∨→→¬→→¬≡ ∨→→¬¬∧→≡ ∨→→∧→≡ ∨→↔
  9. 9. Όταν µας ζητείται να αποδείξουµε ότι µια πρόταση ισχύει για κάθε προτασιακό τύπο, εφαρµόζουµε επαγωγή στην πολυπλοκότητα (δοµή) των τύπων: • Τα βήµατα της επαγωγής στην πολυπλοκότητα είναι: B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 1. Επαγωγή στην Πολυπλοκότητα 9∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  10. 10. B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 1. Επαγωγή στην Πολυπλοκότητα 10∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  11. 11. B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 1. Επαγωγή στην Πολυπλοκότητα 11∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  12. 12. B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 2. Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς 12∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  13. 13. B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 3. Πλήρη Σύνολα Συνδέσµων 13∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα ΟΡΙΣΜΟΣ: Ένα σύνολο συνδέσµων θα λέγεται πλήρες σύνολο συνδέσµων (ή επαρκέςΈνα σύνολο συνδέσµων θα λέγεται πλήρες σύνολο συνδέσµων (ή επαρκές σύνολο συνδέσµων) ανν κάθε προτασιακός τύπος µπορεί να µετατραπέι σε έναν ισοδύναµό που χρησιµοποιεί µόνο συνδέσµους από το δεδοµένο σύνολο.
  14. 14. B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 3. Πλήρη Σύνολα Συνδέσµων 14∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Για να δείξω ότι ένα σύνολο συνδέσµων είναι πλήρες κάνω επαγωγή στην πολυπλοκότητα των τύπων:
  15. 15. B. Θεωρία 2. Επαγωγή στην Πολυπλοκότητα των Τύπων 3. Πλήρη Σύνολα Συνδέσµων 15∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Για να δείξω ότι ένα σύνολο συνδέσµων ∆ΕΝ είναι πλήρες κατασκευάζω έναν τύπο που δεν µπορεί να εκφραστεί χρησιµοποιώντας τους συνδέσµους του συνόλου.
  16. 16. ∆. Ασκήσεις Άσκηση Κατανόησης 1 16∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  17. 17. ∆. Ασκήσεις Άσκηση Κατανόησης 2 17∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  18. 18. ∆. Ασκήσεις Ερωτήσεις 1 18∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  19. 19. ∆. Ασκήσεις Εφαρµογή 1 19∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα Έστω m(φ) είναι το πλήθος των εµφανίσεων µεταβλητών στον τύπο φ και n(φ) το πλήθος των εµφανίσεων διµελών συνδέσµων στον τύπο φ. ∆είξτε ότι για κάθε προτασιακό τύπο φ ισχύει: m(φ)=n(φ)+1.
  20. 20. ∆. Ασκήσεις Εφαρµογή 2 20∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  21. 21. ∆. Ασκήσεις Εφαρµογή 3 21∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  22. 22. ∆. Ασκήσεις Εφαρµογή 4 22∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 2.3: Νόµοι Προτασιακής Λογικής και Επαγωγή στην Πολυπλοκότητα
  • PanagiotisPetrakis1

    Mar. 1, 2021
  • di8enaiwra

    May. 29, 2020
  • ssuser1c9e7a

    Mar. 13, 2018
  • RaniaKanellou

    Jul. 12, 2017

1) Νόμοι Προτασιακής Λογικής 1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους. 2) Επαγωγή στην Πολυπλοκότητα των Τύπων 2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων 2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς 2.3) Πλήρη Σύνολα Συνδέσμων Ασκήσεις

Views

Total views

7,372

On Slideshare

0

From embeds

0

Number of embeds

4,780

Actions

Downloads

316

Shares

0

Comments

0

Likes

4

×