Γεια σας. Μιας και στο 4)α).2 ζητείται να αποδειχτεί οτι αληθεύει η φ, υποθέτω παραλείφθηκε κάτι από τον τύπο. Για παράδειγμα, αν είχαμε ως σύμπαν το {α,β} με την P να αληθέυει στο (a,b) μονο τότε η υπόθεση ισχύει, αλλά όχι και το συμπέρασμα. Αφού θα πρεπε να ισχύει P(b,b)=true (προφανώς δεν υπάρχει path μεγεθους 2 στο γράφημα). Αρα μήπως θα πρεπε να μπει καποιο x διαφορο του y στο δεξι μέλος?
Ευχαριστώ