προτασιακός λογισμός 3

labrosb
Δημοσιεύσεις: 85
Εγγραφή: Τετ Ιούλ 24, 2013 8:34 pm

προτασιακός λογισμός 3

#1

Μη αναγνωσμένη δημοσίευση από labrosb » Πέμ Ιουν 09, 2016 2:10 am

α) Υπάρχει απόδειξη του θεωρήματος p\vee \neg p χωρίς D.Morgan;
Αποδείξατε με τους συμπερασματικούς κανόνες του προτασιακού λογισμού

β) (p\vee q)\vee(\neg p\vee\neg q)

γ) [(p\Longrightarrow q)\wedge(r\Longrightarrow s)\wedge(p\vee r)]\Longrightarrow q\vee s = δημιουργικό δίλημμα.

Υπάρχουν θεωρήματα στην Α Λυκείου βασισμένα στο διμιουργικό δίλημμα;

Προτεινόμενες λύσεις.

β)

1. p\vee \neg p

2. p\Longrightarrow (p\vee q)

3.\neg p\Longrightarrow(\neg p\vee\neg q)

4. (p\vee q)\vee(\neg p\vee\neg q)

γ)

1. p\Longrightarrow q

2. r\Longrightarrow s

3. p\vee r

4. \neg(q\vee s)

5. \neg q\wedge\neg s

6. \neg q

7. \neg s

8. \neg q\Longrightarrow\neg p

9. \neg s\Longrightarrow\neg r

10. \neg p

11. \neg r

12. \neg p\wedge \neg r

13. \neg(p\vee r)

14. (p\vee r)\wedge [\neg(p\vee r)]

15. \neg\neg(q\vee s)

16. q\vee s

Αλλες λύσεις ;


Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες