16/09/2016

Curso de Raciocínio Lógico Formal

Flash Cards
“Extras”

∧ ⟶ ⟺ ⟶ ⟶
ou
∧ ⟶ ⟺ ⟶ ⟶

Exemplo:
“Se vou ao cinema e compro pipoca, então eu assisto ao filme.” é equivalente a:

“Se vou ao cinema, então, se compro pipoca, eu assisto ao filme.”

ou
“Se compro pipoca, então, se vou ao cinema, eu assisto ao filme.”

1
 16/09/2016

∧ ⟶ ⟺ ⟶ ⟶

Justificativa (Cálculo Proposicional):

Partindo-se da equivalência notável:
⟶ ⟺~ ∨
∧ ⟶ ⟺~ ∧ ∨
De Morgan

∧ ⟶ ⟺ ~ ∨~ ∨
∧ ⟶ ⟺~ ∨ ⟶
∧ ⟶ ⟺ ⟶ ⟶

∧~ ⟶ ⟺ ⟶
Propriedade da Absorção

Exemplo:
“Se Cláudia é alta e não é loira, então Cláudia é loira.”

é equivalente a:

“Se Cláudia é alta, então ela é loira.”

2
 16/09/2016

∧~ ⟶ ⟺ ⟶

Justificativa (Cálculo Proposicional):

Partindo-se da equivalência notável:
⟶ ⟺~ ∨
∧~ ⟶ ⟺~ ∧~ ∨
De Morgan

∧~ ⟶ ⟺~ ∨ ∨
∧~ ⟶ ⟺~ ∨
∧~ ⟶ ⟺ ⟶

Aprenda RLF com Flash Cards: http://bit.ly/RLF-FC

3
 16/09/2016

Cursos Presenciais

Cursos Online

Editora – Material Didático

TVII – Vídeo-Aulas