Μαθηματική Λογική & Θεμέλια Μαθηματικών

Νέο Θέμα

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

1
2
3
4
5
6
Επόμενη

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

Απαντήσεις

Προβολές

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

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

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

περιοδικό

μελέτη

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

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

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

2 Απαντήσεις

6179 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Κυρ Απρ 01, 2018 12:18 pm
Ενεργοποίηση Λέξεων Κλειδιά (tags) στο mathematica!

Τελευταία δημοσίευση από cretanman « Δευ Οκτ 03, 2016 4:14 pm
Δημοσιεύτηκε σε Γενικά Μηνύματα
Απαντήσεις: 9
από cretanman » Τρί Σεπ 27, 2016 1:19 pm » σε Γενικά Μηνύματα

οδηγίες

λέξη

κλειδί

Λέξη-κλειδί

tags

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

9 Απαντήσεις

6098 Προβολές

Τελευταία δημοσίευση από cretanman
Δευ Οκτ 03, 2016 4:14 pm
Η Αρμονική Γεωμετρία του Νίκου Κυριαζή

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

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

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

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

0 Απαντήσεις

22229 Προβολές

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

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

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

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

0 Απαντήσεις

82373 Προβολές

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

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

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

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

0 Απαντήσεις

95932 Προβολές

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

Τελευταία δημοσίευση από Γενικοί Συντονιστές « Σάβ Ιαν 06, 2018 11:12 pm
Δημοσιεύτηκε σε Γενική Συζήτηση - Σχόλια
Απαντήσεις: 18
από Γενικοί Συντονιστές » Πέμ Νοέμ 18, 2010 11:04 pm » σε Γενική Συζήτηση - Σχόλια

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

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

18 Απαντήσεις

156301 Προβολές

Τελευταία δημοσίευση από Γενικοί Συντονιστές
Σάβ Ιαν 06, 2018 11:12 pm

Θέματα

Απαντήσεις

Προβολές

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

Απόδειξη ισοδυναμίας

Τελευταία δημοσίευση από nikolasuoi « Πέμ Αύγ 09, 2018 8:51 pm
Απαντήσεις: 4
από nikolasuoi » Τετ Αύγ 08, 2018 12:59 pm

Σύνολα

$A\subseteq B\Leftrightarrow A\setminus B\subseteq B\setminus A$, όπου $A$, $B$ σύνολα.
Απόδειξη:
$\left ( \Rightarrow \right )$ Έστω $A\subseteq B$
Τότε για τυχόν $x$, $x\in A\Rightarrow x\in B$, δηλαδή $x\notin B\Rightarrow x\notin A$
Είναι $x\in...

4 Απαντήσεις

224 Προβολές

Τελευταία δημοσίευση από nikolasuoi
Πέμ Αύγ 09, 2018 8:51 pm
Μη πληρότητα-Γκολντμπαχ

Τελευταία δημοσίευση από grigkost « Σάβ Οκτ 28, 2017 5:26 am
Απαντήσεις: 5
από George_F » Παρ Αύγ 23, 2013 1:51 pm

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

5 Απαντήσεις

1922 Προβολές

Τελευταία δημοσίευση από grigkost
Σάβ Οκτ 28, 2017 5:26 am
συνδυαστική

Τελευταία δημοσίευση από lefsk « Σάβ Οκτ 21, 2017 6:03 pm
Απαντήσεις: 13
από lefsk » Τρί Σεπ 05, 2017 1:00 pm

συνδυαστική

Χαίρετε! Θέλω τη βοήθειά σας. Έχω 30 μπλε τετράδια, 20 πράσινα και 10 κόκκινα και θέλω να τα βάλω σε 2 ράφια και με νοιάζει η σειρά. Κάθε ράφι πρέπει να έχει τα μισά τετράδια. Πόσοι τρόποι υπάρχουν;
Ευχαριστώ

13 Απαντήσεις

875 Προβολές

Τελευταία δημοσίευση από lefsk
Σάβ Οκτ 21, 2017 6:03 pm
Συνεπαγωγή από 0->1

Τελευταία δημοσίευση από jeterion85 « Τρί Οκτ 17, 2017 10:16 pm
Απαντήσεις: 13
από jeterion85 » Τρί Οκτ 10, 2017 7:14 pm

Λόγική

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

13 Απαντήσεις

883 Προβολές

Τελευταία δημοσίευση από jeterion85
Τρί Οκτ 17, 2017 10:16 pm
μέγιστο-μεγιστικό

Τελευταία δημοσίευση από lefsk « Τρί Σεπ 05, 2017 12:57 pm
Απαντήσεις: 2
από lefsk » Δευ Σεπ 04, 2017 9:45 pm

μέγιστο-μεγιστικό

Καλησπέρα! Να ρωτήσω. Ποια είναι η διαφορά του μέγιστου από του μεγιστικού και του ελάχιστου από του ελαχιστικού; Ευχαριστώ!

2 Απαντήσεις

549 Προβολές

Τελευταία δημοσίευση από lefsk
Τρί Σεπ 05, 2017 12:57 pm
Απόδειξη συνόλου

Τελευταία δημοσίευση από nsmavrogiannis « Κυρ Αύγ 27, 2017 12:15 am
Απαντήσεις: 5
από maria123 » Σάβ Αύγ 26, 2017 8:34 pm

διακριτα-μαθηματικα

Γεια σας. Πως μπορώ να αποδείξω ότι το {¬,^} είναι πλήρες σύνολο;

5 Απαντήσεις

622 Προβολές

Τελευταία δημοσίευση από nsmavrogiannis
Κυρ Αύγ 27, 2017 12:15 am
Αφελής θεωρία αποδείξεων

Τελευταία δημοσίευση από Σίλης « Τετ Ιούλ 26, 2017 9:38 pm

από Σίλης » Τετ Ιούλ 26, 2017 9:38 pm

απόδειξη

λογική

Πάει καιρός που δεσμεύτηκα να επανέλθω «στα πολλά που μπορεί να πεί κανείς» για τη λογική, όπως αυτή μπορεί να χρησιμοποιείται και να διδάσκεται σε μή λογικάριους· ήταν εκειπέρα . Κακώς δεσμεύτηκα, γιατι ενώ έλπιζα οτι θα βρώ το χρόνο να εμπλουτίσω...

0 Απαντήσεις

660 Προβολές

Τελευταία δημοσίευση από Σίλης
Τετ Ιούλ 26, 2017 9:38 pm
Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου

Τελευταία δημοσίευση από BAGGP93 « Κυρ Ιούλ 02, 2017 8:42 pm
Απαντήσεις: 9
από Γ.-Σ. Σμυρλής » Σάβ Ιούλ 01, 2017 4:35 pm

Δυναμοσύνολο

Θεωρία-Συνόλων

ΠΡΟΒΛΗΜΑ. Ἔστω $\mathscr P$ τὸ δυναμοσύνολο τοῦ $\{1,2,\ldots,n\}$ καὶ $\mathcal S\subset\mathscr P$, μὲ τὴν ἰδιότητα
$\displaystyle{
A,B\in \mathcal S\quad\Longrightarrow\quad A\cap B\ne\varnothing.
}$
Ἄν τὸ $\mathcal S$ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν...

9 Απαντήσεις

887 Προβολές

Τελευταία δημοσίευση από BAGGP93
Κυρ Ιούλ 02, 2017 8:42 pm
Υπάρχει μεγιστικό καλώς διατεταγμένο;

Τελευταία δημοσίευση από nsmavrogiannis « Κυρ Ιουν 11, 2017 1:23 am
Απαντήσεις: 1
από nsmavrogiannis » Παρ Απρ 14, 2017 11:46 pm

Μεγιστικό-καλώς-διατεταγμένο

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

1 Απαντήσεις

881 Προβολές

Τελευταία δημοσίευση από nsmavrogiannis
Κυρ Ιουν 11, 2017 1:23 am
Απόδειξη Αξιώματος Επιλογής

Τελευταία δημοσίευση από dement « Παρ Απρ 14, 2017 11:07 pm
Απαντήσεις: 2
από dement » Παρ Απρ 14, 2017 7:26 pm

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

σύνολο

Μια και είναι κάμποσο καιρό ανενεργός ο φάκελος...

Έχουμε την εξής απόπειρα απόδειξης του Αξιώματος της Επιλογής από το Θεώρημα της Καλής Διάταξης:

Έστω σύνολο $S = \{A_i:i \in I\}$ όπου τα $A_i$ είναι μη κενά. Σε κάθε $A_i$ ορίζουμε καλή διάταξη...

2 Απαντήσεις

931 Προβολές

Τελευταία δημοσίευση από dement
Παρ Απρ 14, 2017 11:07 pm
Cantor-Schröder-Bernstein

Τελευταία δημοσίευση από dement « Τρί Φεβ 14, 2017 6:58 pm
Απαντήσεις: 1
από Demetres » Σάβ Ιαν 21, 2017 10:54 pm

Bernstein

Cantor

Schroder

Έστω σύνολα $A,B$ και έστω ένα προς ένα συναρτήσεις $f:A \to B$ και $g:B\to A$. Να δειχθεί ότι υπάρχει ένα προς ένα και επί συνάρτηση $h:A\to B$.

Υπάρχουν διάφορες αποδείξεις. Την έβαλα με αφορμή το θεώρημα σταθερού σημείου των Knaster-Tarski που...

1 Απαντήσεις

1082 Προβολές

Τελευταία δημοσίευση από dement
Τρί Φεβ 14, 2017 6:58 pm
ανακλαστική ή οχι

Τελευταία δημοσίευση από nsmavrogiannis « Κυρ Ιαν 15, 2017 11:18 pm
Απαντήσεις: 1
από MX97 » Κυρ Ιαν 15, 2017 6:39 pm

ανακλαστική

Αν $R$ είναι µια οποιαδήποτε σχέση µέσα σ’ ένα σύνολο $A$ και $I_{A}$ είναι η ταυτοτική σχέση µέσα στο ίδιο
σύνολο, τότε είναι η σχέση $R\cup I_{A}$ ανακλαστική ;

Συγνώμη αν δν είναι το σωστό section για την ερώτηση..
Ευχαριστώ! :)

1 Απαντήσεις

861 Προβολές

Τελευταία δημοσίευση από nsmavrogiannis
Κυρ Ιαν 15, 2017 11:18 pm
ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ

Τελευταία δημοσίευση από Mihalis_Lambrou « Πέμ Νοέμ 17, 2016 11:34 am
Απαντήσεις: 2
από Mαριάννα » Πέμ Νοέμ 17, 2016 2:44 am

Λογική

Σύνολα

Φυσικοί-Αριθμοί

Καλησπέρα σας,
πώς μπορώ να αποδείξω ότι α)το σύνολο των φυσικών αριθμών $\mathbb{N}$ δεν είναι φυσικός αριθμός (δηλαδή δεν ισχύει ότι $\mathbb{N}\epsilon \mathbb{N}$);
β)το σύνολο $P(\mathbb{N})$,δηλαδή το δυναμοσύνολο του συνόλου των φυσικών...

2 Απαντήσεις

1512 Προβολές

Τελευταία δημοσίευση από Mihalis_Lambrou
Πέμ Νοέμ 17, 2016 11:34 am
ΜΕΡΙΚΩΣ ΔΙΑΤΕΤΑΓΜΕΝΑ ΣΥΝΟΛΑ

Τελευταία δημοσίευση από Σίλης « Τετ Οκτ 26, 2016 3:48 pm
Απαντήσεις: 2
από Mαριάννα » Τετ Οκτ 26, 2016 12:53 am

διάταξη

1-1

μερικώς-διατεταγμένα-σύνολα

Καλησπέρα σας!
Έστω ότι $ $ , $ $ είναι μερικώς διατεταγμένα σύνολα.
Έστω ότι $f:A\rightarrow B$ έχει την ιδιότητα:
$(\forall x\epsilon A)(\forall y\epsilon A)(x\leq _{1}y \Leftrightarrow f(x)\leq _{2}f(y) )$.
Πώς μπορώ να αποδείξω ότι η $f$ είναι...

2 Απαντήσεις

1439 Προβολές

Τελευταία δημοσίευση από Σίλης
Τετ Οκτ 26, 2016 3:48 pm
γραφηματα

Τελευταία δημοσίευση από Demetres « Παρ Αύγ 26, 2016 9:49 pm
Απαντήσεις: 1
από αργυρης20 » Παρ Αύγ 26, 2016 5:02 pm

Θεωρούμε γράφημα $G$, το οποίο έχει για κορυφές του, τις $0-1$ λέξεις με n γράμματα και στο οποίο δύο κορυφές είναι γειτονικές εάν και
μόνον εάν διαφέρουν ακριβώς κατά ένα γράμμα: (a) Πόσες κορυφές έχει το $G$; (b) Πόσες ακμές έχει το $G$;

1 Απαντήσεις

949 Προβολές

Τελευταία δημοσίευση από Demetres
Παρ Αύγ 26, 2016 9:49 pm
σχεσεις ισοδυναμιας

Τελευταία δημοσίευση από αργυρης20 « Τετ Αύγ 24, 2016 4:57 pm
Απαντήσεις: 2
από αργυρης20 » Τετ Αύγ 24, 2016 2:30 pm

Έστω $R$ μια συμμετρική και μεταβατική σχέση, η οποία ορίζεται σε ένα σύνολο $A$. Δείξτε ότι αν για κάθε $a$ στο $A$ υπάρχει $b$ στο $A$ τέτοιο ώστε το $(a,b)$, να ανήκει στην $R$, τότε η $R$ είναι μια σχέση ισοδυναμίας.

2 Απαντήσεις

1005 Προβολές

Τελευταία δημοσίευση από αργυρης20
Τετ Αύγ 24, 2016 4:57 pm
Μηχανή Turing

Τελευταία δημοσίευση από Mathletic « Σάβ Αύγ 13, 2016 1:47 am
Απαντήσεις: 5
από Mathletic » Δευ Αύγ 08, 2016 12:15 pm

Γειά σας!!

Βλέπω μια λυμένη άσκηση σχετικά με μηχανές Turing.

Δώστε μια μηχανή Turing, η οποία μεταφράζει την είσοδο $x\in \{0,1\}^\star$ ως δυαδικό αριθμό και υπολογίζει την συνάρτηση $f(x)=2x-4$. Το πεδίο ορισμού της $f$ είναι...

5 Απαντήσεις

1250 Προβολές

Τελευταία δημοσίευση από Mathletic
Σάβ Αύγ 13, 2016 1:47 am
Διαδρομή για TSP

Τελευταία δημοσίευση από Mathletic « Παρ Αύγ 12, 2016 1:43 am

από Mathletic » Παρ Αύγ 12, 2016 1:43 am

Γειά σας!!

Έχουμε την είσοδο για το TSP με $6$ σημεία με τις εξής αποστάσεις:
distances.PNG

Θέλω να βρω την προσέγγιση για μια TSP-διαδρομή χρησιμοποιώντας το NEAREST NEIGHBOR και το NEAREST INSERTION ξεκινώντας με τον κόμβο $1$.

Από τον...

0 Απαντήσεις

957 Προβολές

Τελευταία δημοσίευση από Mathletic
Παρ Αύγ 12, 2016 1:43 am
Αναγωγή

Τελευταία δημοσίευση από Mathletic « Δευ Αύγ 08, 2016 12:06 pm
Απαντήσεις: 6
από Mathletic » Τετ Ιούλ 27, 2016 10:29 am

Γειά σας!!

Κοιτάζω την εξής λυμένη άσκηση:
Μια εταιρεία με φορτηγά έχει δύο ίδια φορτηγά. Ο χώρος αποσκευών είναι ένα ορθογώνιο παραλληλεπίπεδο με εμβαδόν $2m \times 5m$ και ύψος $3m$. Τα πακέτα που η επιχείρησή έχει να προσφέρει είναι επίσης...

6 Απαντήσεις

1214 Προβολές

Τελευταία δημοσίευση από Mathletic
Δευ Αύγ 08, 2016 12:06 pm
(A△B)△C=A△(B△C).

Τελευταία δημοσίευση από grigkost « Σάβ Αύγ 06, 2016 9:29 am
Απαντήσεις: 3
από labrosb » Πέμ Αύγ 04, 2016 7:03 pm

υπάρχει απόδειξη για :

(A△B)△C=A△(B△C). πουθενά στο mathematica.gr ;

3 Απαντήσεις

1065 Προβολές

Τελευταία δημοσίευση από grigkost
Σάβ Αύγ 06, 2016 9:29 am
Σχέση Ισοδυναμίας

Τελευταία δημοσίευση από Mihalis_Lambrou « Δευ Αύγ 01, 2016 11:43 pm
Απαντήσεις: 16
από black_char » Κυρ Ιούλ 31, 2016 9:02 pm

Γεια σας, αυτό είναι το πρώτο θέμα που φτιάχνω. :welcomeani:
Διάβαζα το μάθημα διακριτά μαθηματικά που το δίνω για Σεπτέμβρη και βρήκα μια άσκηση από τον διδάσκοντά μου στην κατηγορία σχέσεις ισοδυναμίας, που δεν είχε σχέση με τις άλλες ασκήσεις. Η...

16 Απαντήσεις

2479 Προβολές

Τελευταία δημοσίευση από Mihalis_Lambrou
Δευ Αύγ 01, 2016 11:43 pm
Σπουδαιότητα

Τελευταία δημοσίευση από gbaloglou « Τετ Ιουν 22, 2016 3:06 pm
Απαντήσεις: 4
από gbaloglou » Τετ Ιουν 15, 2016 7:49 am

Στις 3 Δεκεμβρίου 2015 η Γερουσία των ΗΠΑ καταψήφισε 54-45-1 πρόταση απαγόρευσης οπλοκατοχής για άτομα ύποπτα τρομοκρατικών διασυνδέσεων: όλοι οι Ρεπουμπλικάνοι πλην ενός ψήφισαν κατά, και όλοι οι Δημοκρατικοί πλην ενός (που απείχε) ψήφισαν υπέρ. (Η...

4 Απαντήσεις

2331 Προβολές

Τελευταία δημοσίευση από gbaloglou
Τετ Ιουν 22, 2016 3:06 pm
προτασιακός λογισμός 3

Τελευταία δημοσίευση από labrosb « Πέμ Ιουν 09, 2016 2:10 am

από labrosb » Πέμ Ιουν 09, 2016 2:10 am

α) Υπάρχει απόδειξη του θεωρήματος $p\vee \neg p$ χωρίς D.Morgan;
Αποδείξατε με τους συμπερασματικούς κανόνες του προτασιακού λογισμού

β) $(p\vee q)\vee(\neg p\vee\neg q)$

γ) $ \Longrightarrow q\vee s$ = δημιουργικό δίλημμα.

Υπάρχουν θεωρήματα...

0 Απαντήσεις

2143 Προβολές

Τελευταία δημοσίευση από labrosb
Πέμ Ιουν 09, 2016 2:10 am
προτασιακός λογισμός 2

Τελευταία δημοσίευση από Demetres « Τετ Ιουν 08, 2016 4:37 pm
Απαντήσεις: 19
από labrosb » Τρί Ιουν 07, 2016 5:11 pm

Να αποδειχθούν

α) Το θεώρημα:$P\Longrightarrow((P\Longrightarrow Q)\Longrightarrow Q)$

b) Εαν

1.$\neg(A\wedge(B\vee C)$
2.$(B\Longrightarrow C)\Longrightarrow B$
3.$(C\Longrightarrow B)\Longrightarrow A$
Τότε $\neg B$

Προτεινόμενες αποδείξεις...

19 Απαντήσεις

1958 Προβολές

Τελευταία δημοσίευση από Demetres
Τετ Ιουν 08, 2016 4:37 pm
προτασιακός λογισμός

Τελευταία δημοσίευση από labrosb « Σάβ Ιουν 04, 2016 10:36 pm
Απαντήσεις: 6
από labrosb » Σάβ Ιουν 04, 2016 2:29 am

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

Εάν $\neg p\vee(q\wedge\neg p)$,τότε $q\Longrightarrow r$

Απόδειξη:

1. $\neg p\vee(q\wedge\neg p)$.................................υπόθεσις...

6 Απαντήσεις

1344 Προβολές

Τελευταία δημοσίευση από labrosb
Σάβ Ιουν 04, 2016 10:36 pm

Νέο Θέμα

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

1
2
3
4
5
6
Επόμενη

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

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

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

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

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