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

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 AB, 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 Q, em que as proposições são
denominadas premissas e a proposição Q é a conclusão. Uma
argumentação é denominada válida se, sempre que as premissas forem V, a conclusão Q for V como consequência das premissas.