Raciocinio Lógico e Matematica para concursos - CESPE.UNB - Fabricio Mariano - 2013

Tabuada lógica da bicondicional:
P Q P Q
V V V
V F F
F V F
F F V
1.5.5. “Ou... ou” (disjunção exclusiva); símbolo =
Ou Brasília é a capital do Brasil ou Brasília é a capital da Argentina.
Cálculo sentencial: será falso quando as duas declarações forem equivalentes,
caso contrário, será verdadeira. A partir da definição, percebemos que a
disjunção exclusiva acima apresenta valor lógico verdadeiro (ou V ou F = V).
Representação simbólica: P Q.
Tabuada lógica da disjunção exclusiva:
P Q P Q
V V F
V F V
F V V
F F F
1.6. Negação; símbolo (~; ¬) = “Modificação do valor lógico”
Exemplo
A: A galinha põe ovo (V).
¬ A: A galinha não põe ovo (F).
Nota 1: Aplicaremos, nesse momento, apenas a ideia de modificação de valor
lógico, entretanto, mais à frente, faremos uma abordagem mais minuciosa
do assunto.
1.7. Tabuada lógica (tabela-verdade)
Definição: Dá o valor lógico da união das proposições através do cálculo
sentencial. Para facilitar nosso estudo, faremos a junção de todas as tabuadas
lógicas.
1 o 2 o P Q P Q P Q P Q P Q
V V V V V V F