παρενθεσεις

Nikos002
Δημοσιεύσεις: 118
Εγγραφή: Κυρ Απρ 15, 2018 5:21 pm

παρενθεσεις

#1

Μη αναγνωσμένη δημοσίευση από Nikos002 » Τετ Οκτ 21, 2020 12:40 pm

Αν έχουμε την συγκεκριμένη λογικη προταση p\rightarrow q\rightarrow r\rightarrow s
έχει σημασία για το αποτέλεσμα απο που θα ξεκινήσουν να μπαίνουν οι παρενθέσεις δηλαδή:
απο αριστερα προς τα δεξια: (((p\rightarrow q)\rightarrow r)\rightarrow s)
απο δεξια προς τα αριστερα :(p\rightarrow (q\rightarrow (r\rightarrow s)))
ή ειναι λογικα ισοδυναμα
Σας ευχαριστω εκ των προτερων



Λέξεις Κλειδιά:
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8989
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

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

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Οκτ 30, 2020 3:26 pm

Όχι δεν είναι τα ίδια. Πρέπει να μπορεί να αποφανθείς μόνο σου γιατί. Στην χειρότερη των περιπτώσεων κάνεις δυο πίνακες αλήθειας (με 16 σειρές ο ένας) και τους συγκρίνεις.

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


Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες