Operações Lógicas Matemática 10o

O que é uma Proposição?

,! Expressão suscetível de ser V erdadeira ou F alsa. V erdadeira ou F alsa designam-se de
valores lógicos.

• O Princípio da não contradição diz que uma proposição não pode ser simultaneamente
verdadeira e falsa.

Equivalência de Proposições
Dadas duas proposições p e q, estas dizem-se equivalentes (p () q) se e só se tiverem o
mesmo valor lógico.

Negação
Dada uma proposição p, a proposição ⇠ p é designada por negação de p. Se p for V erdadeira
então ⇠ p é F alsa e se p for F alsa então ⇠ p é V erdadeira.

• Lei da Dupla Negação: Dada uma proposição p, ⇠ (⇠ p) = p.

Conjunção
Dadas duas proposições p e q,diz-se conjunção de p e q e representa-se por p ^ q. Esta
conjunção é verdadeira se e só se ambas forem verdadeiras.

Disjunção
Dadas duas proposições p e q,diz-se disjunção de p ou q e representa-se por p _ q. Esta
disjunção é falsa se e só se ambas forem falsas.

Propriedades da Conjunção e da Disjunção

Dada uma proposição p, V uma proposição verdadeira e F uma proposição falsa têm-se as
duas tabelas de verdade:

p V p_V p^V
V V V V
F V V F

p F p_F p^F
V F V F
F F F F

A Raquel Explica-te 1
Operações Lógicas Matemática 10o

Dadas as proposições p, q e r, tem-se:

• Propriedade Comutativa

– p _ q () q _ p
– p ^ q () q ^ p

• Propriedade Associativa

– p _ (q _ r) () (q _ p) _ r
– p ^ (q ^ r) () (q ^ p) ^ r

• Propriedade Distributiva

– p _ (q ^ r) () (q _ p) ^ (q _ r)
– p ^ (q _ r) () (q ^ p) _ (q ^ r)

P rimeiras Leis de M organ :

1. ⇠ (p _ q) ()⇠ p ^ ⇠ q

2. ⇠ (p ^ q) ()⇠ p _ ⇠ q

Implicação
Dadas duas proposições p e q,diz-se implicação de p e q e representa-se por p =) q. Esta
implicação é falsa se e só se p for verdadeira e q for falsa.

Propriedades da Implicação
Dadas as proposições p, q e r, tem-se:

• Propriedade Transitiva da Implicação - Se p =) q e q =) r então p =) r

• Negação da Implicação - ⇠ (p =) q) () p^ ⇠ q

• Pricípio da Dupla Implicação - A proposição (p () q) é verdadeira se e só se (p =) q)

e (q =) p) foram ambas verdadeiras

• Implicação Contra-recíproca da Implicação - A proposição p =) q é equivalente à

proposição ⇠ q =)⇠ p

A Raquel Explica-te 2