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

Άλλες συζητήσεις [κατάλογος]

Διαγραφή
Καλό;
Προβολή: +/-
Επιλεγμένο
Κριτική
Αρχείο

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[επεξεργασία κώδικα]

Κατάσταση:

νέα κοινοποίηση

παράμετροι
νέο	νέα			νέα κοινοποίηση
συζήτηση	?			συνεχιζόμενη συζήτηση
εξέλιξη				υπό εξέλιξη
έγινε	εντάξει	ok	+	έγινε
αποσύρθηκε	ανακλήθηκε			ανακληθείσα αίτηση
ημιτελής				κοινοποίηση ημιτελής
παλιό	παλιά			παλιά αναφορά
σφάλμα	λάθος			εσφαλμένη αναφορά
απορρίφθηκε	απορρίπτεται			αναφορά που απορρίφθηκε
εγκαταλειμμένη				εφαρμογή ή διόρθωση ξεκίνησε αλλά δεν ολοκληρώθηκε

Στον Πίνακα "Βασικές και Παράγωγες Μορφές Επιχειρήματος", στη σειρά "Modus Tollens", στη στήλη "Ακολουθία", ο τύπος καταλήγει στο συμπέρασμα "-q", ενώ στην στήλη "Περιγραφή" αναφέρεται: "...Ώς εκ τούτού όχι p". Έχω την εντύπωση πως τα 2 σύμβολα θα έπρεπε να συμπίπτουν, είτε και τα δύο p, ή και τα δύο q. Αναφορά: Μαρμαρέλης Σοφοκλής 94.69.153.15 18:02, 16 Σεπτεμβρίου 2018 (UTC)[απάντηση]