Open main menu
Logic Wiki
Search
Exercícios de semântica formal para a Lógica Proposicional Clássica
Read in another language
Watch this page
Edit
Revision as of 16:11, 25 September 2020 by
Greati
(
talk
|
contribs
)
(
→\neg (r \leftrightarrow p) ▸ q \to \neg p
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Contents
1
Validade de sequentes
1.1
¬
(
r
↔
p
)
{\displaystyle \neg (r\leftrightarrow p)}
▸
q
→
¬
p
{\displaystyle q\to \neg p}
2
Correção de regras
3
Para reflexão
4
Veja também
5
Links externos
Validade de sequentes
¬
(
r
↔
p
)
{\displaystyle \neg (r\leftrightarrow p)}
▸
q
→
¬
p
{\displaystyle q\to \neg p}
Correção de regras
Para reflexão
Veja também
Links externos