Please enable JavaScript.
Coggle requires JavaScript to display documents.
Matemática e lógica - Aula 03 - D245 - Coggle Diagram
Matemática e lógica - Aula 03 - D245
Diagramas de Euler-Venn
Todo A é B, então
Algum A é B, é necessariamente verdadeiro
Nenhum A é B, é necessariamente Falso
Algum A não é B, é necessariamente Falso
Algum A é B=Algum B é A, então
Nenhum A é B, é necessariamente Falso
Todo A é B e Algum A não é B, são indeterminados
Nenhum A é B, então
Todo A é B, é necessariamente Falso
Algum A não é B é necessariamente Verdadeiro
Algum A é B, é necessariamente Falso
Algum A não é B diferente de Algum B não é A
Nenhum A é B é indeterminado
Algum A é B é indeterminado
Todo A é B é falso
Algum se lê: "Pelo menos um"
Introdução aos argumentos
Tipo 1: Tem conclusões verdadeiras sempre que tem premissas verdadeiras. Exemplo: jesus é filho de Maria e José. Logo, Jesus é filho de Maria
Tipo 2: carecem de validade
Argumento
Premissa + Condção
Conjunto de proposições. Nem todo conjunto de proposições é argumento
Pode ter + de 1 premissa, mas uma só conclusão
Quando tem 2 premissas e 1 conclusão, é silogismo
Ambiguidade
Proposição é diferente de frase. Proposição é o que se quer dizer.
Uma proposição pode ser expressa por várias frases. Quando uma frase expressa várias proposições, é ambígua
Verdade e validade
Proposições: Verdadeiras ou falsas
Argumentos: Válidos ou inválidos
Admitir que as premissas são verdadeiras. Se a conclusão puder ser falsa, então o argumento é inválido, se não, é válido