9. O conectivo ou e a disjunção
O conectivo ou e a disjunção de duas proposições p e q é outra proposição que tem como valor lógico V se alguma das proposições for verdadeira e F se as duas forem falsas. O símbolo p ∨ q (p ou q) representa a disjunção, com a seguinte tabela-verdade:
Exemplo:
p = 2 é par
q = o céu é rosa
p ν q = 2 é par ou o céu é rosa
p = 9 < 6
q = 3 é par
p ν q: = 9 < 6 ou 3 é par
p = O número 17 é primo
q = Brasília é a capital do Brasil
p ν q = O número 17 é primo ou Brasília é a capital do Brasil
p = O número 9 é par
q = O dobro de 50 é 100
p ν q: O número 9 é par ou o dobro de 50 é 100
