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 P
Q
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 P
Q 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.
Com base nas informações do texto I, é correto afirmar que, para todos os possíveis valores lógicos, V ou F, que podem ser atribuídos a P e a Q, uma proposição simbolizada por ¬[P- 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êmvalor 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 P
Qtê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 P
Q têm valor lógico F somente quando P é V eQ é 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.
(¬Q)] possui os mesmos valores lógicos que a proposição simbolizada por