Προτασιακός λογισμός: Διαφορά μεταξύ των αναθεωρήσεων

μ
Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap)
(→‎Βασικές και Παράγωγες μορφές Επιχειρήματος: Αλλαγές ώστε να είναι πιο κατανοητό το κείμενο. Επίσης διαγραφή συμβόλων τα οποία δεν είχαν νόημα και διόρθωση συμβόλων από αυτόματη μετάφραση.)
μ (Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap))
. μπορύμε να ορίσουμε ένα σύστημα διεξαγωγής {{math|Γ}} το οποίο είναι το σύνολο όλων των προτάσεων που απορρέουν από το {{Mvar | A}}.
 
Επανάληψη πάντα υποτίθεται, έτσι <math>P \orlor Q, \neg Q \andland R, (P \orlor Q) \to R \in \Gamma</math>. Επίσης, από το πρώτο στοιχείο του {{mvar|A}}, το τελευταίο στοιχείο, καθώς και το modus ponens, το {{mvar|R}} είναι μια συνέπεια, και έτσι το<math>R \in \Gamma</math>. Επειδή δεν έχουμε διατυπώσει αρκετά και πλήρη αξιώματα,δεν μπορεί δεν μπορεί να συναχθεί κάτι αλλο. Έτσι, παρόλο που τα περισσότερα συστήματα απαγωγής που συναντάμε στην προτασιακή λογική συναγάγουν συνήθως (<math>(P \orlor Q) \leftrightarrow (\neg P \to Q)</math>,, το συγκεκριμένο είναι πάρα πολύ αδύναμο για να αποδείξει μια τέτοια πρόταση.
 
== Γενική περιγραφή του Προτασιακού Λογισμού ==
62

επεξεργασίες