Raciocínio Lógico — do domicílio

Uma proposição é uma sentença que pode ser julgadaverdadeira (V) ou falsa (F). As proposições são normalmenterepresentadas pelas letras maiúsculas A, B, C etc. A partir deproposições dadas, podem-se construir novas proposiçõescompostas, mediante o emprego de símbolos lógicos chamadosconectivos: e, indicado pelo símbolo lógico , e ou, indicado pelo símbolo lógico . Usa-se o modificador não, representado pelo símbolo lógico ¬, para produzir a negação de umaproposição; pode-se, também, construir novas proposiçõesmediante o uso do condicional se A então B, representadopor AB.O julgamento de uma proposição lógica compostadepende do julgamento que se faz de suas proposiçõescomponentes. Considerando os possíveis julgamentos V ou Fdasproposições A e B, tem-se a seguinte tabela-verdade paraalgumas proposições compostas.Considerando-se a proposição A, formada a partir dasproposições B, C etc. mediante o emprego de conectivos ( ou), ou de modificador (¬) ou de condicional (), diz-se que A é uma tautologia quando A tem valor lógico V, dependentementedos valores lógicos de B, C etc. e diz-se que A é uma contradiçãoquando A tem valor lógico F, independentemente dos valoreslógicos de B, C etc. Uma proposição A é equivalente a umaproposição B quando A e B têm as tabelas-verdade iguais, isto é,A e B têm sempre o mesmo valor lógico.

A proposição (AB) (¬A B) é uma tautologia.