Professional Documents
Culture Documents
Math
Math
Διακριτά Μαθηματικά
Στοιχεία μαθηματικής λογικής – προτασιακός
λογισμός
Λογική και Πληροφορική
Συστατικά ενός ηλεκτρονικού συστήματος
Είναι ισοδύναμα;
Εκφράζουμε κάθε μία από τις σύνθετες προτάσεις σε συμβολική μορφή, δηλαδή
με προτάσεις
Σύνθετα κυκλώματα
δ1 δ2 κατάσταση
αναμμένος 1, σβηστός 0
ΔΙΑΚΟΠΤΕΣ ΛΑΜΠΤΗΡΑΣ
δ1 δ2 κατάσταση
αναμμένος 1, σβηστός 0
δ1 δ2 κατάσταση
αναμμένος 1, σβηστός 0
δ1 δ2
p q p∨q
0 0 0
0 1 1
1 0 1
1 1 1
Σύζευξη
f = propcalc.formula("p&q")
f.truthtable( )
Διάζευξη
f = propcalc.formula("p|q")
f.truthtable( )
Άρνηση
f = propcalc.formula("~p")
f.truthtable( )
p = “Μελετώ πολύ.”
q = “Θα πάρω καλό βαθμό.”
p → q = “Εάν μελετώ πολύ, τότε θα πάρω καλό βαθμό.”
Για την κατανόηση του πίνακα αληθείας της
συνεπαγωγής σκεφτείτε μια δέσμευση ή ένα συμβόλαιο:
“Αν εκλεγώ, θα μειώσω τους φόρους.”
θα είναι Α.”
Αποδείξτε ότι:
(p→q) ⇔ (¬p ∨ q)
a = True
b = False
print "a --> b is", implies(a, b)
print "b --> a is", implies(b, a)
print "a <-> b is", equivalent(a, b)
print "a xor b is", xor(a, b)
συνεπαγωγή
f = propcalc.formula("p -> q")
f.truthtable( )
print f.evaluate({'p':True, 'q':False})
ισοδυναμία
f = propcalc.formula("p <-> q")
f.truthtable( )
print f.evaluate({'p':True, 'q':False})
Ακαδημαϊκό Έτος 2017-2018 36
Sage
Συζευκτική κανονική μορφή
import sage.logic.propcalc as propcalc
t = propcalc.formula("p <-> q")
t.convert_cnf()
print t
k = propcalc.formula("(p->q)&(q->r)")
k.convert_cnf()
l = propcalc.formula("(p->r)&((p<->q)|(r<->q))")
l.convert_cnf()
print k==l
Λογικές πράξεις ¬, ∧, ∨, ⊕, →, ↔
γραμμές
αντιφατική πρόταση
Απόδειξη:
1. …
2. δίνεται ως άσκηση
πράξεων (τελεστών) ,
p q r
p
ΚΑΙ r 1 1 1
(AND) q
αποκλειστική διάζευξη