Συζήτηση:Προτασιακός λογισμός
Tο τελευταιο κομματι με τιτλο ληθιακη γραφη ειναι ηδη γραμμενο με τιτλο γραφικος λογισμος απο τον χρηστη prosexosm οποτε αν ειναι δυνατον να σβηστει κ να γραφτει καποιο αλλο στην θεση του. Δεν εχουν μεταφραστει ακομα το example 1, example 2 ,Soundness and completeness of the rules,Interpretation of a truth-functional propositional calculus,Alternative calculus,Equivalence to equational logics.
Σχόλιο 16-9-2018[επεξεργασία κώδικα]
Κατάσταση: | νέα κοινοποίηση |
---|---|
Στον Πίνακα "Βασικές και Παράγωγες Μορφές Επιχειρήματος", στη σειρά "Modus Tollens", στη στήλη "Ακολουθία", ο τύπος καταλήγει στο συμπέρασμα "-q", ενώ στην στήλη "Περιγραφή" αναφέρεται: "...Ώς εκ τούτού όχι p". Έχω την εντύπωση πως τα 2 σύμβολα θα έπρεπε να συμπίπτουν, είτε και τα δύο p, ή και τα δύο q. Αναφορά: Μαρμαρέλης Σοφοκλής 94.69.153.15 18:02, 16 Σεπτεμβρίου 2018 (UTC)