Απόδειξη στον Προτασιακό Λογισμό

[Χαρίκλειαα]

Καλησπέρα!
Προέρχομαι από τμήμα που ουδεμία σχέση έχει με τα μαθηματικά ωστόσο ένας καθηγητής μας ανέθεσε την εξής εργασία:

Δίνεται το σύνολο των προτάσεων:
S = { p→¬ q, r→q, s → r, p }
Να αποδείξετε το ψεύδος της πρότασης s:
μέσω των κανόνων συμπερασμού
και μέσω της αρχής της απόφασης.


Σημειώσεις που αφορούν το συγκεκριμένο κεφάλαιο δεν έχουν μοιραστεί και στην διάλεξη δεν εξηγήθηκε η θεωρία παρά μόνο λύθηκε μια παρόμοια άσκηση.
Η προθεσμία λήγει απόψε, θα εκτιμηθεί η οποιαδήποτε βοήθεια.

[kkala]

Στο διαδίκτυο ο Δημήτρης Ψούνης επεξηγεί Προτασιακή Λογική, Προτασιακούς τύπους, Μεθοδολογία και διάφορα συναφή. δηλαδή στο <https://www.youtube.com/watch?v=hhSKg3UZRZY>. Το κεφάλαιο των προτασιακών τύπων φαίνεται αρκετά κοντά στην απορία, όπως διατυπώνεται. Σε μηχανή αναζήτησης μπορεί να μπεί για ψάξιμο το "Δημήτρης Ψούνης ΠΛΗ20" για να βγάλει ίδια αποτελέσματα.
Δυστυχώς οι σχετικές γνώσεις μου στο θέμα αυτό είναι νεφελώδεις, πάντως η προηγούμενη αναφορά ίσως βοηθήσει.

[Mihalis_Lambrou]

... ωστόσο ένας καθηγητής μας ανέθεσε την εξής εργασία:

Λυπάμαι που δεν έχει μοιραστεί βιβλίο αλλά εμείς ΣΕ ΚΑΜΙΑ περίπτωση δεν θα παρακάμψουμε τους Δασκάλους σου. Δεν είναι στην λογική μας
να σου γράψουμε λύση εδώ την οποία θα παρουσιάσεις ως δική σου, ιδίως αν είναι βαθμολογούμενη εργασία. Δες για παράδειγμα το τελευταίο ποστ εδώ.