Συζήτηση:Προτασιακός λογισμός

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)