Uma proposição é uma sentença que pode ser julgada verdadeira (V) ou falsa (F). As proposições são normalmente representadas pelas letras maiúsculas A, B, C etc. A partir de proposições dadas, podem-se construir novas proposições compostas, mediante o emprego de símbolos lógicos chamados conectivos: "e", indicado pelo símbolo lógico v, e "ou", indicado pelo símbolo lógico w. Usa-se o modificador "não", representado pelo símbolo lógico ¬, para produzir a negação de uma proposição; podese, também, construir novas proposições mediante o uso do condicional "se A então B", representado por A6B. O julgamento de uma proposição lógica composta depende do julgamento que se faz de suas proposições componentes....
B é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B".
; "ou", simbolizado por V; "se ... então", simbolizado por →; e "se e somente se", simbolizado por
. Também é usado o modificador "não", simbolizado por ¬...
é uma tautologia.



