Last 5 Pages Viewed:
Special:Browse/:Criação-5Fde-5FCurso
»
Special:UserLogin
»
Exercícios de semântica formal para a Ló...
Exercícios de semântica formal para a Lógica Proposicional Clássica
From Logic Wiki
Revision as of 16:35, 25 September 2020 by
Greati
(
talk
|
contribs
)
(
→Validade de sequentes
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Jump to navigation
Jump to search
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
Navigation menu
Personal tools
Log in
Namespaces
Page
Discussion
Variants
Views
Read
More
View source
View history
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
▶ 
▶ 
▷ 
