Είναι σωστά τα σύμβολα που χρησιμοποιούνται στην παρακάτω λογική > διατύπωση?

[kx54]

Είναι σωστά τα σύμβολα που χρησιμοποιούνται στην παρακάτω λογική
> διατύπωση?

Είναι σωστά τα σύμβολα που χρησιμοποιούνται στην παρακάτω λογική
> διατύπωση?
> " Αν τώρα έχουμε τη συνεπαγωγή (p→q) και η τιμή αλήθειας της «p» είναι ίση
> ή κατώτερη από την «q», δηλαδή (p<q), τότε: (p→q=1). Αν αντίθετα η «p»
> είναι ανώτερη από την «q», δηλαδή (p>q), τότε έχουμε: (p⊃q) = 1 - val p +
> val q. Δηλαδή για παράδειγμα: αν έχουμε p=1 (αλήθεια) και q=0 (ψεύδος) θα
> έχουμε σύμφωνα με τον παραπάνω τύπο: p⊃q=1-1+0=0."