A negação da proposição A, simbolizada por ¬A, será F se A ...

Texto para a questão.

      Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F), mas não como V e F simultaneamente. Uma proposição simbolizada por A→B, em que A e B são proposições quaisquer, é lida “se A, então B”, e será F quando A for V e B for F. Nos demais casos, será sempre V. Uma argumentação é uma proposição que tem a forma P₁∧P₂∧ ... ∧P_n→Q, em que as proposições P_i, 1 < i < n, são denominadas premissas e a proposição Q é a conclusão. Uma argumentação é denominada válida se, sempre que as premissas P_i, 1 <i< n, forem V, a conclusão Q for V como consequência das premissas.