ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ-ΛΕΞΙΛΟΓΙΟ ΛΟΓΙΚΗΣ: 1

Ο Ισχυρισμός στα μαθηματικά είναι αληθής ή ψευδής και συμβολίζεται συνήθως με P,Q,R,S,T…
1)Συνεπαγωγή ():Αν P και Q είναι δύο ισχυρισμοί,τέτοιοι ώστε,όταν αληθεύει ο P να αληθεύει και
ο Q,τότε ο P συνεπάγεται τον Q και γράφουμε PQ.Ο ισχυρισμός PQ λέγεται συνεπαγωγή με τον P
να λέγεται υπόθεση και τον Q συμπέρασμα.
Παράδειγμα (1) P:α=β(αληθής)Q:α2=β2(αληθής).Ο ισχυρισμός PQ είναι αληθής.Ο ισχυρισμός QP
είναι ψευδής,διότι ισχύει και α=-β.
Παρατήρηση:Στο πλαίσιο του μαθήματος δεν χρησιμοποιούμε συνεπαγωγές με ψευδή υπόθεση.
Υιοθετούμε τη σύμβαση ότι η συνεπαγωγή PQ είναι αληθής όταν η υπόθεση P είναι ψευδής.
Η συνεπαγωγή PQ είναι ψευδής μόνο όταν η υπόθεση P είναι αληθής και το συμπέρασμα είναι
ψευδές,και αληθής σε κάθε άλλη περίπτωση.
2)Ισοδυναμία ή Διπλή συνεπαγωγή():Αν P,Q είναι δύο ισχυρισμοί,τέτοιοι ώστε όταν αληθεύει ο P να
αληθεύει και Q και όταν αληθεύει ο Q να αληθεύει και ο P,τότε λέμε ότι ο P συνεπάγεται τον Q και
αντιστρόφως ή ο P λέγεται ισοδύναμος με τον Q και γράφουμε PQ.Ο ισχυρισμός PQ λέγεται
ισοδυναμία ή διπλή συνεπαγωγή,ενώ αρκετές φορές διαβάζεται P αν και μόνο αν Q.Για την PQ
ο P είναι υπόθεση και ο Q το συμπέρασμα ενώ για την QP ο Q είναι υπόθεση και ο P το συμπέρασμα.
Παράδειγμα (2) P:α=β(αληθής)Q:α+γ=β+γ(αληθής).Ο ισχυρισμός PQ είναι αληθής.
3)Σύνδεσμος (ή):Αν P,Q είναι δύο ισχυρισμοί τότε ο ισχυρισμός P ήQ αληθεύει μόνο στην περίπτωση που
ένας τουλάχιστον από τους δύο αληθεύει.Ο ισχυρισμός P ήQ λέγεται διάζευξη των P και Q.
Παράδειγμα (3) P ή Q:(x-1)(x-2)=0(αληθής)P:x-1=0(αληθής) ήQ:x-2=0(αληθής).
4)Σύνδεσμος (και): Αν P,Q είναι δύο ισχυρισμοί τότε ο ισχυρισμός P και Q αληθεύει μόνο στην περίπτωση
που αληθεύουν και οι δύο ισχυρισμοί.Ο ισχυρισμός P και Q λέγεται σύζευξη των P και Q.
Παράδειγμα (4) P και Q:αβ0(αληθής)P:α0(αληθής) ήQ:β0(αληθής).
ΑΛΥΤΕΣ ΑΣΚΗΣΕΙΣ:1)Να χαρακτηρίσετε για όλους τους πραγματικούς αριθμούς α,β τους παρακάτω
ισχυρισμούς με (Α) αν είναι αληθής και (Ψ) αν είναι ψευδής

1 α2=16α=4 ή α=-4 17 (α+1)2+(α2-1)=0α=-1 31 αβ=1 και αγ=1β=γ

2 2
α=-4α =16 18 2 2
(α+β) -(α-β) =0α=0 ή β=0 32 α216α4 ή α-4
3 2
α=4α =16 19 α3+β3=0α=0 και β=0 33 α21 και β24α2-β2=3
4 α4=16α=2 20 (α+β)3+(α-β)30α0 34 α21 και β24α2β24
5 α=2 ή α=-2α4=16 -2α3 και 35 α-β=β-α=1α2-β20
21
6 α4α2-160 -3β46αβ12 36 (α-1)2017+(1-α)2017=0
7 2
α -160α-4 22 -2α34α29
37 α-2+(1-α)-2=0 με α0
8 α4  α-4α -160 2 23 2α34α29
38 αβα2β2
9 α2=1(α2-16)(α2-4)0 24 4α 92α3
2
39 αβ-α-β
2 2α3 και
10 α -160 για -3α1 25
3β40β-α2 40 αβ α  β με α,β0
11 α2-4α+40 26 P:α0Q:αβαγβγ
12 α3-3α2+3α-10
27 P:α0Q:α2βα2γβγ
13 2 2
α +β =0α=0 ή β=0
28 αβ και βγαγ
14 α=0 ή β=0α2+β2=0
29 αβ και βγαγ
15 α=0 και β=0α2+β2=0
30 α2β2 και β2γ2αγ
16 α2+β20α0 και β=0
ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ-ΣΥΝΟΛΑ: 2
Ορισμός συνόλου κατά Cantor (1):Σύνολο είναι κάθε συλλογή αντικειμένων που προέρχονται
από την εμπειρία μας ή την διανόηση μας,είναι καλά ορισμένα και διακρίνονται το ένα από το άλλο.
Χρησιμοποιούμε τα κεφαλαία γράμματα της αλφάβητου για τον συμβολισμό τους.Τα αντικείμενα που
αποτελούν το σύνολο λέγονται στοιχεία ή μέλη του συνόλου.
Γνωστά σύνολα είναι το σύνολο των φυσικών αριθμών ={0,1,2,…,ν,…}, το σύνολο των ακεραίων
αριθμών ={….,-ν,….,…,-2,-10,1,2,…,ν,…},το σύνολο των ρητών αριθμών ={ α με α,β ακεραίους ,β0}
β
,το σύνολο των άρρητων αριθμών α που τα στοιχεία του δεν μπορούν να γραφούν ως κλάσμα με όρους
ακεραίους και το σύνολο των πραγματικών αριθμών =α.
Τα σύμβολα ,:Το x είναι στοιχείο του συνόλου Α όταν xΑ,ενώ δεν είναι στοιχείο του Α αν xΑ.
Παράσταση συνόλου:1)Με αναγραφή των στοιχείων του π.χ Α={1,3,5,7,.…} το σύνολο των περιττών
αριθμών,2)Με περιγραφή των στοιχείων του π.χ Β={x/x>0},το σύνολο των θετικών πραγματικών
αριθμών.
Ισότητα συνόλων:Θεωρούμε τα σύνολα Α={2,3},Β={x/(x-2)(x-3)=0} και Γ={x/1<x<4}.Για το Β οι
λύσεις της εξίσωσης είναι (x-2)(x-3)=0x-2=0 ή x-3=0x=2 ή x=3,ενώ για το Γ οι μοναδικοί ακέραιοι που
είναι μεγαλύτεροι του 1 και μικρότεροι του 4 είναι το 2 και το 3.Άρα Β=Γ=Α={2,3}.
Ορισμός ισότητας συνόλων (2):Δύο σύνολα είναι ίσα όταν έχουν τα ίδια ακριβώς στοιχεία.
Υποσύνολα συνόλου: Θεωρούμε τα σύνολα Α={1,2,3},Β={1,2,3,4}.Παρατηρούμε ότι κάθε στοιχείο του Α
είναι και στοιχείο του Β.
Ορισμός υποσυνόλου συνόλων (3):Ένα σύνολο Α λέγεται υποσύνολο του συνόλου Β όταν κάθε στοιχείο
του Α είναι και στοιχείο του Β.Για κάθε xAxB.Συμβολίζεται ΑΒ.
Ιδιότητες υποσυνόλων:1) ΑΑ.Κάθε σύνολο είναι υποσύνολο του ευατού του 2)ΑΒ και ΒΑΑ=Β.Δύο
σύνολα που το ένα είναι υποσύνολο του άλλου είναι ίσα.3)ΑΒ και ΒΓΑΓ (μεταβατική ιδιότητα)
Κενό σύνολο:Το σύνολο που δεν έχει στοιχεία.Συμβολίζεται με .Το  είναι υποσύνολο κάθε συνόλου.
Διαγράμματα Venn:Παριστάνουμε γραφικά τα σύνολα με διαγράμματα Venn.Θεωρούμε
ότι υπάρχει ένα καθολικό σύνολο που το συμβολίζουμε με Ω και τα σύνολα που
μελετούμε είναι υποσύνολα του.Το βασικό σύνολο συμβολίζεται με το εσωτερικό ενός
ορθογωνίου ενώ κάθε υποσύνολο του παριστάνεται με το εσωτερικό μιας κλειστής καμπύλης
που περιέχεται στο εσωτερικό του ορθογωνίου.Αν ΑΒ τότε το Α παριστάνεται με το
εσωτερικό μιας κλειστής καμπύλης που βρίσκεται στο εσωτερικό μιας άλλης κλειστής καμπύλης.
Πράξεις με σύνολα:
Ένωση συνόλων: Αν Ω={1,2,3,4,5,6,7,8,9},για τα Α={1,2,3,4,5} και Β={4,5,6,7},
το {1,2,3,4,5,6,7},που αποτελείται από τα στοιχεία του Α,τα στοιχεία του Β καθώς
και τα κοινά τους στοιχεία,λέγεται ένωση των Α,Β και συμβολίζεται με ΑΒ.
Ορισμός ένωσης συνόλων (4):Ένωση δύο υποσυνόλων Α,Β ενός
βασικού συνόλου Ω είναι το σύνολο των στοιχείων που
ανήκουν σε τουλάχιστον ένα από τα σύνολα Α,Β.Είναι το
σύνολο που τα στοιχεία του ανήκουν μόνο στο Α ή μόνο στο Β ή
και στα δύο.Άρα ΑΒ={xΩ/xA ή xΒ}.