Μαθηματική απόδειξη & Λογική

Συντονιστής: s.kap

Νέο Θέμα

Επισήμανση θεμάτων ως αναγνωσμένα • 65 θέματα

Ανακοινώσεις

Απαντήσεις

Προβολές

Τελευταία δημοσίευση

Διαδικτυακό Μαθηματικό Περιοδικό «Μελέτη»

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Κυρ Μαρ 14, 2021 10:02 pm
Δημοσιεύτηκε σε Γενικά Μηνύματα
Απαντήσεις: 5
από Γενικοί Συντονιστές » Σάβ Μαρ 11, 2017 5:04 pm » σε Γενικά Μηνύματα

περιοδικό

μελέτη

Αγαπητοί φίλοι,

Με ιδιαίτερη χαρά ανακοινώνουμε την κυκλοφορία του πρώτου μας διαδικτυακού μαθηματικού περιοδικού απευθυνόμενο στους μαθητές της δευτεροβάθμιας εκπαίδευσης.

Το περιοδικό «Μελέτη» απευθύνεται σε μαθητές Γυμνασίου και Λυκείου και...

5 Απαντήσεις

103578 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Μαρ 14, 2021 10:02 pm
Ενεργοποίηση Λέξεων Κλειδιά (tags) στο mathematica!

Τελευταία δημοσίευση από bettyking « Τετ Νοέμ 27, 2024 10:21 am
Δημοσιεύτηκε σε Γενικά Μηνύματα
Απαντήσεις: 11
από cretanman » Τρί Σεπ 27, 2016 1:19 pm » σε Γενικά Μηνύματα

οδηγίες

λέξη

κλειδί

Λέξη-κλειδί

tags

Πλέον μπορούμε να προσθέσουμε λέξεις κλειδιά (tags στα αγγλικά) στις δημοσιεύσεις μας για πιο γρήγορη αναζήτηση από τους χρήστες. Και πάλι πρέπει να ευχαριστήσουμε τον Γιώργο Μαργαρίτη αφού με τη βοήθειά του μπορούμε να γράφουμε λέξεις - κλειδιά και...

11 Απαντήσεις

110251 Προβολές

Τελευταία δημοσίευση από bettyking
Τετ Νοέμ 27, 2024 10:21 am
Η Αρμονική Γεωμετρία του Νίκου Κυριαζή

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Κυρ Ιαν 10, 2016 2:44 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια

από Γενικοί Συντονιστές » Κυρ Ιαν 10, 2016 2:44 pm » σε Γενική Συζήτηση - Σχόλια

Αρμονική-Γεωμετρία

Πληροφορούμε με μεγάλη χαρά μας τα μέλη και τους επισκέπτες του mathematica ότι το διακεκριμένο μέλος μας ο Γεωμέτρης Νίκος Κυριαζής ανήρτησε στο mathematica το βιβλίο του Αρμονική Γεωμετρία
Τον συγχαίρουμε, τον ευχαριστούμε θερμά και του ευχόμαστε...

0 Απαντήσεις

107815 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Ιαν 10, 2016 2:44 pm
Γ' Λυκείου: Μία συλλογή ασκήσεων στα Μαθηματικά Γ. Παιδείας

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Κυρ Μάιος 06, 2012 11:43 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια

από Γενικοί Συντονιστές » Κυρ Μάιος 06, 2012 11:43 pm » σε Γενική Συζήτηση - Σχόλια

Αναρτούμε την νέα δουλειά στα Μαθηματικά Γενικής Παιδείας που συνέθεσαν τα μέλη μας
Γιώργος Απόκης , Βασίλης, Κακαβάς, Δημήτρης Κατσίποδας, Χρήστος Κανάβης, Περικλής Παντούλας, Κώστας Τηλέγραφος, Χρήστος Τσιφάκης, Μάκης Χατζόπουλος
Το εξώφυλλο...

0 Απαντήσεις

167220 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Μάιος 06, 2012 11:43 pm
Γ' Λυκείου: Μία συλλογή ασκήσεων στα Μαθηματικά Κατεύθυνσης.

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Δευ Απρ 09, 2012 11:06 am
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια

από Γενικοί Συντονιστές » Δευ Απρ 09, 2012 11:06 am » σε Γενική Συζήτηση - Σχόλια

Με μεγάλη μας χαρά αναρτούμε το βιβλίο
Γ' Λυκείου: Μία συλλογή ασκήσεων στα Μαθηματικά Κατεύθυνσης.
που συνέθεσαν οι συνάδελφοι μέλη του mathematica
Βασίλης Κακαβάς , Δημήτρης Κατσίποδας , Περικλής Παντούλας , Κώστας Τηλέγραφος , Παναγιώτης...

0 Απαντήσεις

184745 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Δευ Απρ 09, 2012 11:06 am
Εικοσιδωδεκάεδρον (τεύχος 26)

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Δευ Οκτ 28, 2024 4:13 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια
Απαντήσεις: 23
από Γενικοί Συντονιστές » Πέμ Νοέμ 18, 2010 11:04 pm » σε Γενική Συζήτηση - Σχόλια
1

2
Εικοσιδωδεκάεδρον

Αγαπητοί Φίλοι
Με χαρά μας αναρτούμε το πρώτο φύλλο αποδελτίωσης του mathematica που περιέχει ένα δείγμα από το πλούσιο υλικό που με την δική σας συμβολή υπάρχει στον ιστότοπο μας.
Η επιλογή έγινε από τους αρμόδιους επιμελητές του αντίστοιχου...
23 Απαντήσεις

339276 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Δευ Οκτ 28, 2024 4:13 pm

Θέματα

Απαντήσεις

Προβολές

Τελευταία δημοσίευση

Όριο σύνθεσης αλλά αλλιώς...

Τελευταία δημοσίευση από Ιάσων Κωνσταντόπουλος « Σάβ Μάιος 03, 2025 12:14 pm

από Ιάσων Κωνσταντόπουλος » Σάβ Μάιος 03, 2025 12:14 pm

όριο-σύνθεσης

αξίωμα-επιλογής

Δίνονται συναρτήσεις $f,g\colon\mathbb{R}\to\mathbb{R}$ για τις οποίες γνωρίζουμε ότι

$\lim\limits_{x\to x_o}g(x)=u_o\in\mathbb{R}$ (*)
$\lim\limits_{x\to x_o}f(g(x))=\ell\in\mathbb{R}$ (**)

Να βρεθεί ποια είναι η αναγκαία συνθήκη που πρέπει να...

0 Απαντήσεις

125 Προβολές

Τελευταία δημοσίευση από Ιάσων Κωνσταντόπουλος
Σάβ Μάιος 03, 2025 12:14 pm
Τέμνονται, αλλά δεν αποδεικνύεται...

Τελευταία δημοσίευση από Ιάσων Κωνσταντόπουλος « Σάβ Νοέμ 09, 2024 10:08 pm

από Ιάσων Κωνσταντόπουλος » Σάβ Νοέμ 09, 2024 10:08 pm

αξιώματα

αποδειξιμότητα

θεμέλια-γεωμετρίας

κωνικές

Η παρούσα ανάρτηση μπορεί να θεωρηθεί συνέχεια της

Για κάποιον που αρκείται στην κλασική ευκλείδεια γεωμετρία των κατασκευών με κανόνα και διαβήτη,
το πανίσχυρο αξίωμα πληρότητας του Hilbert $\mathcal{HC}^2$ δεν είναι αναγκαίο.
Μάλιστα ούτε καν...

0 Απαντήσεις

319 Προβολές

Τελευταία δημοσίευση από Ιάσων Κωνσταντόπουλος
Σάβ Νοέμ 09, 2024 10:08 pm
Η ευθεία έχει κοινά σημεία με το εσωτερικό του κύκλου αλλά... δεν τον τέμνει

Τελευταία δημοσίευση από Ιάσων Κωνσταντόπουλος « Παρ Ιουν 28, 2024 8:47 am

από Ιάσων Κωνσταντόπουλος » Παρ Ιουν 28, 2024 8:47 am

αξιώματα

αποδειξιμότητα

θεμέλια-γεωμετρίας

ΕΙΣΑΓΩΓΗ

Το πρόβλημα που θα ακολουθήσει έχει ως σημείο αναφοράς το αξιωματικό σύστημα της Γεωμετρίας του D. Hilbert το οποίο
μπορεί κανείς να δει στο έργο του Θεμέλια Γεωμετρίας . Πιο συγκεκριμένα έχει ληφθεί υπ' όψιν η ακόλουθη αγγλική μετάφραση...

0 Απαντήσεις

487 Προβολές

Τελευταία δημοσίευση από Ιάσων Κωνσταντόπουλος
Παρ Ιουν 28, 2024 8:47 am
Απόδειξη Ιδιοτήτων και Αλγόριθμων Βασικών Πράξεων

Τελευταία δημοσίευση από Nikitas K. « Τρί Απρ 16, 2024 10:03 am
Απαντήσεις: 2
από Πετρακας » Παρ Απρ 12, 2024 8:40 pm

απόδειξη-ιδιότητες

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

2 Απαντήσεις

866 Προβολές

Τελευταία δημοσίευση από Nikitas K.
Τρί Απρ 16, 2024 10:03 am
Μεταβλητή

Τελευταία δημοσίευση από Λευτέρης Παπανικολάου « Κυρ Νοέμ 12, 2023 10:32 pm
Απαντήσεις: 2
από Λευτέρης Παπανικολάου » Κυρ Σεπ 18, 2022 1:37 pm

μεταβλητη

Με αφορμή μία άσκηση που ανέβασα σε ομάδα στο facebook, θέλω να ρωτήσω κάποια πράγματα:
1) Πότε μία μεταβλητή χαρακτηρίζεται ως συνεχής; Ποιοι άλλοι χαρακτηρισμοί υπάρχουν για τις μεταβλητές και πού μπορώ να βρω σχετική βιβλιογραφία;
2) Είναι λάθος...

2 Απαντήσεις

1833 Προβολές

Τελευταία δημοσίευση από Λευτέρης Παπανικολάου
Κυρ Νοέμ 12, 2023 10:32 pm
Προβληματισμός σχετικά με τις απόλυτες τιμές

Τελευταία δημοσίευση από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ « Τετ Φεβ 01, 2023 9:09 am
Απαντήσεις: 35
από Κοτρώνης Αναστάσιος » Παρ Δεκ 04, 2009 1:27 am
1

2
Στο βιβλίο της 'Α λυκείου γράφει:

Αν $\theta>0$, τότε: $|x|<\theta\Leftrightarrow -\theta
Λέω εγώ τώρα:

Έστω $\theta\leq0$.

1)α) Είναι η πρόταση :$(\forall x:|x|\geq\theta)$ αληθής;

β) Αν ναι, έπεται ότι η πρόταση $(\exists...
35 Απαντήσεις

7882 Προβολές

Τελευταία δημοσίευση από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ
Τετ Φεβ 01, 2023 9:09 am
Η έννοια του ορισμού

Τελευταία δημοσίευση από Demetres « Παρ Απρ 15, 2022 5:08 pm
Απαντήσεις: 3
από batmsup1 » Τετ Απρ 13, 2022 4:15 pm

ορισμός

Γεια σας, ενω ολοι έχουμε δει ορισμούς πολυάριθμων εννοιών δεν εχω δει καπου ορισμό της έννοιας του ορισμού. Μήπως εκλαμβάνεται σαν μια αρχική έννοια; Αν δεν υπάρχει αυστηρός ορισμός του ορισμού, τουλάχιστον πώς μπορούμε να το πουμε; Και οποιος...

3 Απαντήσεις

1450 Προβολές

Τελευταία δημοσίευση από Demetres
Παρ Απρ 15, 2022 5:08 pm
προτασιακός λογισμός

Τελευταία δημοσίευση από Mihalis_Lambrou « Τρί Φεβ 08, 2022 8:24 pm
Απαντήσεις: 9
από labrosb » Κυρ Φεβ 06, 2022 7:47 pm

λογική

αποδείξετε στον προτασιακό λογισμό χρησιμοποιώντας τους κανόνες της προτασιακής λογικής το εξής:

$(p\implies q)\implies((\neg p\vee q)\vee(s=>w))$

9 Απαντήσεις

1942 Προβολές

Τελευταία δημοσίευση από Mihalis_Lambrou
Τρί Φεβ 08, 2022 8:24 pm
Ισοδυναμία ή συνεπαγωγή;

Τελευταία δημοσίευση από pito « Κυρ Σεπ 12, 2021 6:55 am
Απαντήσεις: 6
από Ardid » Τρί Ιούλ 12, 2011 2:33 pm

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

6 Απαντήσεις

9731 Προβολές

Τελευταία δημοσίευση από pito
Κυρ Σεπ 12, 2021 6:55 am
Αξιώματα των φυσικών αριθμών κατά Peano

Τελευταία δημοσίευση από labrosb « Πέμ Μάιος 14, 2020 3:58 am
Απαντήσεις: 3
από mikemoke » Τετ Ιούλ 11, 2018 8:54 pm

φυσικοί

Peano

Δίνονται τα αξιώματα των φυσικών αριθμών κατά Peano.
Να αποδειχθεί ότι
1) $\forall n\in \mathbb{N} n\geq 0$
2) $\forall n\in \mathbb{N} \nexists p\in \mathbb{N}:n 3) $(A\subseteq \mathbb{N} \wedge A\neq \varnothing)\Rightarrow (\exists n_0\in...

3 Απαντήσεις

3281 Προβολές

Τελευταία δημοσίευση από labrosb
Πέμ Μάιος 14, 2020 3:58 am
Εις ατοπον απαγωγή

Τελευταία δημοσίευση από labrosb « Τετ Μάιος 13, 2020 7:25 pm
Απαντήσεις: 4
από giannakos94 » Σάβ Μαρ 07, 2020 6:39 pm

εις-άτοπον-απαγωγή

Καλησπέρα θα μπορούσε κάποιος να με βοηθήσει να καταλάβω την διαδικασία με την οποία προκείπτει με προτασιακό λογισμό και μονο , με τν μεθοδο της εις άτοπον απαγωγής η ορθοτητα της προτασης
''Αν μια συνάρτηση είναι γνήσια αυξουσα τότε έχει το πολυ...

4 Απαντήσεις

2571 Προβολές

Τελευταία δημοσίευση από labrosb
Τετ Μάιος 13, 2020 7:25 pm
Το πρόβλημα του παρουσιαστή

Τελευταία δημοσίευση από ΝικοςK « Πέμ Οκτ 24, 2019 2:40 pm
Απαντήσεις: 2
από ΝικοςK » Τρί Οκτ 08, 2019 3:25 pm

πιθανότητες

καλησπέρα σε όλους
αναφέρομαι σε αυτό το ζήτημα

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

2 Απαντήσεις

2064 Προβολές

Τελευταία δημοσίευση από ΝικοςK
Πέμ Οκτ 24, 2019 2:40 pm
Σχετικά Πρώτοι Αριθμοί

Τελευταία δημοσίευση από stranger « Τετ Ιαν 16, 2019 5:50 am
Απαντήσεις: 4
από dimitriskouf » Παρ Ιαν 08, 2016 11:46 am

Πόσοι θετικοί ακέραιοι μικρότεροι ή ίσοι του $1000$ είναι σχετικά πρώτοι με το $15$?

4 Απαντήσεις

5988 Προβολές

Τελευταία δημοσίευση από stranger
Τετ Ιαν 16, 2019 5:50 am
Εικασία του συνεχούς, λελυμένη

Τελευταία δημοσίευση από gbaloglou « Κυρ Σεπ 24, 2017 9:27 pm
Απαντήσεις: 10
από Mihalis_Lambrou » Παρ Σεπ 22, 2017 11:57 pm

εικασία-συνεχούς

Στον σύνδεσμο

θα βρείτε το τελευταίο συνταρακτικό αποτέλεσμα σχετικά με πληθαρίθμους μεταξύ του συνεχούς και του αριθμήσιμα απείρου. Οι μη αριθμήσιμοι πληθάριθμοι αποδεικνύονται τώρα ίσοι με του συνεχούς.

Το αποτέλεσμα οφείλεται στον διάσημο...

10 Απαντήσεις

3795 Προβολές

Τελευταία δημοσίευση από gbaloglou
Κυρ Σεπ 24, 2017 9:27 pm
Άσκηση με μπίλιες

Τελευταία δημοσίευση από ronnie « Σάβ Οκτ 15, 2016 6:57 pm

από ronnie » Σάβ Οκτ 15, 2016 6:57 pm

λογική

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

''Έχουμε 12 μπίλιες, εκ των οποίων οι 11 είναι τίμιες και η μια είναι κάλπικη.
Αν δεν γνωρίζετε αν η κάλπικη είναι βαρύτερη ή ελαφρότερη απ τις υπόλοιπες, βρείτε την κάλπικη, με...

0 Απαντήσεις

3591 Προβολές

Τελευταία δημοσίευση από ronnie
Σάβ Οκτ 15, 2016 6:57 pm
Για κάθε ή Για οποιοδήποτε ;

Τελευταία δημοσίευση από Demetres « Κυρ Σεπ 11, 2016 12:25 pm
Απαντήσεις: 5
από selas » Κυρ Σεπ 11, 2016 9:20 am

Στο σχολικό βιβλίο της Γ Λυκείου δίνονται οι ορισμοί
Μια συνάρτηση $f$ θα λέμε ότι είναι γνησίως αύξουσα σε ένα διάστημα $\Delta$ του πεδίου ορισμού της , όταν για οποιαδήποτε με ισχύει ....

Μια συνάρτηση λέγεται συνάρτηση 1-1 , όταν για...

5 Απαντήσεις

3209 Προβολές

Τελευταία δημοσίευση από Demetres
Κυρ Σεπ 11, 2016 12:25 pm
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

Τελευταία δημοσίευση από ttheodoros « Παρ Σεπ 09, 2016 1:52 pm
Απαντήσεις: 7
από mariageo » Πέμ Σεπ 08, 2016 12:34 pm

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

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

7 Απαντήσεις

3812 Προβολές

Τελευταία δημοσίευση από ttheodoros
Παρ Σεπ 09, 2016 1:52 pm
Ισοδυναμία Αρχής Ελαχίστου και Επαγωγής

Τελευταία δημοσίευση από Kostas Tzimoulias « Τρί Αύγ 30, 2016 10:54 am
Απαντήσεις: 8
από Kostas Tzimoulias » Παρ Αύγ 26, 2016 4:36 pm

Καλησπέρα βρήκα μια πρόταση που έχω κάποιους ενδοιασμούς για την πορεία της απόδειξης. ( συγγνώμη αν βρίσκομαι εκτός φακέλου)

$\bullet$ Η αρχή του ελαχίστου και η αρχή της επαγωγής είναι ισοδύναμες προτάσεις. Να αποδειχθεί η ισοδυναμία τους....

8 Απαντήσεις

4884 Προβολές

Τελευταία δημοσίευση από Kostas Tzimoulias
Τρί Αύγ 30, 2016 10:54 am
συνεπαγωγή

Τελευταία δημοσίευση από labrosb « Σάβ Απρ 30, 2016 1:44 am
Απαντήσεις: 14
από labrosb » Δευ Απρ 04, 2016 3:05 pm

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

14 Απαντήσεις

10573 Προβολές

Τελευταία δημοσίευση από labrosb
Σάβ Απρ 30, 2016 1:44 am
Άσκηση Μαθηματική επαγωγή

Τελευταία δημοσίευση από evry « Πέμ Φεβ 04, 2016 1:25 pm
Απαντήσεις: 8
από evry » Τετ Φεβ 03, 2016 1:42 pm

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

Λέει να...

8 Απαντήσεις

4215 Προβολές

Τελευταία δημοσίευση από evry
Πέμ Φεβ 04, 2016 1:25 pm
ΔΙΑΓΩΝΟΠΟΙΗΣΗ CANTOR

Τελευταία δημοσίευση από matha « Παρ Ιαν 22, 2016 6:07 pm
Απαντήσεις: 5
από ΝΑΣΟΣ23 » Παρ Ιαν 22, 2016 4:46 pm

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

5 Απαντήσεις

4052 Προβολές

Τελευταία δημοσίευση από matha
Παρ Ιαν 22, 2016 6:07 pm
Παρατηρώ ή αποδεικνύω;

Τελευταία δημοσίευση από Σίλης « Δευ Μάιος 18, 2015 7:17 am
Απαντήσεις: 2
από Γιώργος Ρίζος » Δευ Μαρ 18, 2013 12:42 pm

Με αφορμή το θέμα ΕΔΩ

Α) Το $C$ είναι το μέσο του $AB$ .

Β) Τα τέσσερα μικρά κυκλικά τμήματα είναι ίσα .

Γ) Το εμβαδόν του πέλεκυ είναι ίσο με εκείνο του μεγάλου κυκλικού τμήματος

Δηλαδή : $\displaystyle E_{pelek}=E_{mega}=\frac{\pi...

2 Απαντήσεις

5022 Προβολές

Τελευταία δημοσίευση από Σίλης
Δευ Μάιος 18, 2015 7:17 am
Αντιπαραδείγματα

Τελευταία δημοσίευση από polysot « Σάβ Μάιος 09, 2015 7:24 pm
Απαντήσεις: 11
από biomass » Παρ Απρ 17, 2015 6:54 pm

Αν θέλουμε να αποδείξουμε ότι μια πρόταση δεν ισχύει και βρίσκουμε με παρατήρηση ένα αντιπαράδειγμα. Είναι το αντιπαράδειγμα επαρκής τρόπος ώστε να πειστεί ο άλλος ότι η πρόταση δεν ίσχυει;( Είναι αφού δεν ισχύει για κάθε $x\in\mathbb{R}$, για...

11 Απαντήσεις

5859 Προβολές

Τελευταία δημοσίευση από polysot
Σάβ Μάιος 09, 2015 7:24 pm
Λήμματα vs Προτάσεις

Τελευταία δημοσίευση από biomass « Τετ Μάιος 06, 2015 3:28 am
Απαντήσεις: 13
από biomass » Παρ Απρ 17, 2015 12:52 pm

Με βάση ποιο κριτήριο διακρίνονται οι μαθηματικές ''εκφράσεις'' σε λήμματα και προτάσεις?
Και τα δύο δεν είναι βοηθητικά στην απόδειξη ενός θεωρήματος;

13 Απαντήσεις

5245 Προβολές

Τελευταία δημοσίευση από biomass
Τετ Μάιος 06, 2015 3:28 am
Εις άτοπο απαγωγή

Τελευταία δημοσίευση από Ασλανίδης « Τετ Απρ 22, 2015 10:20 pm
Απαντήσεις: 3
από Aladdin » Κυρ Νοέμ 13, 2011 9:32 am

Καλημέρα.
Γνωρίζουμε ότι σε απόδειξη (χρησιμοποιώντας τη μέθοδο απαγωγή σε άτοπο) υποθέτουμε πως δεν ισχύει αυτό που θέλουμε να αποδείξουμε και χρησιμοποιώντας αληθείς προτάσεις φθάνουμε σε ένα συμπέρασμα που έρχεται σε αντίθεση με αυτό που...

3 Απαντήσεις

6012 Προβολές

Τελευταία δημοσίευση από Ασλανίδης
Τετ Απρ 22, 2015 10:20 pm

Νέο Θέμα

Επισήμανση θεμάτων ως αναγνωσμένα • 65 θέματα

Επιστροφή στο ευρετήριο

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

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

Προσβάσεις σε αυτήν τη Δ. Συζήτηση

Δεν μπορείτε να δημοσιεύετε νέα θέματα σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να απαντάτε σε θέματα σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να επεξεργάζεστε τις δημοσιεύσεις σας σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να διαγράφετε τις δημοσιεύσεις σας σε αυτήν τη Δ. Συζήτηση
Δεν μπορείτε να επισυνάπτετε αρχεία σε αυτήν τη Δ. Συζήτηση