Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica, Perguntas, negações e etc, não são proposições., Uma tabela…
Lógica
Condicional
-
Condição suficiente (A) basta para gerar condição B, e pode ser substitiuida por uma condição parecida.
-
Contraposição
Se A sempre causa B, então a inexistência de B implica que A não ocorreu?
-
Proposições
Uma afirmação, seja verbal ou matemática, que é sempre representada por uma letra minúscula.
-
-
-
Conectivos lógicos
A conjunção (^) significa “e”, como em “p e q”, em que cada uma é uma proposição e “p e q” só é verdadeira se ambas forem verdadeiras.
Disjunção (v) significa “ou”, e o valor lógico só é falso caso todas as proposições sejam falsas.
Condicional (->) significa “se p então q” e só será falsa quando p for verdadeira e q for falsa. Ex: se X é par, então (X+1) é ímpar.
Bicondicional (<->) significa “p se somente e se q” ou seja p -> q e q -> p, e será verdadeira quando ambos possuírem o mesmo valor lógico. Ex: se 4>2 <-> 2<4
Perguntas, negações e etc, não são proposições.
Uma tabela verdade é usada quando temos mais de uma proposição, para analisar todas as possibilidades
A pode ser falso pois pode ser substituido, mas B não é tão flexível, e deve ser verdadeiro.
-
Usando conjuntos, dizemos que A está contido em B, e B contém A.