falacia de afirmar lo consecuente Un argumento deductivo de la forma “Si P entonces Q; Q; entonces, P.” negación La negación de la declaración P es una declaración de la forma “no-P” que es verdadera ...falacia de afirmar lo consecuente Un argumento deductivo de la forma “Si P entonces Q; Q; entonces, P.” negación La negación de la declaración P es una declaración de la forma “no-P” que es verdadera cuando P es falsa y que es falsa cuando P es verdadera. Lógica Sentencial La rama de la lógica que se centra en cómo se componen las formas lógicas de oraciones y argumentos complejos a partir de las formas lógicas de sus suboraciones o cláusulas.