OKPEDIA LOGICA PROPOSIZIONALE

Validità logica

La validità logica è la connessione tra le premesse e le conclusioni. Nella logica proposizionale una formula è valida quando è vera in tutti i modelli. Le formule valide sono anche dette tautologie in quanto sono necessariamente sempre vere. Ad esempio, la formula A∨(¬A) è sempre vera in tutti i modelli ed è, pertanto, una formula valida e l'argomento è detto "logicamente valido".

VALIDITA LOGICA

Le tautologie, come la formula A∨(¬A), sono sempre logicamente valide. Viceversa, la formula A ∨ B è vera soltanto in tre casi su quattro. In questo caso la formula non è valida. Essendo valida soltanto in alcuni modelli ( casi ) ma non in tutti, la formula è detta soddisfacibile.

https://www.okpedia.it/temp/validita_logica


Segnala un errore o invia un suggerimento per migliorare la pagina


Logica proposizionale


FacebookTwitterLinkedinLinkedin