- 6
- 12 143
Elisângela Silva Dias
เข้าร่วมเมื่อ 16 ก.ค. 2007
Mulheres na Computação - Projeto ADAs
Depoimentos de alunas, professoras e técnico-administrativas sobre as dificuldades de ser mulher em um ambiente predominantemente masculino, vida acadêmica e profissional.
มุมมอง: 188
วีดีโอ
Dedução natural - exercício 2
มุมมอง 3.3K8 ปีที่แล้ว
Lógica Matemática - Lógica Proposicional - Dedução natural.
Dedução natural - exercício 1
มุมมอง 8K8 ปีที่แล้ว
Lógica Matemática - Lógica Proposicional - Dedução natural.
Eu não consegui entender o motivo da introdução ao & na linha 4
Tem playlist aqui sobre esse conteúdo da lógica?
Tô procurando um vídeo que explica do zero e não acho
Muito boa a sua explicação, simples, objetiva!!!!
Parabéns Elisângela e a todas as envolvidas no vídeo!
Estude engenheria em uma universidade femenina no Peru, e acho nao tive muito essos problemas mas minhas colegas gostabam muito aprender a carrera de engenheria, a pesar das dificultades elas se esforzaban muito por aprender cada día.. Lamentablemente no mercado laboral existem muito essos problemas.. E lamentavel em este seculo..
professora, a senhora é 10
Gostei mais não explicou como um foi parar no 3 e outro no 8.
Na linha 8, eu tenho p->r, pois usei a regra do condicional introdução e p->r é o consequente da condicional da linha linha 9 ((~q->~p)->(p->r). Sendo assim, usando a mesma regra (condicional introdução), temos p como hipótese e r como conclusão (consequente) na linha 3, vindo da condicional da linha 8 (p->r).
Me ajudou muito, gostaria de ver mais videos desses.
Existe alguma calculadora para Dedução Natural? Ja procurei tanto e não acho.
Boa noite! Desconheço se existe alguma ferramenta que automatize estas resoluções.
Existe sim... O programa Fitch ... Está no livro Linguagem, logica, prova do John barwise ... Tem edição em português
@@historiaefilosofiaparaoens4800 esse programa fitch é só pra montar uma representação gráfica de uma prova pra pc, nao calcula nada acho
p & (q entao r) não seria assim? Desta forma que esta no quadro, sem os parenteses, não fica ambíguo?
Boa tarde! O correto é (p^q)-> r. Os parênteses foram omitidos porque pela ordem de prioridade sempre resolvemos a conjunção antes da implicação.
Se tivesse mais premissas, como chegaria a quantidade de linhas ?
Boa noite! A quantidade de linhas é um referencial que eu coloco para os meus alunos na prova. A priori, não sabemos a quantidade de linhas apenas olhando para a questão. Eu coloco para ajudá-los. O que você tem que fazer é colocar a primeira e a última linha e ir desenvolvendo.
Já neste está melhor,,,obrigado
Gostei bastante,mas a imagem do vídeo não está muito bem visível .
acho que sua net estava lenta no momento e diminuiu a qualidade.
Ajudou muito os videos. Obrigado professora.
Esse é basqueteiro meeeesmo!! kkkkkkk
Mas também hein!!!!!
INacreditável Futebol clube. Tenta Hebert que vc consegue!!!!