Validesa lògica: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: més de 1,80 > més d'1,80 |
m Corregit: lògica del antecedent V > lògica de l'antecedent V |
||
Línia 64:
(A/\B/\C ... ... ../\N) → Z
que rep el nom d'esquema de [[inferència]], on es dóna el cas que el valor de veritat lògica
Per si les premisses són vertaderes en sentit epistemològic, llavors la conclusió també ho és, en sentit epistemològic. El que permet considerar Z com a veritat pròpia, independent i deslligada, és a dir una [[conclusió]] obtinguda a partir de les veritats afirmades en les premisses com veritables.<ref>Aplicant la regla de separació. Vegeu [[Càlcul lògic]]</ref>
|