ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

[mariageo]

Καλησπέρα.
Πως μπορώ να αναδιατυπώσω τις παρακάτω προτάσεις με την χρήση των ποσοδεικτών "για κάθε" και "υπάρχει";

α) Mερικοί φυσικοί είναι πρώτοι αριθμοί
β) κάθε ακέραιος αριθμός είνια ρητός
γ) Δεν υπάρχει πραγματικός αριθμός που να επαληθεύει την εξίσωση .
δ) Αν ένα τρίγωνο έχει δύο ίσες διχοτόμους, τότε είναι ισοσκελές.

Επίσης, η πρόταση " αν ενα παραλληλόγραμμο έχει ίσες διαγωνίους τότε είναι ρόμβος" είναι απλή πρόταση ή
σύνθετη πρόταση;

Ευχαριστώ πολύ

[Demetres]

Μαρία (ελπίζω να μην κάνω λάθος στο όνομα),

Η συγκεκριμένη άσκηση δεν έχει κάτι εξεζητημένο αλλά είναι απλή άσκηση κατανόησης. Φαντάζομαι θα έχετε κάνει παρόμοια παραδείγματα στις διαλέξεις.

Μπορείς να μας πεις τι έχεις γράψει ως απάντηση στο (α) π.χ. για να δούμε αν είσαι σωστή; Ποιος νομίζεις ότι είναι ο κατάλληλος ποσοδείκτης;

[Soteris]

Να σε καλωσορίσουμε στο φόρουμ. Πες μας μέχρι που έχεις φτάσει, τι σκέψεις έχει κάνει κτλ για να σε βοηθήσουμε.

[mariageo]

Καλώς σας βρήκα. Μαρία ναι.

Ίσως:

[Demetres]

Έχεις ένα λάθος στην χρήση του "". Στην συγκεκριμένη περίπτωση αυτό το σύμβολο δεν χρειάζεται και η σωστή πρόταση είναι



Το σύμβολο "" το χρησιμοποιούμε σε προτάσεις του τύπου "Αν , τότε " το οποίο και γράφουμε .

Δοκίμασε τώρα και τις υπόλοιπες προτάσεις.

[mariageo]

Ευχαριστώ πολύ.
Για το (β)



Για το (γ)

(δεν υπάρχει αλλά δεν βρήσκω πώς να το βάλω εδώ)

Για το (δ) που είναι μόνο λόγια πώς θα μπορούσα να το αναδιατυπώσω;

Επίσης η πρόταση που ανάφερα σε προηγούμενο μήνυμα είναι απλή ή σύνθετη;

[Soteris]

Για το (β)

Για το "ανήκει" χρησιμοποιούμε το \in και όχι το \epsilon. Επίσης, για το Z και το Q χρησιμοποιούμε τα \mathbb{Z} και \mathbb{Q}, αντίστοιχα.

Για το (γ)

(δεν υπάρχει αλλά δεν βρήσκω πώς να το βάλω εδώ)

Δύο σχόλια εδώ.
(α) Η εντολή είναι \nexists, που δίνει αυτό .
(β) Ο είναι πραγματικός αριθμός.

Για το (δ) που είναι μόνο λόγια πώς θα μπορούσα να το αναδιατυπώσω;

Να γίνει λεκτική αναδιατύπωση, απλά να χρησιμοποιηθεί με κάποιο τρόπο η λέξη "κάθε" ή η λέξη "υπάρχει". Το αφήνω για να το σκεφτείς.

Επίσης η πρόταση που ανάφερα σε προηγούμενο μήνυμα είναι απλή ή σύνθετη;

Η απάντηση εδώ είναι πολύ απλή. Θα σε συμβουλέψω να ξαναρίξεις μια ματιά για το τι είναι απλή και τι σύνθετη λογική πρόταση και θα καταλάβεις αμέσως.

[ttheodoros]

Η άσκηση που έχει θέσει η Μαρία είναι απο την ενότητα Λογική που διδάσκεται φέτος στην Β Λυκείου κατεύθυνσης στην Κύπρο.