Diagramas Lógicos Flashcards
O que são proposições categóricas?
São proposições lógicas formadas por um quantificador.
Quais são os “quantificadores” que caem em prova?
- Todo / Qualquer (quantificador universal positivo).
- Nenhum (quantificador universal negativo).
- EPA - (quantificador existencial).
E - Existe
P - Pelo menos um
A - Algum
Porque o NENHUM é considerado também um quantificador universal?
Vamos dar um exemplo.
Quando eu falo: NENHUM brasileiro gosta de politica.
Quando eu digo “nenhum” estou querendo dizer que TODOS os brasileiros não gostam de politica. Por isso ele é universal.
Alguns brasileiros gostam de samba.
Na frase, quero dizem que todos os brasileiros gostam de samba?
Não, apenas alguns. O “algum” é um quantificador existencial e não universal.
Existe / Pelo menos um / Algum - São sinônimos para o raciocínio lógico. Quando digo “Existe” vale também para o “Pelo menos um” e “Algum”.
É correto afirmar que só vamos trabalhar com um diagrama lógico quando houver a presença de um quantificador?
Correto.
Proposições do tipo “Todo A é B” afirmam que o conjunto A é um subconjunto do conjunto B. Ou seja: A está contido em B ou B contém A.
Está correto.
Correto.
Ver gráfico pág. 14 caderno.
“Todo” nordestino gosta de forró.
Como seria a representação do diagrama?
Nordestino é o circulo que fica dentro “menor” do circulo “forró” que vai ser o maior circulo.
Atenção: Sempre quando o enunciado começa com “todo” seguido de “gosta” ou “é” o que ele fala primeiro fica com o circulo menor “dentro”, o que ele fala depois fica no circulo maior, “fora”.
Dizer que todo A é B não significa o mesmo que dizer que todo B é A. Está correto?
Está correto, pois não atende a comutativa, ou seja, se você mudar a ordem, você altera o resultado.
Exemplo:
A = nordestino
B = Forró
Eu dizer que todo nordestino gosta de forró, eu estou dizendo que só gosta de forró quem é nordestino? NÃO. O que impede “eu” por exemplo, que não sou nordestino, de gostar de forró, entende!
É correto afirmar que o quantitativo positivo “Todo” trás dentro dele o conectivo “Se então”?
Correto:
Ambos não são comutativos, ou seja, Se você alterar a ordem de A e B o resultado muda.
Exemplo:
Todo paulista é brasileiro.
Se é paulista, então é brasileiro.
“TODO” A é B. Dito isso, eu posso garantir que “ALGUM” A É B?
Sim!
Todo = Quantificador universal positivo.
Algum = Quantificador quantitativo.
Exemplo:
A = Paulista
B = Brasileiro.
Todo paulista é brasileiro.
Algum paulista é brasileiro = Verdadeiro.
Porque o algum é uma parte dentro do todo. Se TODOS são brasileiros, ALGUNS também vão ser.
Afirmações recorrentes:
A = Paulista
B = Brasileiro.
Frase: Todo A “paulista” é B “brasileiro”
Responda cada questão com VERDADEIRO / FALSO / INDETERMINADO.
- Nenhuma A é B.
- Algum A é B ou Algum B é A.
- Algum A não é B.
- Quem não é A, não é B.
- Quem não é B, não é A
6 Algum B não é A.
- Falsa
Se a preposição diz que todo paulista é brasileiro, como eu posso dizer que nenhuma paulista é brasileiro? - Verdadeiro.
Porque o algum é uma parte dentro do todo. Se TODOS são brasileiros, ALGUNS também vão ser. - Falso
Pois o próprio enunciado diz que “TODO - quantificador universal positivo” paulista é brasileiro. Impossível “ALGUM - quantificador existencial” paulista não ser brasileiro. - Indeterminado. Pois quem não é paulista pode ser brasileiro pois nasceu em outro estado, mas pode ser também estrangeiro. Em RLM só marcamos uma questão quando for certeza que é a correta.
- Verdadeiro, pois quem não é brasileiro, não é paulista. Lembre-se do diagrama. Quem não é brasileiro está fora do “bola maior” do diagrama.
- Indeterminado.
Lembre-se
Para questões com o quantificador “TODO”
Nas alternativas
Quem não é A, não é B - Indeterminado
Algum B não é A - Indeterminado.
Não marque-as.
14/01
INICIO - QUANTIFICADOR NENHUM
O que significa conjunto disjuntos?
Significa que eles estão separados.
Se eu dizer que “NENHUM” A é B significa que os conjuntos A e B são disjuntos?
Correto! Isto é, não tem elementos em comum. Disjuntos significa separados.
Dizer que nenhum A é B é logicamente equivalente a dizer que nenhum B é A?
Correto! Atende a comutatividade.