forum.math.uoa.gr

Forum του Τμήματος Μαθηματικών
Ημερομηνία 23 Σεπ 2017, 23:44

Όλοι οι χρόνοι είναι UTC + 2 ώρες [ DST ]




Δημιουργία νέου θέματος Απάντηση στο θέμα  [ 3 δημοσιεύσεις ] 
Συγγραφέας Μήνυμα
 Θέμα δημοσίευσης: ΑΠΟΡΙΑ ΣΤΑ ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ
ΔημοσίευσηΔημοσιεύτηκε: 12 Μαρ 2017, 15:40 
Χωρίς σύνδεση

Εγγραφη: 12 Μαρ 2017, 15:07
Δημοσ.: 5
γεια σας! διαβαζω σημασιολογικη προσεγγιση της προτασιακης λογικης και δν καταλαβαναινω κατι στις παρατηρησεις ταυτολογικων συνεπαγωγων..:" Εστω Τ υποσυνολο του Το και φ προτασιακος τυπος.αν το Τ δεν ειναι ικανοποιησιμο τοτε για καθε τυπο φ ισχυει οτι το Τ συνεπαγιεται ταυτολογικα το φ δηλαδη καθε αποτιμηση που ικανοποιει το Τ ικανοποιει και τον φ...απλα,εφοσον το Τ δεν ειναι ικανοποιησιμο δεν ισχυει πως δεν υπαρχει αποτιμηση που να τον ικανοποιει?


Κορυφή
 Προφίλ  
 
 Θέμα δημοσίευσης: Re: ΑΠΟΡΙΑ ΣΤΑ ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ
ΔημοσίευσηΔημοσιεύτηκε: 12 Μαρ 2017, 19:54 
Χωρίς σύνδεση
Regular Forumer

Εγγραφη: 29 Οκτ 2010, 01:19
Δημοσ.: 158
Έστω T σύνολο τύπων το οποίο δεν είναι ικανοποιήσιμο.Τότε, για κάθε τύπο \phi ισχύει: T \models \phi.

Η παραπάνω πρόταση αληθεύει εν κενώ.Δηλαδή, αφού καμία απονομή δεν ικανοποιεί το σύνολο T, μπορούμε να πούμε οτι κάθε απονομή που το ικανοποιεί, θα ικανοποιεί και τον τύπο \phi.
Για παράδειγμα, αν έχουμε ένα άδειο κουτί, μπορούμε να ισχυριστούμε το εξής: "ό,τι υπάρχει μέσα στο κουτί είναι πολύτιμο".Για να αντικρούσει κάποιος τον ισχυρισμό μας θα πρέπει να βρεί ένα αντικείμενο μέσα στο κουτί το οποίο να μην είναι πολύτιμο, πράγμα αδύνατον αφού το κουτί είναι κενό.Άρα ο ισχυρισμός είναι αληθής.

Ένας άλλος τρόπος να το σκεφτείς είναι ο εξής:
η πρόταση "αν μια απονομή αληθοτιμών ικανοποιεί το T τότε ικανοποιεί τον \phi", είναι μια συνεπαγωγή με ψευδή υπόθεση επομένως είναι πάντα αληθής ανεξάρτητα με το αν η απονομή ικανοποιεί τον \phi η όχι.


Κορυφή
 Προφίλ  
 
 Θέμα δημοσίευσης: Re: ΑΠΟΡΙΑ ΣΤΑ ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ
ΔημοσίευσηΔημοσιεύτηκε: 13 Μαρ 2017, 23:21 
Χωρίς σύνδεση

Εγγραφη: 12 Μαρ 2017, 15:07
Δημοσ.: 5
ευχαριστω πολυ!!!!!! :D :D


Κορυφή
 Προφίλ  
 
Τελευταίες δημοσιεύσεις:  Ταξινόμηση κατά  
Δημιουργία νέου θέματος Απάντηση στο θέμα  [ 3 δημοσιεύσεις ] 

Όλοι οι χρόνοι είναι UTC + 2 ώρες [ DST ]


Μελη σε συνδεση

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


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

Αναζήτηση για:
Μετάβαση σε:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group