Validesa lògica: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - les les formes vàlides + les formes vàlides |
|||
Línia 125:
a) En fer la taula veuríem les condicions de veritat de cadascuna de les premisses i la seva possible o impossible conjunció, és a dir, el seu [[consistència lògica|consistència]].
b) Al mateix temps podem comprovar si es dóna el cas que, sent l'antecedent veritable, totes i cadascuna de les premisses veritables, el conseqüent
L'inconvenient és que amb 5 variables hauríem de fer una taula bastant llarga i confusa. La taula tindria <math> 2^5 = 32 </math> línies.
| |||