WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Esse mapa conceitual, produzido no IHMC CmapTools, tem a informação relacionada a: MapadeGeometria3, expressões com afirmações matemáticas possuem valor lógico, valor lógico pode ser representado em tabela verdade, Proposições (p) vinculam-se a conceito primitivo (subentendido), negação de uma proposição (~p) pode ser representado em tabela verdade, Proposições (p) dividem-se em falsa, Proposições (p) são criadas com base em teorema, valor lógico divide-se em falso (F), Proposições (p) são expressões com afirmações matemáticas, axioma (ou postulado) depende da existencia de conceito primitivo (subentendido), teorema é proposição tomada como verdadeira que necessita demonstração, axioma (ou postulado) é proposição tomada como verdadeira sem demonstração (verdade indiscutível), Proposições (p) dividem-se em verdadeira, conectivos lógicos dividem-se em v (disjunção "ou"), conectivos lógicos dividem-se em ^ (conjunção "e"), Proposições (p) são criadas com base em axioma (ou postulado), conectivos lógicos dividem-se em -> (condicional "implica"), conectivos lógicos dividem-se em <-> (condicional "se e somente se"), conectivos lógicos dividem-se em => ("implica"), valor lógico divide-se em verdadeiro (V), Proposições (p) podem servir para criar negação de uma proposição (~p)