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 P
Q 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.
(I) Todos advogados ingressam no tribunal por concurso público;
(II) José ingressou no tribunal por concurso público; e
(III) João não é advogado ou João não ingressou no tribunal por concurso público.
Nesse caso, também é verdadeira a proposição
