Questões de Concurso Público Petrobras 2012 para Analista de Sistemas Júnior - Infra-Estrutura-2012

Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem.
Qual a regra clássica de inferência designada pela expressão

Na lógica sentencial clássica, dada uma linguagem L que contém as proposições p, q e r, quantas linhas deve ter a tabela verdade da proposição

A disjunção exclusiva, denotada por , é uma operação lógica que assume valor verdadeiro quando, e somente quando, apenas uma das proposições envolvidas assumir valor lógico verdadeiro.

Considere as proposições:

p: A equipe x participa do campeonato.
q: A equipe y fica na 2^a colocação do campeonato.

Por qual proposição a negação de p q pode ser expressa?