Αποτελέσματα αναζήτησης

αν μπορει καποιος να βοηθησει και να λυσει αυτα τα θεματα ΛΟΓΙΚΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ Ιούλιος 2013 ΘΕΜΑ 1 Δείξτε ότι η πρόταση [α]( ¬ p ¬ q) → ¬ [α]p∨ [α] ¬ q είναι θεώρημα του πολυτροπικού συστήματος Κ . ΘΕΜΑ 2 Εξηγείστε με ποία έννοια η ικανοποιησιμότα μιας πρότασης της PLD της μορφής φ→≺...