Pesquisa resultou em 2378 ocorrências: (sistema|sistemas)

Voltar à pesquisa avançada

[Lógica formal] Mostrar que é um teorema do sistema dedutivo

Para A, B fórmulas quaisquer da lógica proposicional, mostre que as seguintes fórmulas são teoremas do sistema dedutivo L:


Axiomas a usar: https://fenix.tecnico.ulisboa.pt/downloadFile/3779572226826/slides-parte2.pdf (Slide 9)
por fff
Sáb Fev 07, 2015 09:32
 
Fórum: Lógica
Tópico: [Lógica formal] Mostrar que é um teorema do sistema dedutivo
Respostas: 0
Exibições: 1258

Re: Sistema entre Máximo Divisor Comum e Mínimo Múltiplo Com

Nossa! Que máximo! Valeu pela ajuda! Ajudou bastante!
por Guga1981
Qui Jan 22, 2015 21:28
 
Fórum: Equações
Tópico: Sistema entre Máximo Divisor Comum e Mínimo Múltiplo Comum
Respostas: 2
Exibições: 1977

Re: Sistema entre Máximo Divisor Comum e Mínimo Múltiplo Com

Uma identidade útil neste tipo de cálculo é a seguinte: Dados dois naturais quaisquer a e b é verdade que \mathrm{mmc}(a,b) \cdot \mathrm{mdc} (a,b) = a.b Assim, como seus números são a^2 b c^2 e ab^2 , então, seguindo a identidade, 21.1764 = a^2bc^2 . ab^2 de onde a^3b^3c^2 = 3^3 7^...
por Russman
Qua Jan 21, 2015 23:02
 
Fórum: Equações
Tópico: Sistema entre Máximo Divisor Comum e Mínimo Múltiplo Comum
Respostas: 2
Exibições: 1977

Sistema entre Máximo Divisor Comum e Mínimo Múltiplo Comum

Amigos, tenho uma questão, aqui, que não sei por onde começar... Trata-se de um sistema entre máximo divisor comum e mínimo divisor comum. Eis o exercício: Sejam a, b, c números primos distintos, em que a> b. O máximo divisor comum e o mínimo múltiplo comum de m ...
por Guga1981
Qua Jan 21, 2015 22:21
 
Fórum: Equações
Tópico: Sistema entre Máximo Divisor Comum e Mínimo Múltiplo Comum
Respostas: 2
Exibições: 1977

Conjuntos que começam com icógnita

... n (A \cup B \cup C) = 120, então n(A \cap B) \cup (A \cap C) \cup (B \cap C) é igual a: a) 40 b) 50 c) 60 d) 70 e) 80 Pois é... eu tentei fazer um sistema de equações com estes dados e deu a seguite resposta: A = -17,5 B = -21,25 C = 158,75 Ou seja, não cheguei a lugar algum... Espero a ajuda de ...
por Guga1981
Ter Jan 20, 2015 02:07
 
Fórum: Conjuntos
Tópico: Conjuntos que começam com icógnita
Respostas: 0
Exibições: 879

Re: [Integral dupla]definir região de integração

... y^2 = r^2 (circunferência centrada na origem) você obtém \rho = 4 . Todos os ponto compreendidos a direita pela reta y=0^{+} representam, no nosso sistema de coordenadas, \theta = 0 de modo que x=0^{+} a norte representam \theta = \frac{\pi}{2} e a esquerda de y=0^{+} representam \theta = \pi . ...
por Russman
Qui Jan 15, 2015 02:35
 
Fórum: Cálculo: Limites, Derivadas e Integrais
Tópico: [Integral dupla]definir região de integração
Respostas: 8
Exibições: 5297

Geometria analítica áreas no plano

(UFMS - MS) No 1º quadrante de um sistema de coordenadas ortogonais xOy , considere uma reta passando pelos pontos (0,5) e (10,0) e o ponto (a,b) pertencente a essa reta, conforme mostra a figura abaixo http://i1081.photobucket.com/albums/j346/andrerodrigues98/Slide1_zpsd8c375d6.jpg ...
por andrerodrigues98
Ter Dez 30, 2014 13:47
 
Fórum: Geometria Analítica
Tópico: Geometria analítica áreas no plano
Respostas: 1
Exibições: 3522

Equação Exponencial envolvendo sistemas

Dúvida já foi sanada Tópico pode ser excluído
por matheus36000
Dom Dez 21, 2014 22:19
 
Fórum: Equações
Tópico: Equação Exponencial envolvendo sistemas
Respostas: 0
Exibições: 1105

Re: Descobrir pontos da Reta Numérica

se tomarmos a circunferencia em um sistema coordenado tais q. os pontos P(x,y),onde x eh abcissas e y ordenadas...pela figura r=1(raio da circunferencia) ,logo P(-1,0) tomando centro da circunferencia como (0,0)...
por adauto martins
Qui Dez 18, 2014 15:23
 
Fórum: Geometria Analítica
Tópico: Descobrir pontos da Reta Numérica
Respostas: 4
Exibições: 1871

Re: Exercício de função para ajuda na resolução.

... dois pontos no gráfico. É dado que f(0) = 6 e também que f(-3) = 0 . Daí, temos duas equações para 3 incógnitas. Portanto, o sistema é, por hora, inconclusivo. Porém, note que o ponto (-3,0) é o ponto de mínimo da função. E, para a função quadrática, sabemos previamente ...
por Russman
Seg Dez 15, 2014 19:07
 
Fórum: Funções
Tópico: Exercício de função para ajuda na resolução.
Respostas: 3
Exibições: 1990

Re: [DERIVADAS PARCIAIS/GRADIENTE] Problema.

... e tal q. \left|H \right|=\sqrt[]{{cos\theta}^{2}+{sen\theta}^{2}}=1 ,H e um vetor q. busca uma direçao(um angulo \theta no sistema de coordenadas)e uma maneira de encontrar a direçao do gradiente,qdo o gradiente e o vetor unitario do gradiente alinham-se,entao e a direçao ...
por adauto martins
Sáb Dez 13, 2014 12:08
 
Fórum: Funções
Tópico: [DERIVADAS PARCIAIS/GRADIENTE] Problema.
Respostas: 6
Exibições: 7226

Re: [DERIVADAS PARCIAIS/GRADIENTE] Problema.

... podemos tomar os vetores (1,0),(0,1) \Rightarrow tg\theta\prec 0\Rightarrow ,a direçao do gradiente estara no terceiro e quarto quadrantes do sistema proposto,e como calculamos \theta \simeq -72º (direçao sudeste) e tambem(esqueci de colocar ( \theta = 180-72=108º direçao noroeste...entao ...
por adauto martins
Sáb Dez 13, 2014 10:56
 
Fórum: Funções
Tópico: [DERIVADAS PARCIAIS/GRADIENTE] Problema.
Respostas: 6
Exibições: 7226

Re: [DERIVADAS PARCIAIS/GRADIENTE] Problema.

... ,se tomarmos x,y dos vetores (1,0),(0,1),entao \Rightarrow \theta=artg(-3/2) , \theta\simeq -72º ,q. sera um ponto a noroeste do sistema...se tomarmos os pontos(-10,5) \theta =arctg(-3.(-10)/(2.5))=arctg(3)\simeq 72º nordeste do sistema... b)o alpista ...
por adauto martins
Qui Dez 11, 2014 15:30
 
Fórum: Funções
Tópico: [DERIVADAS PARCIAIS/GRADIENTE] Problema.
Respostas: 6
Exibições: 7226

media aritmética ponderada

... Pedro II Vivian estuda no colégio pedro II e, para que seja aprovada sem prova final é necessário que a média das três certificações que compõem o sistema de avaliação seja maior ou igual a sete. A tabela mostra as notas obtidas por Vivian em Matemática e o peso atribuído a cada uma das certificações. ...
por rcpn
Ter Dez 02, 2014 21:11
 
Fórum: Álgebra Elementar
Tópico: media aritmética ponderada
Respostas: 1
Exibições: 4892

Re: Ajuda em uma questão de Função

Matheus, Vamos alterar o sistema para valores semelhantes elevados à potências que podem ser diferentes, ou seja: Da primeira equação tiramos que: 2^{x}4^{y} = \frac{1}{2} \Rightarrow 2^{x} \cdot 2^{2y} = 2^{-1} \Rightarrow 2^{x + 2y} ...
por nakagumahissao
Dom Nov 30, 2014 18:22
 
Fórum: Funções
Tópico: Ajuda em uma questão de Função
Respostas: 2
Exibições: 1524

Ajuda em uma questão de Função

Calcular X e Y no sistema de equações.
Olhar o anexo
por matheus soder
Dom Nov 30, 2014 17:14
 
Fórum: Funções
Tópico: Ajuda em uma questão de Função
Respostas: 2
Exibições: 1524

Re: Determinar se vetor pertence a subespaço

... 0 & 0 & 0 & 9/10 \\ \end{pmatrix} [tex]\begin{pmatrix} a ultima linha da matriz deveria ser toda nula,pois temos tres incgnitas(a,b,c),sistema e incompativel,nao tem soluçao...e como tem-se 0=9/10,caimos em uma incoerencia,uma contradiçao...logo o vetor v,nao pode ser tomado como uma ...
por adauto martins
Seg Nov 24, 2014 13:47
 
Fórum: Álgebra Linear
Tópico: Determinar se vetor pertence a subespaço
Respostas: 2
Exibições: 16140

Determinar se vetor pertence a subespaço

... fiz tudo errado rs Então agradeceria muito quem me ajudasse nessa questão. Ps: Estou usando o fórum no celular, por curiosidade, é possível usar o sistema Latex para colocar as fórmulas bonitinhas pelo celular? Ou só na versão desktop? Abs.
por Raffz
Seg Nov 24, 2014 02:23
 
Fórum: Álgebra Linear
Tópico: Determinar se vetor pertence a subespaço
Respostas: 2
Exibições: 16140

Re: Angulo inscrito e arco capaz - 2

a)como o triangulo inscrito a circunferencia eh retangulo,logo a+b=90,como foi dado q. a+2b=127,eh resolver esse sistema,q. teremos como soluçao a=53,b=37...
b)o arco central,correspondente ao arco AB=2.40=80
por adauto martins
Sáb Nov 22, 2014 15:21
 
Fórum: Geometria Plana
Tópico: Angulo inscrito e arco capaz - 2
Respostas: 4
Exibições: 2692

Exercício Geometria Analítica

O enunciado é o seguinte : Determine a equação da circunferência de centro em C e é tangente ao eixo das abscissas.

Minha dúvida é como eu encontro as equações das 2 retas para fazer o sistema, e depois achar o raio.

Se alguém souber, eu agradeço pela ajuda.
por GuiFerronato
Qua Nov 19, 2014 17:28
 
Fórum: Geometria Analítica
Tópico: Exercício Geometria Analítica
Respostas: 1
Exibições: 1389

Re: Geometria Analítica - Exercícios

1)a intersecçao das retas e a soluçao do sistema x+y=4,2x-y=5,cuja soluçao eh x=3,y=1,q. eh o centro da circunferencia...como a circunferencia tangencia o eixo y(oredenadas) o raio eh igual a 3...logo a equaçao sera: ({x-3})^{2}+({y-1})^{2}=\sqrt[]{3} ...
por adauto martins
Qui Nov 13, 2014 15:27
 
Fórum: Geometria Analítica
Tópico: Geometria Analítica - Exercícios
Respostas: 2
Exibições: 2327

Geometria Analítica - Exercícios

... a equação da circunferência de centro na intersecção das retas (r) x + y = 4 e (s) 2x - y = 5 e tangencia o eixo das ordenadas. Obs: Eu já fiz o sistema com as duas equações para achar o centro, que é C(3,1). O eixo das ordenadas, o que eu saiba é P(0,y). Como que eu acho o raio ? 2) As retas ...
por GuiFerronato
Qui Nov 13, 2014 14:52
 
Fórum: Geometria Analítica
Tópico: Geometria Analítica - Exercícios
Respostas: 2
Exibições: 2327

Re: Método de de Gauss-Jordan

... 0 & 0 & 1\\ \end{pmatrix} ...como nao obtivemos a matriz com diagonal somente com 1,mas obtivemos matriz ,mais proxima possivel... logo o sistema sera... x+3y-z+5w=7, z-(23/9)w=-148/9, w=146/25...como a ultima linha dara 0=1,o sistema e incompativel,nao admite soluçao... obs.:erro muito ...
por adauto martins
Ter Nov 11, 2014 14:51
 
Fórum: Álgebra Linear
Tópico: Método de de Gauss-Jordan
Respostas: 1
Exibições: 3111

Re: [Algebra Linear] Soma de subespaços

... ) 2) x+7y+z+w=0, x-y-z-3w=0... ...escalonando ... x+7y+z+w=0, -8y-3z-10w=0...resolvendo o sistema teremos: [tex]{U}_{2}=((x,y,z,w)/\alpha(-5/8,-3/8,1,0)+\beta(0,-1/2,0,1)) ... ((-2/3,-1/3,1,0),(0,-1,0,1),(-5/8,-1/2,1,0),(0,-1/2,0,1))formam ...
por adauto martins
Seg Nov 10, 2014 16:02
 
Fórum: Álgebra Linear
Tópico: [Algebra Linear] Soma de subespaços
Respostas: 1
Exibições: 2309

Método de de Gauss-Jordan

Gente, me ajudem, não consigo fazer essa questão

Considere o sistema {?(

3z-9w=6
5x+15y-10z+40w=-45
4x+12y-2z+14w=-24
x+3y-z+5w=-7



*Resolva o Sistema pelo Método de Gauss-Jordan;
*Resolva o Sistema pela Regra de Cramer
por AmandaPmend
Seg Nov 10, 2014 14:46
 
Fórum: Álgebra Linear
Tópico: Método de de Gauss-Jordan
Respostas: 1
Exibições: 3111

[Derivadas] Uso de otimização

... Federer e 20+60x-70y camisetas Nadal por dia. Quanto o dono da loja deve cobrar pelas camisas para obter o maior lucro possível?" Fiz o sistema de lucro como: L(x,y) = (40-50x+40y)(x-50) + (20+60x-70y)(y-50) e fazendo as derivadas parciais de x e y obtenho Lx(x,y) = -100x-460+100y Ly(x,y) ...
por mikari
Dom Nov 09, 2014 20:01
 
Fórum: Cálculo: Limites, Derivadas e Integrais
Tópico: [Derivadas] Uso de otimização
Respostas: 0
Exibições: 1987

[Programação linear] Método Simplex

Boas pessoal! Então é assim, tenho um exercício academico sobre o método simples: Um companhia controla um sistema constituído por duas albufeiras com uma central hidroelétrica localizada em cada uma delas. Quando a albufeira atinge a capacidade máxima, a água que entra perde-se ...
por david_e_pereira
Ter Nov 04, 2014 20:11
 
Fórum: Desafios Médios
Tópico: [Programação linear] Método Simplex
Respostas: 2
Exibições: 3682

[Frações] Regra de frações

Eu estava resolvendo um sistema de equação linear e cheguei aos valores de v e u . O valor de v é, v=\frac{-5}{4} que deveria ser substituído na equação y=\frac{1}{v} , porém eu utilizei a regra de divisão de frações, onde se repete a ...
por raymondtfr
Dom Nov 02, 2014 16:49
 
Fórum: Aritmética
Tópico: [Frações] Regra de frações
Respostas: 4
Exibições: 2794

Re: Montar Polinômio Para Calcular Padrões

... \right \} . Assim, se eu preciso de um polinômio p(x) que calcule os números 2 e 3, por exemplo, posso dizer que p(1)=2 e p(2) = 3 e montar um sistema de equações que determine os parâmetros livres.
por Russman
Seg Out 13, 2014 21:00
 
Fórum: Polinômios
Tópico: Montar Polinômio Para Calcular Padrões
Respostas: 1
Exibições: 2230

Re: Sistema de Equação ajuda urgente

\begin{pmatrix}
   1 & 1 & 30 \\ 
   0.06 & 0.23& 3.5 
\end{pmatrix},escalonando...
\begin{pmatrix}
   1 & 1 & 30 \\ 
   0 & 0.17& -1.7 
\end{pmatrix}...
A+B=30
0.17B=-1.7...B=-10...A-10=30...A=40
por adauto martins
Seg Out 13, 2014 17:59
 
Fórum: Sistemas de Equações
Tópico: Sistema de Equação ajuda urgente
Respostas: 1
Exibições: 2374
AnteriorPróximo

Voltar à pesquisa avançada