Proposições associadas a um condicional

Dada a condicional p  q podemos definir três proposições associadas a ela:

a) Proposição recíproca de p  q: q  p
b) Proposição contrária de p  q: ~p  ~q
c) Proposição contrapositiva de p  q: ~q  ~p
Exemplos:
p  q: Se Carlos é professor então é pobre.
Recíproca:
Contrária:
Contrapositiva:

Aula4 Página 1
 Propriedades da conjunção:
a)idempotente: p  p  p

b) comutativa: p  q  q  p

c) associativa: ( p  q)  r  p  (q  r )

d) identidade: p  t  p e p  c  c

Propriedades da disjunção:
a) idempotente: p  p  p

b) comutativa: p  q  q  p

c) associativa: ( p  q)  r  p  (q  r )

d) identidade: p  t  t e p  c  p

Propriedades da disjunção e conjunção:

Distributiva:
Aula4 Página 2
 a) p  (q  r )  ( p  q)  ( p  r )

b) p  (q  r )  ( p  q)  ( p  r )

Regras de Morgan:
a) ~ ( p  q) ~ p ~ q

b) ~ ( p  q) ~ p ~ q

Exemplos:
1)Carlos estuda e Jorge ouve música ou lê.
Equivalente:
Carlos estuda e Jorge ouve música ou Carlos estuda e Jorge lê.
2) Chove ou faz vento e frio
Equivalente:
Chove ou faz vento e chove ou faz frio

Aula4 Página 3
 3) Paulo é inteligente e estuda.
Equivalente:
Paulo não é inteligente ou não estuda.
4) João é médico ou professor
Equivalente:
João não é médico e não é professor

Aula4 Página 4