///
Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R e S. A partir de proposições conhecidas, novas proposições podem ser construídas usando-se símbolos especiais. Alguns desses símbolos são apresentados na tabela abaixo.
| símbolo | nome | notação | leitura | valor |
|---|---|---|---|---|
| ~ | negação | ~P | não P | contrário ao de P: V, se P for F; ou F, se P for V |
| ∧ | conjunção | P∧Q | P e Q | V, se P e Q forem V; caso contrário, será F |
| ∨ | disjunção | P∨Q | P ou Q | F, se P e Q forem F; caso contrário, será V |
| → | condicional | P→Q | se P, então Q | F, se P for V e Q for F; caso contrário, será V |
| ↔ | bicondicional | P↔Q | P se, e somente se, Q | V, se P e Q tiverem os mesmos valores; caso contrário, será F |
Considerando as definições acima e a proposição {(P∨Q)→[R∨(~S)]}∨[(P∨S)↔(Q∨R)], julgue os itens a seguir.
A negação da referida proposição é a proposição {[(P∨Q)∨[(~R)∧S]}∨{[(~P)∧(~S)]↔(~Q)∧(~R)]}.