Σελίδα 1 από 1

παρενθεσεις

Δημοσιεύτηκε: Τετ Οκτ 21, 2020 12:40 pm
από Nikos002
Αν έχουμε την συγκεκριμένη λογικη προταση p\rightarrow q\rightarrow r\rightarrow s
έχει σημασία για το αποτέλεσμα απο που θα ξεκινήσουν να μπαίνουν οι παρενθέσεις δηλαδή:
απο αριστερα προς τα δεξια: (((p\rightarrow q)\rightarrow r)\rightarrow s)
απο δεξια προς τα αριστερα :(p\rightarrow (q\rightarrow (r\rightarrow s)))
ή ειναι λογικα ισοδυναμα
Σας ευχαριστω εκ των προτερων

Re: παρενθεσεις

Δημοσιεύτηκε: Παρ Οκτ 30, 2020 3:26 pm
από Demetres
Όχι δεν είναι τα ίδια. Πρέπει να μπορεί να αποφανθείς μόνο σου γιατί. Στην χειρότερη των περιπτώσεων κάνεις δυο πίνακες αλήθειας (με 16 σειρές ο ένας) και τους συγκρίνεις.

Υπάρχει και πιο σύντομος τρόπος: Επιλέγοντας κατάλληλα συγκεκριμένη τιμή αλήθειας για μόνο μία από τις προτάσεις p,q,r,s μπορείς να επιτύχεις να γνωρίζεις σίγουρα την τιμή αλήθειας για την μία από τις δύο σύνθετες προτάσεις. Για την άλλη επιλέγεις κατάλληλες τιμές αλήθειας για τις υπόλοιπες προτάσεις ώστε να έχει αντίθετη τιμή αλήθειας από την πρώτη.