Uma sentença que possa ser julgada como verdadeira
- V - ou falsa - F - é denominada proposição. Para
facilitar o processo dedutivo, as proposições são
freqüentemente simbolizadas. Considere como proposições
básicas as proposições simbolizadas por letras maiúsculas
do alfabeto, tais como, A, B, P, Q, etc. Proposições
compostas são formadas usando-se símbolos lógicos. São
proposições compostas expressões da forma PQ que têm
valor lógico V somente quando P e Q são V, caso contrário
vale F, e são lidas como "P e Q"; expressões da forma PQ
têm valor lógico F somente quando P e Q são F, caso
contrário valem V, e são lidas como "P ou Q"; expressões
da forma PQ têm valor lógico F somente quando P é V e
Q é F, caso contrário valem V, e são lidas como "se P então
Q". Expressões da forma ¬P simbolizam a negação de P, e
são F quando P é V, e é V quando P é F.