Filosofia 10º ano - Lógica proposicional: Formalização em linguagem 💭

00:04:57
https://www.youtube.com/watch?v=lhJoxKYLSZw

Résumé

TLDRO vídeo analisa a lógica proposicional, focando em como argumentos cotidianos usam operadores lógicos como 'se... então'. As proposições simples formam a base da lógica e podem ser combinadas por conectivas, que são divididas em diferentes tipos como negação, conjunção e disjunção. Os parênteses são essenciais na estrutura lógica, pois definem o âmbito das conectivas. Exemplos práticos ilustram a aplicação da lógica na formalização de argumentos, destacando a importância de cada conectiva para o resultado final dos argumentos.

A retenir

  • 🤔 Palavras como 'se... então' são operadores lógicos.
  • 🔍 Proposições simples são a base da lógica.
  • 🧩 Conectivas combinam proposições para criar novas proposições.
  • 📏 Parênteses definem o âmbito das conectivas.
  • ⚖️ A verdade das proposições complexas depende das simples.
  • 🔄 Negação, conjunção e disjunção são tipos de conectivas.
  • ❓ Cada conectiva tem um simbolismo específico na lógica.
  • 📚 Exemplos práticos ajudam a entender a lógica.
  • 🐢 A lógica é importante na formalização de argumentos.
  • 💡 Cuidado com a colocação de parênteses!

Chronologie

  • 00:00:00 - 00:04:57

    No início do vídeo, discute-se a utilização de operadores condicionais nas conversas diárias, exemplificando com a expressão 'se... então'. Esses operadores são analisados dentro da lógica proposicional clássica, onde as proposições simples são destacadas como variáveis representadas por letras. As conectivas proposicionais são abordadas, dividindo-as em diferentes categorias como negação, conjunção, disjunção e condicionais, cada uma com seus respectivos símbolos. Também é ressaltada a importância do âmbito da conectiva e como ela se aplica às proposições em uma lógica formal. O vídeo prossegue com exemplos práticos de proposições e a relevância dos parênteses na lógica, finalizando com uma reflexão sobre a formalização de argumentos e a conclusão do tema com uma aplicação prática.

Carte mentale

Vidéo Q&R

  • Quais são as principais conectivas mencionadas no vídeo?

    Negação, conjunção, disjunção inclusiva e exclusiva, condicionais e bicondicionais.

Voir plus de résumés vidéo

Accédez instantanément à des résumés vidéo gratuits sur YouTube grâce à l'IA !
Sous-titres
pt
Défilement automatique:
  • 00:00:00
    é um dos nossos dias quando discutimos
  • 00:00:03
    com os nossos amigos ou amados ou amadas
  • 00:00:06
    usamos argumentos que tem palavras como
  • 00:00:09
    se então por exemplo do tipo se fizeste
  • 00:00:14
    like na foto dele então já não me amas
  • 00:00:17
    estas palavras têm o nome de operadores
  • 00:00:20
    profissionais
  • 00:00:22
    e para testarmos a validade destes
  • 00:00:24
    elementos utilizamos a lógica
  • 00:00:27
    proposicional clássica
  • 00:00:30
    e as proposições simples são aquelas que
  • 00:00:33
    não têm conectivas proposicionais o que
  • 00:00:35
    é isto perguntas tudo são expressões que
  • 00:00:38
    se adicionam a proposições de modo a
  • 00:00:40
    formar novas proposições tal como se
  • 00:00:43
    então que falamos há pouco as
  • 00:00:46
    proposições simples são representadas
  • 00:00:48
    por letras com PQ o f e tem o nome de
  • 00:00:52
    variáveis proposicionais
  • 00:00:55
    e dizemos que uma conectiva profissional
  • 00:00:58
    é verofuncional quando a verdade ou
  • 00:01:01
    falsidade a proposição mais complexa
  • 00:01:03
    depende apenas da Verdade ou falsidade
  • 00:01:05
    das proposições que a compõem
  • 00:01:08
    e as conectivas proposicionais
  • 00:01:09
    verofuncionais que se usam na lógica
  • 00:01:11
    proposicional são estas
  • 00:01:15
    e as conectivas de negação como não não
  • 00:01:18
    é verdade que ou é falso que são
  • 00:01:21
    representadas por este símbolo
  • 00:01:24
    e as conectiva se conjunção como e tanto
  • 00:01:28
    como mas também são representadas por
  • 00:01:32
    este símbolo já deve ter visto na
  • 00:01:34
    matemática
  • 00:01:38
    e as conectivas de disjunção inclusiva
  • 00:01:40
    como o A não ser que ou a menos que são
  • 00:01:44
    apresentadas por este símbolo
  • 00:01:48
    e as conectivas de disjunção exclusiva
  • 00:01:50
    como o o mas não vamos são representadas
  • 00:01:55
    por este símbolo
  • 00:01:57
    e depois temos as condicionais
  • 00:01:59
    é como se então o desde que ou só se
  • 00:02:03
    quer representar desta maneira e as
  • 00:02:06
    bicondicionais como se só se Se e
  • 00:02:10
    somente se condição necessária e
  • 00:02:11
    suficiente que é representada desta
  • 00:02:14
    maneira estas conectadas aplicam-se uma
  • 00:02:17
    determinada parte da fórmula que tem o
  • 00:02:19
    nome de âmbito
  • 00:02:20
    e a conectiva que se aplica a toda a
  • 00:02:23
    proposição é que têm maior hálito por
  • 00:02:26
    exemplo na proposição se vocês se
  • 00:02:28
    inscrever neste canal então eu não choro
  • 00:02:30
    todas as noites a conectiva não apenas
  • 00:02:34
    se aplica a parte que eu não chorar à
  • 00:02:35
    noite a conectiva se aplicasse a
  • 00:02:38
    proposição inteira assim dizemos que
  • 00:02:41
    conectiva se tem maior âmbito só como na
  • 00:02:44
    matemática e no português também aqui se
  • 00:02:47
    utilizam parentes
  • 00:02:49
    o podem parecer só um pequeno pormenor
  • 00:02:51
    mas aqui é muito importante não
  • 00:02:54
    acreditas Então vamos lá ver estas duas
  • 00:02:56
    proposições se não faça exercício então
  • 00:03:01
    sobrinho não é verdade se faz exercício
  • 00:03:04
    então sobrinho
  • 00:03:06
    e na proposição a indicação só se aplica
  • 00:03:10
    a proposição do exercício que
  • 00:03:11
    antecedente da condicional e a conectiva
  • 00:03:14
    da condicional aplica-se a toda a
  • 00:03:16
    proposição tendo maior âmbito Como já
  • 00:03:18
    vimos usando os símbolos que aprendemos
  • 00:03:20
    a pouco vamos formular esta proposição
  • 00:03:24
    oi Jana proposição B é negação aplicar
  • 00:03:27
    essa proposição inteira a formação
  • 00:03:29
    lógica é quase igual adiar sendo que a
  • 00:03:32
    única coisa que muda é o lugar dos
  • 00:03:34
    parênteses vez quando são importantes
  • 00:03:37
    e vamos ver outro exemplo
  • 00:03:40
    eu faço exercício isso não sou gordinho
  • 00:03:43
    Então posso comer pizza todos os dias se
  • 00:03:47
    Faça exercício e não sou gordinho Então
  • 00:03:50
    posso comer pizzas todos os dias se
  • 00:03:53
    olharmos para a formação lógica das duas
  • 00:03:55
    proposições vemos que mais uma vez
  • 00:03:57
    apenas se alteram os parênteses cuidado
  • 00:04:00
    com eles
  • 00:04:02
    e para concluir a formalização de
  • 00:04:05
    argumentos em linguagem lógica podemos
  • 00:04:07
    substituir a palavra logo com símbolos
  • 00:04:09
    conclusão com...
  • 00:04:13
    e vamos terminar este Episódio com um
  • 00:04:15
    exemplo
  • 00:04:17
    E se eu não comer pizza então não fique
  • 00:04:20
    gordinho
  • 00:04:22
    e eu como bastante pizza logo Sou
  • 00:04:26
    Gordinho
  • 00:04:27
    e vamos formalizar logicamente
  • 00:04:29
    instrumento enquanto eu acabo de comer
  • 00:04:31
    esta fatia
  • 00:04:34
    o e ficamos por aqui neste Episódio
  • 00:04:37
    obrigado por nos apoiar até já
  • 00:04:46
    E aí
  • 00:04:54
    E aí
Tags
  • lógica proposicional
  • proposições simples
  • conectivas
  • variáveis proposicionais
  • negação
  • conjunção
  • disjunção
  • condicionais
  • bicondicionais
  • argumentos