Validesa lògica: diferència entre les revisions
Contingut suprimit Contingut afegit
m r2.7.2) (Robot modifica: fr:Validité (logique) |
m Robot: Reemplaçament automàtic de text (- + ) |
||
Línia 64:
'' (A/\B/\C ... ... ../\N) → Z ''
que rep el nom de esquema de [[inferència]] '', on es dóna el cas que el valor de veritat lògica del antecedent V, com a producte (conjunció) de totes les premisses, implica que la conclusió també té valor de veritat lògica V.
Línia 145:
=== Per la prova de validesa ===
Sigui l'argument: p → (q/\r); p; p → (s/\t)|- (q/\s)
| |||