El método abreviado

El método abreviado por lo general se usa con la condicional

material (simbólicamente hablando) operacionalmente y evita
elaborar todo ese rollo de la tabla de verdad, consiste en suponer
todas las premisas falsas y el consecuente verdadero donde resulta
como única posibilidad para la condición de ser falsa.
Para lograrlo, el esquema debe tener una forma generalizada, para
ello, debemos tener una serie de premisas de la
forma V(pi)=VV(pi)=V donde ii representa el número de premisas
y el consecuente falso V(q)=FV(q)=F, nuestro esquema sería:
(p1 V∧p2 V∧p3 V∧⋯∧pn V)→q F(p1⏟V
∧p2⏟V∧p3⏟V∧⋯∧pn⏟V)→q⏟F
Si la condicional es falsa tal como se muestra en el esquema,
entonces decimos que es una inferencia inválida y lo escribimos así:
p1∧p2∧p3∧⋯∧pn⇏qp1∧p2∧p3∧⋯∧pn⇏q
Si la condicional es verdadera, entonces la implicación es valida y
lo escribiremos así:
p1∧p2∧p3∧⋯∧pn⇒qp1∧p2∧p3∧⋯∧pn⇒q
Otro punto que debemos de considerar intuitivamente es que si se
trata de una implicación, tendremos que suponer que la
condicional material debe tener una relación semántica entre
premisas y la conclusión, esto solo es posible si usamos el símbolo
de la implicación ⇒⇒, pero si se pasa por alto la implicación, no lo
podemos llamar inferencia lógica.
Por ejemplo, con la condicional se puede diseñar proposiciones de
este tipo:
0<33→42≠50<33→42≠5
Tanto la proposición 0<320<32 como 42=542=5 son verdaderas, sin
embargo, 42≠542≠5 no se puede inferir de 0<320<32, porque no
hay relación directo o falta datos para determinar que la
proposición condicional sea verdadera, literalmente lo es, pero la
implicación requiere que la conclusión sea inferida de las premisas.
Por tanto, la inferencia es propio de la implicación y no de la
condicional material. Si el método abreviado hacemos uso de la
inferencia, estaremos obligados a usar la implicación, en caso
contrario, puedes usarlo como una condicional material. Ojo, solo
cuando usamos la palabra inferencia, que no se les olvide.
Dicho todo esto, usaremos dos ejemplos para usar correctamente el
método abreviado.
Ejemplo 1

Averiguar si la siguiente inferencia es correcta.

p→qr→q∴p→rp→qr→q∴p→r
Solución:
El esquema anterior es lo mismo que escribirlo así:
(p→q)∧(r→q)⇒p→r(p→q)∧(r→q)⇒p→r
Para averiguar si es correcta o no, haremos uso del método
abreviado, aquí es donde usamos la condicional en vez de la
implicación solo por cuestiones operacionales, nuestro esquema
sería:
[(p→q V)∧(r→q V)]→(p→r F)[(p→q⏟V)
∧(r→q⏟V)]→(p→r⏟F)
Esta condicional se supone que es falsa, pero vamos a averiguarlo
si lo es, según el esquema, debe cumplirse que:
V(p→q)=V⋯(I)V(p→q)=V⋯(I)
V(r→q)=V⋯(II)V(r→q)=V⋯(II)
V(p→r)=F⋯(III)V(p→r)=F⋯(III)
La expresión (III)(III) es más fácil de resolver, deducimos
que V(p)=VV(p)=V y V(r)=FV(r)=F, si reemplazamos el valor de
verdad de pp en (I)(I), encontramos que V(q)=VV(q)=V y si el
valor de verdad de rr y qq lo reemplazamos en (II)(II),
entonces (II)(II) sigue siendo verdadera.
Esto indica que la condicional material es falsa porque no
encontramos contradicciones con(I)(I), (II)(II) y (III), por tanto, no
se puede inferir p→rp→r de p→qp→q y r→qr→q, lo escribimos
simplemente así:
(p→q)∧(r→q)⇏p→r