Poder expressivo dos operadores clássicos
Jump to navigation
Jump to search
- O conjunto dos operadores clássicos é funcionalmente completo sobre Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{0,1\}}
, isto é, permite expressar qualquer operador Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n}
-ário Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2}
-valorado
[AGUARDE!]
Para reflexão
- De que forma poderíamos caracterizar o poder expressivo dos operadores intuicionistas?
Veja também
Links externos
- Dos fragmentos da Lógica Proposicional Clássica:O reticulado de Post
