Question

Comprobación de un argumento.
 Tablas de verdad y Lógica simbólica.

Answer 1

Un argumento, en lógica, son las proposiciones, denominadas “premisas”  seguidas de una proposición llamada “conclusión”.
Un  argumento es válido si la conjunción de sus premisas implica (⇒) a su conclusión.
Tenemos que tener en cuenta que  la validez de un argumento no avala la verdad de sus premisas, entonces  no asegura  la verdad de su conclusión.
El argumento es válido si la proposición (tautológicamente) las  premisas son verdaderas, por ende  la conclusión debe ser verdadera.
La lógica está sujetada en las tablas de verdad, en ellas se nos manifiesta todo lo que implican las relaciones sintácticas entre las diversas proposiciones.    
  Se construye un cálculo mediante cadenas deductivas, las proposiciones que forman el antecedente del esquema de inferencia, son las  premisas de un argumento.
Se establecen como reglas de cálculo algunas tautologías como tales leyes lógicas. Se aplican dichas leyes para establecer la relación de las premisas.  

Espero que te sirva, salu2!!!!