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:35, 25 September 2020 by
Greati
(
talk
|
contribs
)
(
→Validade de sequentes
)
(
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}
1.2
(
p
∧
q
)
→
r
{\displaystyle (p\land q)\to r}
▶
q
→
¬
p
{\displaystyle q\to \neg p}
1.3
¬
(
r
↔
p
)
,
(
p
∧
q
)
→
r
{\displaystyle \neg (r\leftrightarrow p),(p\land q)\to r}
▷
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}
(
p
∧
q
)
→
r
{\displaystyle (p\land q)\to r}
▶
q
→
¬
p
{\displaystyle q\to \neg p}
¬
(
r
↔
p
)
,
(
p
∧
q
)
→
r
{\displaystyle \neg (r\leftrightarrow p),(p\land q)\to r}
▷
q
→
¬
p
{\displaystyle q\to \neg p}
Correção de regras
Para reflexão
Veja também
Links externos