Em Lógica, o conectivo ∨ representa a disjunção exclusiva, de maneira que a operação lógica p ∨ q é verdadeira quando apenas uma das proposições p ou q for verdadeira.
Dadas as proposições simples p e q, é tautológica a proposição composta
No livro Lógica e Conjuntos, o autor Francisco Cunha defende o uso de parênteses na simbolização das proposições para evitar ambiguidades, mas concorda que a notação pode ser simplificada (supressão de parênteses) desde que não venham a ocorrer ambiguidades. Para essa simplificação é definida uma ordem de precedência das operações lógicas, de maneira a permitir identificar o conectivo principal de uma proposição, de modo a poder nomeá-la.
De acordo com a ordem estabelecida no livro, dadas as proposições simples, p, q, r e s, a proposição
∼∼p ∨ q → r ∧ (s ↔ ∼q ∨ ∼p)
é uma
A negação da proposição: Roberto é aluno e Rildo é professor. É:
Em qual das alternativas abaixo não encontramos uma proposição lógica?
Ao escolher os alunos para participarem de uma Olimpíada de Lógica, o professor determinou que um aluno só participaria se ocorresse a disjunção das proposições abaixo.
P: O aluno deve saber resolver problemas de lógica
Q: O aluno deve ter boas notas em matemática.
Assim, quem poderá participar das Olimpíadas de Lógica?