CAPÍTULO 5. Dedução Natural
|
|
- Luiz Fernando Figueiroa Ribas
- 6 Há anos
- Visualizações:
Transcrição
1 CAPÍTULO 5. Dedução Natual Iniciamo ete caítulo com a eguinte egunta: O ue é a dedução natual? É o oceo aa etabelece de maneia igooa a validade do agumento, deivando a concluão do agumento a ati da emia uando um itema de ega. Poue agumentamo? Se há ceta afimação (ou negação) ue aceitamo como vedadeia, agumentamo aa jutifica oue é ue todo devem aceitá-la como vedadeia. Em outa alava, aceditamo em alguma coia e ueemo ova ue auilo em ue aceditamo é vedadeio. O ue é uma ova? A contução de uma ova (no entido de um agumento demontativo) é um ato ciativo, ue envolve elo meno dua coia: 1) enconta um conjunto de emia ue eja uficiente aa aoia auilo ue ueemo ova; 2) elaboa uma cadeia de aciocínio ue no conduza, ao a ao, dede a emia inicialmente aceita até à concluão ue ueemo ova. A emia de uma ova coeondeão ou a coia ue já foam ovada ou a coia ue ão aceite como vedadeia em ova o eem imediatamente óbvia ou o alguma outa azão igualmente fote. Numa ova, como em ualue agumento dedutivamente válido, a concluão eá uma coneüência lógica da emia, e a cadeia de aciocínio ue no conduz da emia à concluão é uma uceão de eueno ao em ue, em cada ao, e deduz uma coneüência imediata dauilo ue já foi etabelecido no ao anteioe ou dauilo ue foi inicialmente dado na emia. Dede ue cada ao eja logicamente imecável, ea uceão de ao, ue começa com a afimação de cada uma da emia e temina com a dedução da concluão, contitui uma demontação da concluão a ati da emia, ou eja, uma ova. 5.1 O itema de Dedução Natual O itema de dedução natual ue iemo deceve em eguida é comoto o doi elemento fundamentai: 1) um conjunto de ega de infeência; 2) um fomato aa aeenta a ova ou demontaçõe.
2 5.1.1 Fomato da Demontaçõe Cada demontação eá aeentada ob a foma de uma tabela com um númeo vaiável (ma finito) de linha e com tê coluna, onde: 1. Cada linha coeonde a um ao na demontação. Na imeia linha ão ecita a emia e na última linha eá ecita a concluão. Ente a imeia linha e a última linha ão ecito o ao intemédio ue, autoizado ela ega, no conduzem dedutivamente da emia à concluão. 2. A imeia coluna é eevada à numeação uceiva da linha. Io no emite em ualue momento, efeimo-no à fómula incita numa ceta linha indicando aena o númeo dea linha. 3. A egunda coluna (a conta da eued é a incial: é nela ue, em cada linha, é ecita a fómula ue exibe a foma lógica cuja vedade etá endo afimada. 4. A teceia coluna é a coluna da jutificaçõe. Uma vez ue em cada linha etamo afimando ue ceta fae é vedadeia, na teceia coluna temo de indica o ue é ue no autoiza a faze ea afimação. Há aena tê gêneo de jutificação oívei. Em imeio luga, a afimação ode eta endo feita oue e tata de uma emia da demontação. Em egundo luga, a afimação ode jutifica-e oue exite uma ega ue emite infei-la a ati do ue etá ecito na linha anteioe. Note-e ue, em cada ao, odemo alica omente uma ega. Em teceio e último luga, ode tata-e de uma uoição ue etamo fazendo aa ve ue coneüência e eguiiam daí. No imeio tio de cao, ecevemo emia na uata coluna da linha em caua. No egundo tio de cao, temo de indica a ega ue etamo alicando e a linha ou a linha à uai ea alicação é feita. No teceio tio de cao, ecevemo imlemente uoição. 5.2 Rega da dedução natual A ega eão aeentada ob a foma de um eüente. emia1 emia2 emian concluão Rega: Intodução da conjunção (I) :
3 Rega: Eliminação da conjunção (E): Rega: Eliminação da dula negação (E ): Rega: Intodução da dula negação(i ): Rega: Eliminação da imlicação (E): Modu onen Modu tollen Rega: Intodução da dijunção (I): Rega: Intodução do bicondicional (I ): Rega: Eliminação do bicondicional (E ):
4 5.3 Exemlo 1. Pove ue o eguinte agumento ão válido. ( ) t 1. emia 2. emia 3. E 1 4. I 2,3 1. ( ) emia 2. t emia 3. ( ) E 1 4. E 3 5. E 2 6. I 4,5 5.4 Execício 1. Ua a ega "Modu Ponen" (MP) aa deduzi, da emia dada, a concluão indicada. d) ( t) ( ) t e) t t ( ) ( ) f) ( t) ( t) (m n) m n
5 2. Ua a ega "Modu Ponen" ou "Modu Tollen" aa deduzi, da emia dada, a concluão indicada. ) ( 3. Ua a ega da Intodução e Eliminação da Conjunção, "Modu Ponen" ou "Modu Tollen" aa veifica ue ão válido o eguinte agumento : 4. Ua a ega da Intodução da Dijunção ou outa ega aa veifica ue ão válido o eguinte agumento: 5. Pove ue o eguinte agumento ão válido.
6 1) ( ) 2) 3) ( ) 4) 5) 6) ( ) ( ) 7) ( ) ( ) 8) ( ) ( ) 9) ( ) ( ) 10) ( ) 11) ( ) 12) ( )
Processamento de Imagens
Poceamento de Imagen By Vania V. Etela UFF-TELECOM, Joaquim T. de AiIPRJ-UERJ Técnica de Modificação de Hitogama O hitogama de uma imagem, que é uma oiedade do conteúdo da infomação contida na mema, é
Leia maisFIGURA 1. Diagrama fasorial de um dielétrico submetido a uma tensão CA.
i.ee DETEMINAÇÃO DO FATO DE DISSIPAÇÃO PEDAS DIELÉTIAS Eng. Joé Aino Teieia J. ondutividade eidual. Peda o olaização 3. Peda o decaga aciai Gae : O gae gealmente tem eda etemamente baia. O mecanimo de
Leia maisMaterial Teórico - Módulo de Geometria Anaĺıtica 1. Paralelismo e Perpendicularidade. Terceiro Ano - Médio
Mateial Teóico - Módulo de Geometia naĺıtica 1 Paalelimo e Pependiculaidade Teceio no - Médio uto: Pof ngelo Papa Neto Revio: Pof ntonio aminha M Neto 1 Reta paalela Na aula obe a equação da eta vimo que,
Leia maisLógica para Ciência da Computação
Lógica aa Ciência da Comutação UNIVERSIDADE FEDERAL FLUMINENSE CENTRO DE ESTUDOS GERAIS INSTITUTO DE MATEMÁTICA DEPARTAMENTO DE ANÁLISE TRABALHO DE MONITORIA Tutoial Pático sobe o Método de Dedução Natual
Leia maisCAPÍTULO 02 MOVIMENTOS DE CORPO RÍGIDO. TRANSFORMAÇÕES HOMOGÊNEAS
Caítulo 2 - Movimentos de Coo Rígido. Tansfomações Homogêneas 8 CAPÍTULO 02 MOVIMENTOS DE CORPO RÍGIDO. TRANSFORMAÇÕES HOMOGÊNEAS 2. INTRODUÇÃO Paa o desenvolvimento das equações cinemáticas do maniulado
Leia mais( ) 10 2 = = 505. = n3 + n P1 - MA Questão 1. Considere a sequência (a n ) n 1 definida como indicado abaixo:
P1 - MA 1-011 Questão 1 Considee a sequência (a n ) n 1 definida como indicado abaixo: a 1 = 1 a = + 3 a 3 = + 5 + 6 a = 7 + 8 + 9 + 10 (05) (a) O temo a 10 é a soma de 10 inteios consecutivos Qual é o
Leia mais3.3 Potencial e campo elétrico para dadas configurações de carga.
. Potencial e campo elético paa dadas configuações de caga. Emboa a maio utilidade do potencial se evele em situações em ue a pópia configuação de caga é uma incógnita, nas situações com distibuições conhecidas
Leia maisMaterial Teórico - Sistemas Lineares e Geometria Anaĺıtica. Sistemas com Três Variáveis - Parte 2. Terceiro Ano do Ensino Médio
Mateial Teóico - Sistemas Lineaes e Geometia Anaĺıtica Sistemas com Tês Vaiáveis - Pate 2 Teceio Ano do Ensino Médio Auto: Pof. Fabício Siqueia Benevides Reviso: Pof. Antonio Caminha M. Neto 1 Sistemas
Leia maisFísica Experimental: Ótica e Ondas. Aula 1. Introdução ao laboratório
Física Exeimental: Ótica e Ondas Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 4 -Divisão de guos... slides 5 7 -Unidades Intenacionais... slides 8 10 -Algaismos significativos...
Leia maisMATEMÁTICA - 3o ciclo
MATEMÁTICA - o ciclo Função afim e equação da eta ( o ano) Eecício de pova nacionai e tete intemédio. No efeencial otogonal e monomético, de oigem no ponto, da figua ao lado, etão epeentada a eta e. A
Leia maisFísica Experimental: Termodinâmica. Aula 1. Introdução ao laboratório
Física Exeimental: Temodinâmica Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 4 -Divisão de guos... slides 5 7 -Uso de equiamentos... slide 8 -Unidades Intenacionais... slides
Leia maisRESOLUÇÃO DA AVALIAÇÃO DE MATEMÁTICA 2 o ANO DO ENSINO MÉDIO DATA: 08/03/14 PROFESSOR: MALTEZ
RSOLUÇÃO VLIÇÃO MTMÁTI o NO O NSINO MÉIO T: 08/03/14 PROFSSOR: MLTZ QUSTÃO 01 Na figua, a eta e ão pependiculae e a eta m e n ão paalela. m 0º n ntão a medida do ângulo, em gau, é igual a: 0º m alteno
Leia maisMATEMÁTICA A - 11o Ano Geometria - Declive e inclinação Propostas de resolução
MTEMÁTI - o no Geometia - Declive e inclinação Popota de eolução Eecício de eame e tete intemédio. omo a tangente é pependicula ao aio, a eta é pependicula à eta, ou eja, declive da eta é o imético do
Leia maisGeometria de Posição. Continuação. Prof. Jarbas
Geometia de Poição Continuação Pof. Jaba POSIÇÕES RELATIVAS ENTRE DUAS RETAS NO ESPAÇO O que ão eta coplanae? São eta contida num memo plano. O que ão eta evea? São eta que não etão contida num memo plano.
Leia maisCurso: Engenharia de Produção PPNL. Min (Max) f(x)
PPNL Min (Max) f(x). a. g i (x) (,, ) b i, i 1,,m onde x (x 1,,x n ) T é o veto n-dimenional da vaiávei de decião; f (x) é a função objetivo; g i (x) ão a funçõe de etição e o b i ão contante conhecida.
Leia maisCálculo Diferencial e Integral II. Lista 8 - Exercícios/ Resumo da Teoria
Cálculo Diferencial e Integral II Lita 8 - Exercício/ Reumo da Teoria Derivada Direcionai Definição Derivada Direcional. A derivada da função f x, no ponto P x, na direção do veror u u 1, u é o número
Leia maisCURSO DE ENGENHARIA ELÉTRICA ELETRÔNICA DE POTÊNCIA. Exp. 2
r od la ort no C UNESDADE DE MOG DAS CUZES - ENGENHAA EÉCA Prof. Joé oberto Marque CUSO DE ENGENHAA EÉCA EEÔNCA DE POÊNCA Ex. ONE CHAEADA PWM ABAXADOA BUCK Objetivo: O objetivo deta exeriência é demontrar
Leia maisPPNL. Conjuntos Convexos. Exemplos. Otimização e Conjuntos Convexos
PPNL Min (Max) f(x). a. g i (x) (,, =) b i, i =,,m onde x = (x,,x n ) T é o veto n-dimenional da vaiávei de decião; f (x) é a função objetivo; g i (x) ão a funçõe de etição e o b i ão contante conhecida.
Leia maisZ 1 Z x 2 dydx + Z 2 Z 2. p y x 2 y: 0 y 1 e Z 1 Z 2. y dxdy: A (D) = p y
Gabaito A - manhã Áea o Integal Dula A áea de uma egião D do lano x é dada o:. Esboce o gá co da egião D. Z Z x ddx + Z Z x ddx: D é a egião do imeio quadante, delimitada elo eixo x, ela aábola = x (ou
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisEstatística. 5 - Distribuição de Probabilidade de Variáveis Aleatórias. Discretas
Estatística 5 - Distibuição de Pobabilidade de Vaiáveis Aleatóias Discetas UNESP FEG DPD Pof. Edgad - 0 05 - Piciais Distibuições de Pobabilidades Euiovável Beoulli Biomial Poisso Geomética Pascal Hiegeomética
Leia maisMecânica dos Fluidos (MFL0001) CAPÍTULO 4: Equações de Conservação para Tubo de Corrente
Mecânica do Fluido (MFL000) Curo de Engenharia Civil 4ª fae Prof. Dr. Doalcey Antune Ramo CAPÍTULO 4: Equaçõe de Conervação ara Tubo de Corrente Fonte: Bitafa, Sylvio R. Mecânica do Fluido: noçõe e alicaçõe.
Leia maisO perímetro da circunferência
Univesidade de Basília Depatamento de Matemática Cálculo 1 O peímeto da cicunfeência O peímeto de um polígono de n lados é a soma do compimento dos seus lados. Dado um polígono qualque, você pode sempe
Leia maisPassos lógicos. Texto 18. Lógica Texto Limitações do Método das Tabelas Observações Passos lógicos 4
Lógica ara Ciência da Comutação I Lógica Matemática Texto 18 Passos lógicos Sumário 1 Limitações do Método das Tabelas 2 1.1 Observações................................ 4 2 Passos lógicos 4 2.1 Observações................................
Leia maisMatemática. Atividades. complementares. FUNDAMENTAL 8-º ano. Este material é um complemento da obra Matemática 8. uso escolar. Venda proibida.
8 ENSINO FUNMENTL 8-º ano Matemática tividade complementae Ete mateial é um complemento da oba Matemática 8 Paa Vive Junto. Repodução pemitida omente paa uo ecola. Venda poibida. Samuel aal apítulo 6 Ete
Leia maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proosições Uma roosição é uma frase ue ode ser aenas verdadeira ou falsa. 1. Os saos são anfíbios. 2. A caital do Brasil é Porto Alegre. 3. O tomate é um tubérculo. 4. Por
Leia maisFísica Experimental: Eletromagnetismo. Aula 1. Introdução ao laboratório
Física Exeimental: Eletomagnetismo Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 4 -Divisão de guos... slides 5 7 -Uso de equiamentos... slide 8 9 -Unidades Intenacionais...
Leia maisFísica Experimental: Ótica e Ondas. Aula 1. Introdução ao laboratório
Física Exeimental: Ótica e Ondas Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 4 -Divisão de guos... slides 5 7 -Unidades Intenacionais... slides 8 10 -Algaismos significativos...
Leia maisRecredenciamento Portaria MEC 347, de D.O.U
Quest(iii) Argumento Dado um fenômeno ou fato, rocura-se justificá-lo, exlicá-lo. Esta justificativa é dada na forma de um raciocínio através do ual chegamos a uma afirmação, e uando este raciocínio é
Leia maisMatemática. 8 o ano. Caderno 1
Matemática 8 o ano adeno 1 Módulo 1 1 Em elação ao infogáfico apeentado a egui, eponda ao que e pede. Fonte: Folha de S.Paulo, 6, 9 ma. 2014. a) Qual é a fonte da pequia? b) Qual é o aunto cental dee infogáfico?
Leia maisCurso: Engenharia de Produção PPNL. Min (Max) f(x)
PPNL Min (Max) f(x) Cuo: Engenhaia de Podução. a. g i (x) (,, ) b i, i 1,,m onde x (x 1,,x n ) T é o veto n-dimenional da vaiávei de decião; f (x) é a função objetivo; g i (x) ão a funçõe de etição e o
Leia maisAtivos sem Risco. Universidade Federal de Santa Catarina. From the SelectedWorks of Sergio Da Silva. Sergio Da Silva
Univesidade Fedeal de Santa Cataina Fom the SelectedWoks of Segio Da Silva 29 tivos sem Risco Segio Da Silva vailable at: htt://woks.beess.com/segiodasilva/4/ tivos sem Risco Hal R. Vaian Intemediate Micoeconomics,
Leia maisconsumidores por hora. Uma média de três clientes por hora chegam solicitando serviço. A capacidade
D i i l i n a : P e u i a O e r a i o n a l C u r o : E e i a l i z a ç ã o e m M é t o d o Q u a n t i t a t i v o : E t a t í t i a e M a t e m á t i a A l i a d a i t a d o i d e e x e r í i o o b r
Leia maisMaterial Teórico - Módulo Elementos Básicos de Geometria Plana - Parte 1. Conceitos Geométricos Básicos. Oitavo Ano. Prof. Ulisses Lima Parente
Mateial Teóico - Módulo Elemento áico de Geometia Plana - Pate 1 Conceito Geomético áico itavo no Pof. Ulie Lima Paente 1 Conceito pimitivo ideia de ponto, eta e plano apaecem natualmente quando obevamo
Leia maisMatemática / Física. Figura 1. Figura 2
Matemática / Fíica SÃO PAULO: CAPITAL DA VELOCIDADE Diveo título foam endo atibuído à cidade de São Paulo duante eu mai de 00 ano de fundação, como, po exemplo, A cidade que não pode paa, A capital da
Leia maisMaterial Teórico - Módulo Elementos Básicos de Geometria Plana - Parte 1. Conceitos Geométricos Básicos. Oitavo Ano
Mateial Teóico - Módulo Elemento áico de Geometia Plana - Pate 1 Conceito Geomético áico itavo no uto: Pof. Ulie Lima Paente evio: Pof. ntonio Caminha Potal da MEP 1 Conceito pimitivo ideia de ponto, eta
Leia maisFísica Experimental: Termodinâmica. Aula 1. Introdução ao laboratório
Física Exeimental: Temodinâmica Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 4 -Divisão de guos... slides 5 7 -Uso de equiamentos... slide 8 -Unidades Intenacionais... slides
Leia maisNoções de lógica matemática Conceitos Básicos
Conceitos Básicos CH f Noções de lógica matemática Conceitos Básicos CH 1 Conceitos Básicos - E CH CH f ^ Noções de lógica matemática Conceitos Básicos - E CH CH ^ 2 Conceitos Básicos - OU CH CH f Noções
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisPROPOSTA DE RESOLUÇÃO DO EXAME DE MATEMÁTICA APLICADA ÀS CIÊNCIAS SOCIAIS (PROVA 835) ªFASE
PROPOSTA DE RESOLUÇÃO DO EXAME DE MATEMÁTICA APLICADA ÀS CIÊNCIAS SOCIAIS (PROVA 835) 013 ªFASE 1. 1.1. Aplicando o método de Hondt, o quociente calculado ão o eguinte: Lita A B C D Número de voto 13 1035
Leia maisJ. Sebastião e Silva, Compêndio de Matemática, 3º Volume
J. SEBASTAO E SLVA. 3. ntepetação geomética da multiplicação de númeos compleos. Comecemos pelo seguinte caso paticula: Poduto do númeo i po um númeo compleo qualque, z = + iy (, y e R).,------- *' "--
Leia maisUnidade Símbolo Grandeza
Unidade Prefixo Noe Síbolo Fator Multiplicador Noe Síbolo Fator Multiplicador exa E 10 18 deci* d 10-1 peta P 10 15 centi* c 10 - tera T 10 1 ili* 10-3 giga* G 10 9 icro* 10-6 ega* M 10 6 nano n 10-9 quilo*
Leia maisEletricidade e Magnetismo II Licenciatura: 3ª Aula (06/08/2012)
leticidade e Magnetismo II Licenciatua: 3ª ula (6/8/) Na última aula vimos: Lei de Gauss: ˆ nd int xistindo caga de pova sente uma foça F poduzida pelo campo. Ocoendo um deslocamento infinitesimal, o tabalho
Leia maisSeção 24: Laplaciano em Coordenadas Esféricas
Seção 4: Laplaciano em Coodenadas Esféicas Paa o leito inteessado, na pimeia seção deduimos a expessão do laplaciano em coodenadas esféicas. O leito ue estive disposto a aceita sem demonstação pode dietamente
Leia maisUniversidade Cruzeiro do Sul. Campus Virtual Unidade I: Unidade: Medidas de Dispersão
Univeridade Cruzeiro do Sul Campu Virtual Unidade I: Unidade: Medida de Diperão 010 0 A medida de variação ou diperão avaliam a diperão ou a variabilidade da equência numérica em análie. São medida que
Leia maisDescontos desconto racional e desconto comercial
Descontos desconto acional e desconto comecial Uma opeação financeia ente dois agentes econômicos é nomalmente documentada po um título de cédito comecial, devendo esse título conte todos os elementos
Leia maisColégio Santa Dorotéia Área de Matemática Disciplina: Matemática Ano: 8º - Ensino Fundamental Professores: Marcus e Weslei
Áea de Diciplina: Ano: 8º - Enino Fundamental Pofeoe: Macu e Welei Atividade paa Etudo Autônomo Data: 0 / 5 / 09 Cao(a) aluno(a), O momento de evião deve e vito como opotunidade de econtui conhecimento
Leia maisBreve apontamento sobre enrolamentos e campos em sistemas trifásicos
Breve aontamento obre enrolamento e camo em itema trifáico. Introdução Nete documento areentam-e o fundamento da criação do camo girante da máquina eléctrica rotativa. Ete aunto é tratado de forma muito
Leia maisA notação utilizada na teoria das filas é variada mas, em geral, as seguintes são comuns:
A notação utilizada na teoria da fila é variada ma, em geral, a eguinte ão comun: λ número médio de cliente que entram no itema or unidade de temo; µ número médio de cliente atendido (que aem do itema)
Leia maisFigura 6.6. Superfícies fechadas de várias formas englobando uma carga q. O fluxo eléctrico resultante através de cada superfície é o mesmo.
foma dessa supefície. (Pode-se pova ue este é o caso poue E 1/ 2 ) De fato, o fluxo esultante atavés de ualue supefície fechada ue envolve uma caga pontual é dado po. Figua 6.6. Supefícies fechadas de
Leia maisResposta de Frequência
Deartamento de Engenharia Química e de Petróleo UFF Dicilina: TEQ0- CONTROLE DE PROCESSOS Método de Margem de anho e Outro Proceo de Searação de Fae Prof a Ninoka Boorge Reota de Frequência Quando um Proceo
Leia maisIntervalo de Confiança para a Diferença entre Duas Médias Amostrais
Intervalo de Confiança para a Diferença entre Dua Média Amotrai Quando e quer etimar a diferença, µ µ, entre a média de dua populaçõe e, procede-e da eguinte maneira: toma-e uma amotra de cada população,
Leia maisMETÁFORA: uma reflexão conceitual a partir de uma proposta de atividade para o ensino fundamental 1
METÁFORA: uma eflexão conceitual a pati de uma poposta de atividade paa o ensino fundamental 1 Auto: BARRETO, Daniela Jaqueline Tôes (Mestanda em Letas: Ensino de Língua e Liteatua) Oientadoa: FOSSILE,
Leia maisCIV 2552 Mét. Num. Prob. de Fluxo e Transporte em Meios Porosos. Método dos Elementos Finitos Fluxo 2D em regime transiente em reservatório
CIV 55 Mét. um. ob. de luo e aote em Meo ooo Método do Elemeto to luo D em egme taete em eevatóo Codçõe ca e aâmeto etete: eão cal: Ma emeabldade tíeca: -5 md m md ml-dac Vcodade dâmca: - µ Ma oe Comebldade
Leia mais5. Análise de Curtos-Circuitos ou Faltas. 5.2 Componentes Simétricos (ou Simétricas)
Sistemas Eléticos de Potência 5. nálise de utos-icuitos ou Faltas 5. omponentes Siméticos (ou Siméticas) Pofesso: D. Raphael ugusto de Souza enedito E-mail:aphaelbenedito@utfp.edu.b disponível em: http://paginapessoal.utfp.edu.b/aphaelbenedito
Leia maisESCOLA SECUNDÁRIA COM 3º CICLO D. DINIS COIMBRA 12º ANO DE ESCOLARIDADE MATEMÁTICA A. Tarefa nº 7 do plano de trabalho nº 1
ESCOLA SECUNDÁRIA COM 3º CICLO D. DINIS COIMBRA º ANO DE ESCOLARIDADE MATEMÁTICA A Taefa º 7 do plao de tabalho º. Comece po esolve o execício 3 da págia 0.. Muitas das geealizações feitas as divesas ciêcias,
Leia mais17. (PUC-SP)Se a 16. 19. (GV) Se x 3200000 e y 0, 00002, calcule o valor do produto x. y.
Um navio dipõe de eeva uficiente paa alimenta homen duante dia, ma ecebe obevivente de um naufágio eeva de alimento daão paa no máimo quanto dia? LIST 0 XRÍIOS GOMTRI PLN PROF ROGRINHO º nino Médio (Razão
Leia maisAula 20. Efeito Doppler
Aula 20 Efeito Doppler O efeito Doppler conite na frequência aparente, percebida por um oberador, em irtude do moimento relatio entre a fonte e o oberador. Cao I Fonte em repouo e oberador em moimento
Leia maisResolução de Equações Diferenciais Ordinárias por Série de Potências e Transformada de Laplace
Reolução de Equaçõe Diferenciai Ordinária por Série de Potência e Tranformada de Laplace Roberto Tocano Couto rtocano@id.uff.br Departamento de Matemática Aplicada Univeridade Federal Fluminene Niterói,
Leia maisEquações Diferenciais (GMA00112) Resolução de Equações Diferenciais por Séries e Transformada de Laplace
Equaçõe Diferenciai GMA Reolução de Equaçõe Diferenciai por Série e Tranformada de Laplace Roberto Tocano Couto tocano@im.uff.br Departamento de Matemática Aplicada Univeridade Federal Fluminene Niterói,
Leia maisCARACTERÍSTICA CONJUGADO x ROTAÇÃO DA MÁQUINA ASSÍNCRONA. José Roberto Cardoso. Circuito equivalente da Máquina Assíncrona
ARATERÍSTIA ONJUGADO x ROTAÇÃO DA MÁQUINA ASSÍNRONA Joé Robeto adoo icuito equivalente da Máquina Aíncona omo apeentado anteiomente, o cicuito equivalente modificado da máquina aíncona é dado po: A potência
Leia maisCINEMÁTICA INVERSA. Rodrigo Morante Blanco
CINEMÁICA INVERSA Rodigo Moante Blano Objetivo Cinemátia dieta Intodução Repeentação de Denavit-Hatenbeg (D-H Cinemátia invea Intodução Cálulo do jaobiano Invea genealizada anpota do jaobiano Cinemátia
Leia maisLógica A lógica fornece-nos regras e técnicas para determinar se um argumento é válido. Matemática. Lógica Demonstração de teoremas
Lógica Lógica A lógica fornece-nos regras e técnicas ara determinar se um argumento é válido. Matemática Lógica Demonstração de teoremas Ciências de comutação Lógica erificação de rogramas ida corrente
Leia maisMatemática do Ensino Médio vol.2
Matemática do Ensino Médio vol.2 Cap.11 Soluções 1) a) = 10 1, = 9m = 9000 litos. b) A áea do fundo é 10 = 0m 2 e a áea das paedes é (10 + + 10 + ) 1, = 51,2m 2. Como a áea que seá ladilhada é 0 + 51,2
Leia maisINSTITUTO NACIONAL DE PESQUISAS ESPACIAIS - INPE. Satélites Artificiais - Movimento de Atitude
Pof. Han-Ulich Pilchowki Nota de Aula Atuadoe Eletomagnético INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS - INPE Satélite Atificiai - Movimento de Atitude Aula de 25 de outubo de 2011 Código: CMC 316-4 Bobina
Leia maisIntervalo de Confiança para a Variância de uma População Distribuída Normalmente. Pode-se mostrar matematicamente que a variância amostral,
Etatítica II Antonio Roque Aula 8 Intervalo de Confiança para a Variância de uma População Ditribuída Normalmente Pode-e motrar matematicamente que a variância amotral, ( x x) n é um etimador não envieado
Leia maisColégio Santa Dorotéia Área de Matemática Disciplina: Matemática Ano: 8º - Ensino Fundamental Professores: Marcus e Wuledson
Cao(a) aluno(a), O momento de evião deve e vito como opotunidade de econtui conhecimento neceáio à continuação do poceo de apendizagem. Natualmente, a ealização dea atividade eigiá de você um envolvimento
Leia maissuur 03) (UPE 2007) Na figura abaixo a reta tangencia, em N, o círculo que passa por L, suur
Eta Geometia Plana Pof Eweton Paiva 01) (UFF 007) fim de elaboa um elemento de ua oba de ate, um eculto ua um pedaço de aame e contói uma cicunfeência, confome mota a figua P b) Pove que med(» ) med( E»
Leia maisCanguru Matemático sem Fronteiras 2019
Canguu Matemático sem onteias 209 Categoia: Mini-Escola - nível III Destinatáios: alunos do 4. o ano de escolaidade Nome: Tuma: Duação: h 0min Não podes usa calculadoa. Em cada uestão deves assinala a
Leia maise-física IFUSP 08 Movimento dos Projéteis Exercícios Resolvidos
e-fíica Enino de Fíica Online Inituto de Fíica da USP 8 Moimento do Projétei Eercício Reolido Eercício Reolido 8.1 A figura ilutra a ituação na ual em um determinado intante um projétil de maa m = kg ai
Leia mais2.5 Aplicações da lei de Gauss para distribuições de carga com simetria
.5 Aplicações da lei de Gauss paa distibuições de caga com simetia Paa distibuições de caga com alto gau de simetia, a lei de Gauss pemite calcula o campo elético com muita facilidade. Pecisamos explica
Leia maisESTABILIDADE MALHA FECHADA
Departamento de Engenharia Química e de Petróleo UFF Diciplina: TEQ- CONTROLE DE PROCESSOS ESTABILIDADE Método critério de Routh-Hurwitz Cao Epeciai Prof a Ninoka Bojorge ESTABILIDADE MALHA FECHADA Regiõe
Leia maisProvas finais. Prova final 1 1 Prova final 2 6 Soluções das Provas finais 10
Pova final Pova final 6 Soluções das 0 Pova final ESCOLA: NOME: N. O : TURMA: DATA: Cadeno (com calculadoa) 5 minutos Gupo I Paa cada uma das questões deste gupo, selecione a opção coeta de ente as altenativas
Leia maisCapítulo 8. Termoquímica
Caítulo 8 Temoquímica Objetivos Desenvolve uma visão geal sobe combustíveis e combustão Alica o Pincíio de Consevação da Massa a sistemas com eações químicas Defini gandezas utilizadas na análise da combustão,
Leia maisTensão Induzida por Fluxo Magnético Transformador
defi deartamento de fíica Laboratório de Fíica www.defi.ie.i.t Tenão Induzida or Fluxo Magnético Tranformador Intituto Suerior de Engenharia do Porto- Deartamento de Fíica Rua Dr. António Bernardino de
Leia maisCanguru Matemático sem Fronteiras 2019
Destinatáios: alunos dos 5. o e 6. o anos de escolaidade Nome: Tuma: Duação: h 30min Não podes usa calculadoa. Em cada uestão deves assinala a esposta coeta. As uestões estão agupadas em tês níveis: Poblemas
Leia maisMOVIMENTOS VERTICAIS NO VÁCUO
Diciplina de Fíica Aplicada A 1/ Curo de Tecnólogo em Getão Ambiental Profeora M. Valéria Epíndola Lea MOVIMENTOS VERTICAIS NO VÁCUO Agora etudaremo o movimento na direção verticai e etaremo deprezando
Leia mais= T B. = T Bloco A: F = m. = P Btang. s P A. 3. b. P x. Bloco B: = 2T s T = P B 2 s. s T = m 10 B 2. De (I) e (II): 6,8 m A. s m B
eolução Fíica FM.9 1. e Com bae na tabela, obervamo que o atleta etá com 5 kg acima do peo ideal. No gráfico, temo, para a meia maratona: 1 kg,7 min 5 kg x x,5 min. Na configuração apreentada, a força
Leia mais1 Transformada de Laplace de u c (t)
Tranformada de Laplace - Função de Heaviide Prof ETGalante Equaçõe diferenciai ob ação de funçõe decontínua aparecem com frequência na análie do uxo de corrente em circuito elétrico ou na vibraçõe de itema
Leia maisIMPLICAÇÃO LÓGICA. Prof.: Rafael Dias Ribeiro,M.Sc.
IMPLICAÇÃO LÓGICA Prof.: Rafael Dias Ribeiro,M.Sc. Imlicação Lógica O rocesso de inferência automática oderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma estratégia lenta e que ocuaria
Leia maisCanguru Matemático sem Fronteiras 2019
Canguu Matemático sem onteias 209 Destinatáios: alunos do 4. o ano de escolaidade Nome: Tuma: Duação: h 30min Não podes usa calculadoa. Em cada uestão deves assinala a esposta coeta. As uestões estão agupadas
Leia mais( ) ρ = ( kg/m ) ρ = 1000 kg/m 4ºC CAPÍTULO 5 MECÂNICA DOS FLUIDOS
CAPÍTULO 5 MECÂNICA DOS LUIDOS luidos são substâncias que odem flui, escoa-se com maio ou meno facilidade oque as suas moléculas: movem-se umas em edo das outas com equeno atito, como nos líquidos e estão
Leia maisProva Escrita de Matemática B
EXAME NACIONAL DO ENSINO SECUNDÁRIO Deceto-Lei n.º 139/01, de de julho Pova Escita de Matemática B 10.º e 11.º Anos de Escolaidade Pova 73/.ª Fase Citéios de Classificação 1 Páginas 013 COTAÇÕES GRUPO
Leia maisAula 08 Equações de Estado (parte I)
Aula 8 Equaçõe de Etado (parte I) Equaçõe de Etado input S output Já vimo no capítulo 4 ( Repreentação de Sitema ) uma forma de repreentar itema lineare e invariante no tempo (SLIT) atravé de uma função
Leia maisESCOLA SUPERIOR DE TECNOLOGIA
Deartamento Matemática Curo Engenharia do Ambiente º Semetre 1º Probabilidade e Etatítica Folha Nº 6: Análie de Variância No exercício que e eguem admite-e que a oulaçõe ão normai. 007/008 1. O dado da
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisSinais e Sistemas Mecatrónicos
Sinai e Sitema Mecatrónico Análie de Sitema no Domínio do Tempo Etabilidade Joé Sá da Cota Joé Sá da Cota T9 - Análie de Sitema no Tempo - Etabilidade 1 Análie e Projecto de Sitema A análie e a íntee (projecto)
Leia maisTUKEY Para obtenção da d.m.s. pelo Teste de TUKEY, basta calcular:
Compaação de Médias Quando a análise de vaiância de um expeimento nos mosta que as médias dos tatamentos avaliados não são estatisticamente iguais, passamos a ejeita a hipótese da nulidade h=0, e aceitamos
Leia mais4.4 Mais da geometria analítica de retas e planos
07 4.4 Mais da geometia analítica de etas e planos Equações da eta na foma simética Lembemos que uma eta, no planos casos acima, a foma simética é um caso paticula da equação na eta na foma geal ou no
Leia maisProbabilidade e Estatística
Probabilidade e Etatítica Material teórico Medida de Diperão ou Variação Reponável pelo Conteúdo: Profª M. Roangela Maura C. Bonici MEDIDAS DE DISPERSÃO OU VARIAÇÃO Introdução ao Conteúdo Cálculo da
Leia mais2 Cargas Móveis, Linhas de Influência e Envoltórias de Esforços
2 Carga óvei, Linha de Influência e Envoltória de Eforço 21 Introdução Para o dimenionamento de qualquer etrutura é neceário conhecer o eforço máximo e mínimo que ela apreentará ao er ubmetida ao carregamento
Leia maisO sistema M/M/1/GD/c/ Notação: A notação utilizada na teoria das filas é variada mas, em geral, as seguintes são comuns:
Notação: A notação utilizada na teoria da fila é variada ma, em geral, a eguinte ão omun: λ número médio de liente ue entram no itema or unidade de temo; µ número médio de liente atendido (ue aem do itema
Leia maisFísica Atómica e Nuclear Capítulo 7. Átomos Multilelectrónicos.
132 7.6. Acoplamento do Momento Angular. A informação dada atravé da ditribuição electrónica no átomo não é uficiente para decrever completamente o etado do átomo, uma vez que não explica como o momento
Leia maisLÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E COMPOSTAS Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com htt://www.rafaeldiasribeiro.com.br Autora: Prof. Dra. Denise Candal 1 Definição: Chama-se roosição
Leia maisIntrodução à Estrutura Atmosférica. Revisão de Eletricidade e Magnetismo : Lei de Coulomb
Intodução à stutua Atmosféica Revisão de leticidade e Magnetismo : Lei de Coulomb A caga elética é uma popiedade fundamental das paticulas elementaes, as uais são descitas como: elétons, pótons e neutons.
Leia maisTorque Eletromagnético de Máquinas CA. com Entreferro Constante
1. Intodução Apotila 4 Diciplina de Coneão de Enegia B Toque Eletoagnético de Máquina CA co Entefeo Contante Neta apotila ão abodado o pincipai apecto elacionado co a podução de toque e áquina de coente
Leia maisQuantas equações existem?
www2.jatai.ufg.br/oj/index.php/matematica Quanta equaçõe exitem? Rogério Céar do Santo Profeor da UnB - FUP profeorrogeriocear@gmail.com Reumo O trabalho conite em denir a altura de uma equação polinomial
Leia maisUNIVERSIDADE FEDERAL DO PARANÁ DEPARTAMENTO DE ECONOMIA PÓS-GRADUAÇÃO EM DESENVOLVIMENTO ECONÔMICO
UVERSDADE EDERAL DO ARAÁ DEARTAETO DE EOOA ÓS-GRADUAÇÃO E DESEVOLVETO EOÔO Discilina: acoeconomia (SE77) ofesso: José Luís Oeio onito: abio Hideki Ono. Data de entega: 07/04/004 ª Lista de Execícios Gabaito
Leia mais