Εις ατοπον απαγωγή
Συντονιστής: s.kap
-
- Δημοσιεύσεις: 9
- Εγγραφή: Πέμ Ιούλ 14, 2016 3:26 pm
Εις ατοπον απαγωγή
Καλησπέρα θα μπορούσε κάποιος να με βοηθήσει να καταλάβω την διαδικασία με την οποία προκείπτει με προτασιακό λογισμό και μονο , με τν μεθοδο της εις άτοπον απαγωγής η ορθοτητα της προτασης
''Αν μια συνάρτηση είναι γνήσια αυξουσα τότε έχει το πολυ μια ριζα'' ?
''Αν μια συνάρτηση είναι γνήσια αυξουσα τότε έχει το πολυ μια ριζα'' ?
τελευταία επεξεργασία από giannakos94 σε Σάβ Μαρ 07, 2020 11:52 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λέξεις Κλειδιά:
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Εις ατοπον απαγωγή
Επειδή από ότι καταλαβαίνω είσαι φοιτητής και επειδή το θέμα είναι ιδιαίτερα απλό, θα δώσω μόνο υπόδειξη:giannakos94 έγραψε: ↑Σάβ Μαρ 07, 2020 6:39 pmΚαλησπέρα θα μπορούσε κάποιος να με βοηθήσει να καταλάβω την διαδικασία με την οποία προκείπτει με προτασιακό λογισμό η εις άτοπον απαγωγή της πρότασης
''Αν μια συνάρτηση είναι γνήσια αυξουσα τότε έχει το πολυ μια ριζα'' ?
Έστω ότι έχει τουλάχιστον δύο ρίζες , δηλαδή όπου . Χωρίς βλάβη . Συνέχισε.
Περιμένουμε εδώ την λύση σου. Επίσης καλό είναι να διορθώσεις την άνευ νοήματος φράση που κοκκίνισα. Κάτι άλλο θέλεις να πεις.
-
- Δημοσιεύσεις: 9
- Εγγραφή: Πέμ Ιούλ 14, 2016 3:26 pm
Re: Εις ατοπον απαγωγή
Καλησπέρα . Δεν ζητάω τν απόδειξη αυτού καθεαυτου ,προσπαθώ να καταλάβω γενικά μέσω της μαθηματικής λογικής με προτάσεις πως μπορούμε να χρησιμοποιήσουμε την εις άτοπον απαγωγή .Mihalis_Lambrou έγραψε: ↑Σάβ Μαρ 07, 2020 11:19 pmΕπειδή από ότι καταλαβαίνω είσαι φοιτητής και επειδή το θέμα είναι ιδιαίτερα απλό, θα δώσω μόνο υπόδειξη:giannakos94 έγραψε: ↑Σάβ Μαρ 07, 2020 6:39 pmΚαλησπέρα θα μπορούσε κάποιος να με βοηθήσει να καταλάβω την διαδικασία με την οποία προκείπτει με προτασιακό λογισμό η εις άτοπον απαγωγή της πρότασης
''Αν μια συνάρτηση είναι γνήσια αυξουσα τότε έχει το πολυ μια ριζα'' ?
Έστω ότι έχει τουλάχιστον δύο ρίζες , δηλαδή όπου . Χωρίς βλάβη . Συνέχισε.
Περιμένουμε εδώ την λύση σου. Επίσης καλό είναι να διορθώσεις την άνευ νοήματος φράση που κοκκίνισα. Κάτι άλλο θέλεις να πεις.
Προσπαθώ να το συνδυάσω με τον ταύτολογια .
Re: Εις ατοπον απαγωγή
Δεν είμαι σίγουρος αν είμαι σωστός, αλλά έχω να πω ότι εξ'ορισμού σημαίνει .
Οπότε η πρόταση γράφεται ισοδύναμα που είναι ισοδύναμη με την που είναι ισοδύναμη με την εξ'ορισμού.
Οι γνώσεις μου στη λογική σταματούν εδώ. Δεν ξέρω αν ζητάς κάτι παραπάνω από αυτό που έγραψα.
Οπότε η πρόταση γράφεται ισοδύναμα που είναι ισοδύναμη με την που είναι ισοδύναμη με την εξ'ορισμού.
Οι γνώσεις μου στη λογική σταματούν εδώ. Δεν ξέρω αν ζητάς κάτι παραπάνω από αυτό που έγραψα.
Κωνσταντίνος Σμπώκος
Re: Εις ατοπον απαγωγή
οι ταυτολογ'ιες του προτασιακου λογισμού που συνδέονται με την αντίφαση είναι οι εξής :
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες