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.

ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2

5,249 views

Published on

Συζευκτική Κανονική Μορφή (ΣΚΜ)

Published in: Education
  • Be the first to comment

ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2

  1. 1. ΓΝΩΣΗ(ΛΟΓΙΚΗ)ΣΥΖΕΥΚΤΙΚΗ ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ (ΣΚΜ) Βήµα 1: Εξάλειψη των συνεπαγωγών ∀ ⇒ ∃ P , ∧ ~ ∧ ∀ ~Q ⇒ , (εξάλειψη συνεπαγωγών) ∀ ~ ∨ ∃ P , ∧ ~ ∧ ∀ ~~Q ∨ , (εφ.ν.διπλής άρνησης) ∀ ~ ∨ ∃ P , ∧ ~ ∧ ∀ Q ∨ , Βήµα 2: Αρνήσεις µόνο στις ατοµικές προτάσεις ∆εν Απαιτείται Βήµα 3: Εξάλειψη Υπαρξιακών Ποσοδεικτών (Σκολεµοποίηση) ∀ ~ ∨ P , ∧ ~ ∧ ∀ Q ∨ , Βήµα 4: Επονόµαση Μεταβλητών Καθολικών Ποσοδεικτών ∆εν απαιτείται Βήµα 5: Μετακίνηση των ποσοδεικτών αριστερά ∀ ∀ ~ ∨ P , ∧ ~ ∧ Q ∨ , Βήµα 6: Μετακίνηση των διαζεύξεων στο επίπεδο των κυριολεκτηµάτων ∀ ∀ ~ ∨ P , ∧ ~ ∧ Q ∨ , (νόµος επιµερισµού) ∀ ∀ ~ ∨ P , ∧ ~ ∧ ~ ∨ Q ∨ , (νόµος επιµερισµού) ∀ ∀ ~ ∨ P , ∧ ~ ∨ ~ ∧ ~ ∨ Q ∨ , ∀ ∀ ~ ∨ P , ∧ ~ ∨ ~ ∧ ~ ∨ Q ∨ , Βήµα 7: Απάλειψη του καθολικού ποσοδείκτηκαι του AND 1. ~ ∨ P , 2. ~ ∨ ~ 3. ~ ∨ Q ∨ , Βήμα 1: Με το νόμο: ⇒ ≡ ~ ∨ Βήμα 2: Με τους νόμους : ~∀ … ≡ ∃ ~ … ~∃ … ≡ ∀ ~ … Άρνηση Ποσοδείκτη ~ Α ∧ Β ≡ ~Α ∨ ~Β ~ Α ∨ Β ≡ ~Α ∧ ~Β De Morgan Βήμα 3: Όχι στην εμβέλεια καθολικού: Σταθερά ∃ ∀ , ≡ ∀ ", Στην εμβέλεια καθολικών: Συνάρτηση με όρισμα τις μεταβλητές των καθολικών: ∀ ∀#∃ , ≡ ∀ ∀# , # , Βήμα 4: Αλλαγή ονόματος μεταβλητής αν έχουμε δύο καθολικούς ποσοδείκτες με το ίδιο όνομα Βήμα 5: Με τη σειρά που τους βλέπουμε. Βήμα 6: ΟR στις ατομικές προτάσεις. Νόμος Επιμερισμού: Α ∨ Β ∧ Γ Α ∨ Β ∧ Α ∨ Γ ΣΚΜ για προτάσεις HORN (και παραλλαγές):

×