1 - Lógica Proposicional Clássica - Formas de Inferência Válidas

00:03:13
https://www.youtube.com/watch?v=gfFHu8v15vE

概要

TLDREl video explora formas válidas de inferencia lógica, centrándose en el modo Pons y Modus Tollens. Se presentan ejemplos prácticos para ilustrar cómo se aplican estos modos en afirmaciones y negaciones. También se discuten los silogismos hipotéticos y disyuntivos, explicando su forma lógica y dando ejemplos claros. Además, el video menciona las leyes de De Morgan, que son principios fundamentales en la lógica matemática. Se anima a la audiencia a realizar preguntas para aclarar dudas.

収穫

  • 🔍 Entender el modo Pons: A implica B, si A es verdadero, B es verdadero.
  • ❌ Modus Tollens: A implica B, si B es falso, A también es falso.
  • 📊 Silogismo hipotético: si A implica B y B implica C, entonces A implica C.
  • 🐕 Silogismo disyuntivo: O A o B, negando uno, se afirma el otro.
  • 📏 La equivalencia de proposiciones: dos proposiciones son equivalentes si tienen los mismos valores de verdad.
  • 📚 Leyes de De Morgan: transformaciones de negaciones en conjunciones y disyunciones.
  • 💬 Preguntas y comentarios son bienvenidos para aclarar dudas.
  • 🔗 Importancia de entender la lógica en matemáticas y razonamiento.

タイムライン

  • 00:00:00 - 00:03:13

    En esta primera parte, se discuten dos formas de inferencia válidas: modus ponens y modus tollens. Modus ponens establece que si 'A' implica 'B' y 'A' es verdadero, entonces 'B' también es verdadero. Un ejemplo dado es: si corro regularmente, entonces adelgazaré; como corro, se concluye que adelgazaré. Por otro lado, modus tollens establece que si 'A' implica 'B' y 'B' es falso, entonces 'A' también es falso, ilustrado con el ejemplo de no adelgazar a pesar de correr regularmente, lo que lleva a concluir que no se corre regularmente. Ambos modos contienen variables que pueden ser reemplazadas por diferentes proposiciones. Esto establece una base para discutir más sobre silogismos hipotéticos y disyuntivos, así como la importancia de las equivalencias lógicas en matemáticas.

マインドマップ

ビデオQ&A

  • ¿Qué es el modo Pons?

    Es un método de inferencia lógica que establece que si 'A' implica 'B' y 'A' es verdadero, entonces 'B' también es verdadero.

  • ¿Qué es Modus Tollens?

    Es un método lógico que afirma que si 'A' implica 'B' y 'B' es falso, entonces 'A' también es falso.

  • ¿Qué es un silogismo disyuntivo?

    Es una forma lógica que permite concluir que si al menos una de las disyunciones es verdadera y una es falsa, la otra debe ser verdadera.

  • ¿Cuál es la conexión con las leyes de De Morgan?

    Las leyes de De Morgan permiten transformar proposiciones lógicas de negación de conjunciones y disyunciones.

  • ¿Qué significa la equivalencia de proposiciones?

    Significa que dos proposiciones son equivalentes si tienen los mismos valores de verdad en todas las combinaciones posibles.

ビデオをもっと見る

AIを活用したYouTubeの無料動画要約に即アクセス！
字幕
pt
オートスクロール:
  • 00:00:00
    o Olá patronas vamos lá falar de formas
  • 00:00:04
    de inferência válidas duas influências
  • 00:00:06
    válidas importantes são modos Pons que
  • 00:00:09
    significa modo de afirmação e modus
  • 00:00:12
    tollens que significa modo negação não
  • 00:00:16
    sei se sou pronunciá-los bem mas penso
  • 00:00:18
    que tem
  • 00:00:20
    a estas influências tem as seguintes
  • 00:00:22
    formas lógicas se a então B
  • 00:00:27
    o presidente Ou seja a nesse caso logo
  • 00:00:31
    afirma consequente
  • 00:00:33
    é um exemplo disto seria se correr
  • 00:00:37
    regularmente Então vou emagrecer eu
  • 00:00:40
    corro claramente logo emagrecer
  • 00:00:45
    e já forma da segunda é a seguinte se a
  • 00:00:49
    então b não b logo não há por exemplo se
  • 00:00:58
    correr regularmente então fico mais
  • 00:01:00
    magro
  • 00:01:01
    e eu não fico mais magro logo não com
  • 00:01:04
    regularmente
  • 00:01:06
    E aí B são variáveis de forma o que
  • 00:01:09
    significa que podem ser substituídas por
  • 00:01:11
    qualquer proposição seja complexa ou não
  • 00:01:15
    desde que as formas não tenham corretas
  • 00:01:17
    está tudo bem né
  • 00:01:19
    em outras formas fala e ele escreve
  • 00:01:21
    saber são silogismo hipotético e seus
  • 00:01:25
    ismos desmotivo um silogismo hipotético
  • 00:01:28
    a forma lógica é se a então b c b então
  • 00:01:34
    cê logo se a Então você por isso no caso
  • 00:01:38
    maluca dizer se a então b então cê tanto
  • 00:01:41
    vamos lá dar outro exemplo
  • 00:01:42
    e se correr Então fique mais magro
  • 00:01:46
    eu fico mais magro fico mais saudável
  • 00:01:48
    logo se correr fique mais saudável
  • 00:01:52
    percebeste Espero que sim um silogismo
  • 00:01:56
    disjuntivo a forma lógica é afirmar a
  • 00:02:00
    disjunção seja a ouvir negar uma das
  • 00:02:03
    disjuntas a ouvir uma delas esse caso
  • 00:02:05
    bebê logo afirmar outra junta por
  • 00:02:10
    exemplo ou é cão ou gato não é tão logo
  • 00:02:16
    gato se duas formas proposicionais
  • 00:02:19
    tiverem valores de verdade iguais Então
  • 00:02:21
    são sempre equivalentes é matemática já
  • 00:02:25
    deve ter falar ele vai falar não
  • 00:02:27
    produtos das leis de Morgan e matemático
  • 00:02:30
    britânico mas e os 12 princípios
  • 00:02:33
    é A negação da disjunção ou B é igual a
  • 00:02:38
    conjunção não ah e não vê em matemática
  • 00:02:43
    deve ter visto negação ser representada
  • 00:02:45
    contra si Em cima Em vez de sinal de
  • 00:02:47
    negação que usamos aqui ó
  • 00:02:49
    12 A negação da conjunção e b =
  • 00:02:53
    disjunção não ah e não ver
  • 00:02:57
    nós estamos por aqui se tiveres dúvidas
  • 00:02:59
    deixem nos comentários ou enviados por
  • 00:03:01
    mensagem obrigado por nos ajudar e você
  • 00:03:03
    tudo bem
タグ
  • inferencia lógica
  • modo Pons
  • Modus Tollens
  • silogismo
  • disyuntivo
  • equivalencia
  • proposiciones
  • leyes de De Morgan
  • afirmación
  • negación