Línguas dos países Matemática Ciência Ciências sociais Negócios Engenharia Humanidades História
  1. Matemática
  2. Educação matemática
  3. Lógica
* Lógica Proposicional
* Lógica Proposicional
(¬p ∨ ¬q) ∨ (p ∧ q) e) ¬(p ∧ q) ∧ ¬(¬p ∨ ¬q)
(¬p ∨ ¬q) ∨ (p ∧ q) e) ¬(p ∧ q) ∧ ¬(¬p ∨ ¬q)
(sem respostas) - Instituto Superior Técnico
(sem respostas) - Instituto Superior Técnico
(LPO) ou Cálculo Relacional - Departamento de Computação e
(LPO) ou Cálculo Relacional - Departamento de Computação e
(e): ~(p ∨ q) - professor adriano ribeiro
(e): ~(p ∨ q) - professor adriano ribeiro
(com respostas) - Instituto Superior Técnico
(com respostas) - Instituto Superior Técnico
(A→B) ↔ (B→A) (b) (A ∨ ¬A) → (B ∧ ¬B)
(A→B) ↔ (B→A) (b) (A ∨ ¬A) → (B ∧ ¬B)
"e" lógico
"e" lógico
fórmula de Barcan A fórmula da LÓGICA MODAL quantificada (LMQ
fórmula de Barcan A fórmula da LÓGICA MODAL quantificada (LMQ
Formas Normais - DAINF
Formas Normais - DAINF
Formalização da Lógica Linear em Coq
Formalização da Lógica Linear em Coq
forleg
forleg
FÍSICA DE CRENTE Pierre Duhem
FÍSICA DE CRENTE Pierre Duhem
filosofia para quem procura a verdade
filosofia para quem procura a verdade
FILOSOFIA 11ºANO
FILOSOFIA 11ºANO
FILOSOFANDOcap9 - Engenharia Civil
FILOSOFANDOcap9 - Engenharia Civil
File
File
Ficha de Trabalho n.º 9 - 10.ºAno
Ficha de Trabalho n.º 9 - 10.ºAno
Ficha de trabalho 1 Ficheiro
Ficha de trabalho 1 Ficheiro
Feitosa, Hércules de A. Sobre a história da lógica, a lógica
Feitosa, Hércules de A. Sobre a história da lógica, a lógica
FACULDADE PITÁGORAS - Metodologia e
FACULDADE PITÁGORAS - Metodologia e