Please enable JavaScript.
Coggle requires JavaScript to display documents.
Proposições Lógicas, :warning: DICAS:
P. simples é o mesmo que…
Proposições Lógicas
Não são proposições
Marcos temporais
- Em 2015
- Há 10 mil anos
- há 8 minutos
Frases interrogativas
Exclamativas
Tem exceções: quando
é possível analisar um
diálogo e determinar
V ou F
Frases imperativas
Frases vagas
Ex: bom, é maravilhoso
depende do ponto de vista
:check: Exceções:
- Aquele pode se referir
a uma pessoa, portanto, é proposição.
Negação
- ¬ (¬ p ) = p
- Não é verdade nega
todas as proposições
seguintes
- ¬ ( > ) => <=
- ¬ ( > ) => <=
- ¬ PA = PN
- ¬ PN = PA
- ¬ PU = PP
- ¬ PP = PU
Universais
Afirmativas
- Todo é
- Sempre
- Qualquer que seja
-
Particulares
Afirmativas
- Alguém é
- Ao menos um
- Existe
-
Sentenças
Abertas
- Ele é engenheiro (Ele quem?)
- Fulano não matou - (Fulano quem?)
- x + 5 = 10 (Pode ser 5.0, 25/5, etc.)
Fechadas
- Caio passou no concurso
- (X \in N | X + 5 = 10)
Redução
Verdadeiro
Se frase é verdadeira
e tem E (conjunção)
p /\ q => p, q
Se frase é verdadeira
e tem OU (disjunção)
p v q, ¬q => p
Falso
Se frase é falsa
e tem E (conjunção)
Se proposições são falsas
e tem OU (disjunção)
-
Proposições
-
Composta
Possui E, SE.. ENTÃO
OU, LOGO
-
-
Lei de Morgan
¬(p v q) = (¬p) v (¬q)
¬(p /\ q) = (¬p) v (¬q)
:warning: Quando aparecer
não é verdade que
¬(¬ p v q) (REVER)
¬(PUA v PUN) = PPN /\ PPA
:warning: DICAS:
- P. simples é o mesmo que básicas/primitivas/atônicas
- P.composta é o mesmo que moleculares/fórmulas proposicionais
- Lógica bivalente (V ou F)