Uma expressão da forma 
é uma proposição que tem exatamente as mesmas valorações V ou F da proposição A→B.
A partir desses conceitos, julgue os próximos itens.
A proposição simbólica 
possui, no máximo, 4 avaliações V.
Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.
Uma proposição da forma 
tem exatamente 8 possíveis valorações V ou F.
Com base no texto, assinale a opção que simboliza uma tautologia, isto é, uma proposição que é sempre verdadeira.
Considerando as informações apresentadas acima, julgue os itens subseqüentes.
Se x pertence ao conjunto {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, então a proposição "existe x, (x + 6) < 4" é V.
De acordo com essas informações e considerando o texto, julgue os itens que se seguem acerca de raciocínio lógico.
Considere a seguinte seqüência de proposições:
I Ou Josélia é ótima estagiária ou Josélia tem salário baixo.
II Josélia é ótima estagiária.
III Josélia tem salário baixo.
Nessa situação, essa seqüência constitui um raciocínio lógico correto.
Um raciocínio lógico é considerado correto quando é constituído por uma seqüência de proposições verdadeiras. Algumas dessas proposições são consideradas verdadeiras por hipótese e as outras são verdadeiras por conseqüência de as hipóteses serem verdadeiras. De acordo com essas informações e fazendo uma simbolização de acordo com as definições incluídas no texto II, julgue os itens subseqüentes, a respeito de raciocínio lógico.
Se a proposição "A cidade de Vitória não fica em uma ilha e no estado do Espírito Santo são produzidas orquídeas" for considerada verdadeira por hipótese, então a proposição "A cidade de Vitória não fica em uma ilha" tem de ser considerada verdadeira, isto ...
Com base nessas informações, julgue os itens subseqüentes.
O argumento Se Vênus é uma deusa, então Vênus não é mortal, mas (e) Vênus é mortal, então Vênus não é uma deusa é válido, de acordo com o exposto no texto.
Com base nessas informações, julgue os itens subseqüentes.
Não é válido, de acordo com o apresentado no texto, o seguinte argumento: Se esse programa de computador está correto, então ele produz a resposta certa quando executado com os dados que eu preciso, mas (e) ele produz a resposta certa quando executado com os dados que eu preciso; portanto, esse programa de computador está correto.
A proposição P: "Ser honesto é condição necessária para um cidadão ser admitido no serviço público" é corretamente simbolizada na forma A → B, em que A representa "ser honesto" e B representa "para um cidadão ser admitido no serviço público".
