Parte positiva e negativa di una formula-implicazione

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.

Parte positiva e negativa di una formula-implicazione #56114

avt
carrido
Punto
Qualcuno sa cosa si intende per parte positiva e negativa di una implicazione del tipo

X_1\wedge X_2\wedge ...\wedge  X_n\Rightarrow  Y_1   \vee Y_2 \vee ... \vee Y_m

vale a dire un'implicazione tra una serie di congiunzioni nell'antecedente e di disgiunzioni nel conseguente?

Grazie
 
 

Parte positiva e negativa di una formula-implicazione #56140

avt
Omega
Amministratore
Ciao Carrido, personalmente non l'ho mai sentita e una rapida ricerca su Google mi suggerisce che non si tratta di una locuzione "canonica".

Perché non chiederlo direttamente all'autrice dell'unico paper reperibile online in cui ne viene fatta menzione? E dal quale peraltro sorge la tua domanda... O no?

Proof Analysis in Modal Logic

L'email dell'autrice è in bella vista nell'intestazione.
Ringraziano: Ifrit
  • Pagina:
  • 1
Os