Η αναζήτηση βρήκε 3 εγγραφές

από mariageo
Παρ Σεπ 09, 2016 10:47 am
Δ. Συζήτηση: Μαθηματική απόδειξη & Λογική
Θέμα: ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
Απαντήσεις: 7
Προβολές: 3235

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

Ευχαριστώ πολύ. Για το (β) $\forall x\epsilon Z x\epsilon Q$ Για το (γ) $\exists x\epsilon \mathbb{P}\ , x^{^{2}}+4=0$ (δεν υπάρχει αλλά δεν βρήσκω πώς να το βάλω εδώ) Για το (δ) που είναι μόνο λόγια πώς θα μπορούσα να το αναδιατυπώσω; Επίσης η πρόταση που ανάφερα σε προηγούμενο μήνυμα είναι απλή ή ...
από mariageo
Πέμ Σεπ 08, 2016 2:30 pm
Δ. Συζήτηση: Μαθηματική απόδειξη & Λογική
Θέμα: ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
Απαντήσεις: 7
Προβολές: 3235

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

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

Ίσως:

\exists x\epsilon N\Rightarrow x\epsilon P
από mariageo
Πέμ Σεπ 08, 2016 12:34 pm
Δ. Συζήτηση: Μαθηματική απόδειξη & Λογική
Θέμα: ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
Απαντήσεις: 7
Προβολές: 3235

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

Καλησπέρα. Πως μπορώ να αναδιατυπώσω τις παρακάτω προτάσεις με την χρήση των ποσοδεικτών "για κάθε" και "υπάρχει"; α) Mερικοί φυσικοί είναι πρώτοι αριθμοί β) κάθε ακέραιος αριθμός είνια ρητός γ) Δεν υπάρχει πραγματικός αριθμός που να επαληθεύει την εξίσωση $x^2+4=0$. δ) Αν ένα τρίγωνο έχει δύο ίσες ...

Επιστροφή στην ειδική αναζήτηση