Raciocínio Lógico Flashcards
Quais são as três leis do pensamento ou princípios fundamentais da lógica proposicional?
- Princípio de Identidade afirma que se qualquer enunciado é verdadeiro, então ele é verdadeiro.
- O Princípio da Não contradição afirma que nenhum enunciado pode ser verdadeiro e falso.
- O Princípio do Terceiro Excluído afirma que um enunciado ou é verdadeiro ou é falso.
Há expressões às quais não se pode atribuir um valor lógico V ou F, tratam-se portanto de sentenças ___________
abertas
OBS.: Frases exclamativas são consideradas como sentenças abertas, pois expressam pensamentos subjetivos, aos quais não temos uma interpretação formal. Frases interrogativas são sempre sentenças abertas, assim como frases imperativas
O que são sentenças fechadas/proposições?
Pensamentos completos, aos quais podemos determinar o sujeito. E ao determinar o sujeito temos a possibilidade de dizer se são verdadeiros ou falsos
Obs.: Expressões não possuem sentido completo
Os quantificadores lógicos são responsáveis por transformar sentenças abertas em sentenças fechadas (proposições). Quais são esses quantificadores lógicos?
Todo (tudo, qualquer que seja, …): universal afirmativo
Nenhum (ninguém, não há, não existe): universal negativo
Algum (alguém, ao menos um, pelo menos um, existe): particular
Qual a diferença entre proposições simples e compostas?
Proposições simples são as proposições que expressam apenas um
pensamento. Proposições compostas são aquelas que expressam mais de um pensamento. As proposições compostas costumam ser chamadas de fórmulas proposicionais ou apenas fórmulas.
A lógica formal representa as afirmações que os indivíduos fazem em linguagem do cotidiano para apresentar fatos e se comunicar. Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F) (embora não se exija que o julgador seja capaz de decidir qual é a alternativa válida).
C ou E?
C
Símbolo do operador lógico condicional
“SE…, ENTÃO…” símbolo: →
Esse é o principal dos operadores lógicos, isso se dá pela incidência em questões de concursos públicos e também pela sua complexidade. Denomina-se condicional a proposição composta formada por duas proposições que estejam ligadas (operadas) pelo conectivo “Se…, então…”; “Quando”; “Como” etc. Exemplo: Se a prova foi difícil, então lógica foi fácil.
Também pode ser escrita das seguintes formas:
- Se a prova foi difícil, lógica foi fácil.
- A prova foi difícil, então lógica foi fácil.
- Quando a prova foi difícil, lógica é fácil
A → B: o elemento que está antes é chamado de antecedente. O termo que está depois é chamado de consequente
Símbolo do operador lógico bicondicional
“SE, E SOMENTE SE” símbolo: ↔
Tem-se agora o operador bicondicional, que será identificado pelo termo “se, e somente se”. A proposição composta é formada por duas proposições que estejam ligadas por esse conectivo.
Exemplo: A prova foi difícil se, e somente se, lógica foi fácil.
Obs.: O conectivo bicondicional pode ser comutado. Afirmar que “a prova foi difícil se, e somente se, lógica foi fácil” é o mesmo que afirmar “lógica foi fácil se, e somente se, a prova foi difícil”.
Símbolo do operador lógico de negação
Símbolo: ¬ OU ~
Exemplo: A prova não foi fácil
Não é verdade que a prova foi difícil
É falso que a prova foi difícil.
A sentença “A aprovação em um concurso é consequência de um
planejamento adequado de estudos” pode ser simbolicamente representada pela expressão lógica P→Q, em que P e Q são proposições adequadamente escolhidas?
Não, pois temos apenas uma proposição simples
Designando por p e q as proposições “Mariana tem tempo suficiente
para estudar” e “Mariana será aprovada nessa disciplina”, respectivamente, então a proposição “Mariana não tem tempo suficiente para estudar e não será aprovada nesta disciplina” é equivalente a ¬p ^ ¬q.
C ou E?
C
O conectivo “se, então” permite a comutação?
Não
Considere as seguintes proposições lógicas representadas pelas letras P, Q, R e S:
P: Nesse país o direito é respeitado.
Q: O país é próspero.
R: O cidadão se sente seguro.
S: Todos os trabalhadores têm emprego.
A proposição “Nesse país o direito é respeitado, mas o cidadão não se sente seguro” pode ser representada simbolicamente de que forma?
P ∧ (¬R)
Considere as seguintes proposições lógicas representadas pelas letras P, Q, R e S:
P: Nesse país o direito é respeitado.
Q: O país é próspero.
R: O cidadão se sente seguro.
S: Todos os trabalhadores têm emprego.
A proposição “Se o país é próspero, então todos os trabalhadores têm
emprego” pode ser representada simbolicamente de que forma?
Q → S
Considere as seguintes proposições lógicas representadas pelas letras P, Q, R e S:
P: Nesse país o direito é respeitado.
Q: O país é próspero.
R: O cidadão se sente seguro.
S: Todos os trabalhadores têm emprego.
A proposição “O país ser próspero e todos os trabalhadores terem emprego é uma consequência de, nesse país, o direito ser respeitado” pode ser representada simbolicamente de que forma?
país ser próspero = Q
e todos os trabalhadores terem emprego = S
o direito ser respeitado = P
A representação simbólica para a sentença é: P → (Q ∧ S)
Em uma proposição composta formada por n variáveis proposicionais,
ou seja, “n” pensamentos simples, a sua tabela verdade possuirá quantas linhas/valorações?
2 elevado a n
Se A, B, C e D forem proposições simples e distintas, então o número de linhas da tabela-verdade da proposição (A→ B) ↔ (C → D) será igual a ___
16
2 elevado a 4 = 16
O “e” representado pelo símbolo ˄ dá ideia de multiplicação e de ______________
interseção
Na tabela-verdade (a seguir) há 4 linhas. Se há 4 linhas, há 4 elementos, um que pertence só a A, outro que pertence aos dois, outro que só a B e um que não pertence a nenhum dos dois.
Cada linha corresponde a um elemento ou A ou B.
Para construir a tabela-verdade a seguir: O “e” só será verdade se for V V e o resto tudo falso
Quando se refere “verdade” é porque pertence ao conjunto A (cada linha corresponde a um elemento A ou B). Quando for “falso” é porque não pertence.
O elemento pertence ou não pertence.
O que se busca é o elemento que está na intercessão, o “e”.
Pertence a A e pertence a B.
Na segunda linha, o elemento que pertence a A, mas não pertence a B.
Na terceira linha, não pertence a A, mas pertence a B.
Na última linha, não pertence a A nem pertence a B.
Só será verdadeiro quando estiver na intercessão.
A conjunção possui uma propriedade chamada comutativa: a posição pode ser trocada
Na linguagem da lógica verbal e das tabelas-verdade, O OU dá ideia de soma ou de __________
união
O OU é o que está em azul na figura a seguir. Na tabela OU para ser verdade basta uma verdade. Na tabela E só é verdade se tudo for verdadeiro.
Obsimp.: Na interpretação de uma tabela-verdade sob a lógica dos conjuntos, o V é o mesmo que pertencer e o F é o mesmo que não pertencer
Na linguagem da lógica verbal e das tabelas-verdade, O OU… OU é a soma dos _________
exclusivos
OU um OU outro, é a união dos exclusivos: é o que pertence a R, mas não pertence a S e aquele que pertence a S, mas não pertence a R.
Quando é referido o OU… OU pode ser um OU (sem problema) e no final da frase, “mas não ambos”.
Cada linha é um elemento. O que se buscam são os elementos que estão na “exclusividade”.
Qual é o elemento que pertence a R e a S? O que não está em amarelo, pertence a R e a S, ao mesmo tempo. Não é exclusivo.
O elemento em R pertence apenas a R? Sim.
O elemento que não pertence a R, mas pertence a S? Sim, pertence a apenas um dos dois conjuntos.
Na última linha, não pertence a nenhum dos conjuntos
Na linguagem da lógica verbal e das tabelas-verdade, o símbolo → indica “implica”. Se A → B O conectivo condicional tem a ideia de A estar contido em B, é uma relação de _________
inclusão. O A é um subconjunto de B, o A está contido em B. SE A ENTÃO B, NÃO É EQUIVALENTE A SE B ENTÃO A, ou seja, não possuem propriedade comutativa
Se um elemento pertence ao conjunto A, também pertence ao conjunto B? Sim, porque A está contido em B.
Se um elemento pertence a A pode não pertencer a B? Não, porque A está contido em B, se o elemento pertence a A, claro que pertence a B (B é dono do A) (“Vera Fischer”).
Na terceira linha, o elemento não pertence a A, mas pertence a B? Sim.
Pode existir um elemento que não pertence a A e não pertence a B? Sim.
No operador lógico bicondicional “Se, e somente se”, o símbolo é ↔. Na sentença A ↔ B e sob a lógica da teoria dos conjuntos, é possível afirmar que A = B?
Sim
A ↔ B ⇔ A → B ∧ B → A
- Quando estudamos “Se A, então B”, A → B, vimos que → significa “está contido” (⊂); ou seja, o conjunto A está contido no conjunto B (A ⊂ B). Da mesma forma, B está contido em A em B → A (ou seja, B ⊂ A);
- O sinal ∧ é o mesmo que uma intersecção (∩). Se A está dentro de B e, ao mesmo tempo, B está dentro de A, pode-se inferir na bicondicional que A → B ∧ B → A (ou A ⊂B ∩ B ∩ A) só vai existir no mundo se ambos os conjuntos forem iguais: A = B.
Assim é mais fácil entender a tabela-verdade do “se, e somente se”, na qual V = pertence e F = não pertence. Analisemos cada combinação da tabela-verdade.
Considerando que os conjuntos A e B são iguais:
1ª linha = V: se o elemento pertence a A (V), ele também pertence a B (V);
2ª linha = F: se o elemento pertence a A (V), mas não pertence a B (F), isso é impossível, visto que os conjuntos são iguais;
3ª linha = F: da mesma forma, se o elemento não pertence a A (F), mas pertence a B (V), também não é possível; e
4ª linha = V: se o elemento não pertence a A nem a B, ele está fora de ambos
No operador lógico bicondicional “Se, e somente se”, o símbolo é ↔. Na sentença A ↔ B e sob a lógica da teoria dos conjuntos, é possível afirmar que A = B?
Sim
A ↔ B ⇔ A → B ∧ B → A
- Quando estudamos “Se A, então B”, A → B, vimos que → significa “está contido” (⊂); ou seja, o conjunto A está contido no conjunto B (A ⊂ B). Da mesma forma, B está contido em A em B → A (ou seja, B ⊂ A);
- O sinal ∧ é o mesmo que uma intersecção (∩). Se A está dentro de B e, ao mesmo tempo, B está dentro de A, pode-se inferir na bicondicional que A → B ∧ B → A (ou A ⊂B ∩ B ∩ A) só vai existir no mundo se ambos os conjuntos forem iguais: A = B.
Assim é mais fácil entender a tabela-verdade do “se, e somente se”, na qual V = pertence e F = não pertence. Analisemos cada combinação da tabela-verdade.
Considerando que os conjuntos A e B são iguais:
1ª linha = V: se o elemento pertence a A (V), ele também pertence a B (V);
2ª linha = F: se o elemento pertence a A (V), mas não pertence a B (F), isso é impossível, visto que os conjuntos são iguais;
3ª linha = F: da mesma forma, se o elemento não pertence a A (F), mas pertence a B (V), também não é possível; e
4ª linha = V: se o elemento não pertence a A nem a B, ele está fora de ambos
A ↔ B (se, e somente se) é uma bicondicional. Quais as nomenclaturas dessas duas condições?
Em A → B (se A, então B), de A para B é condição suficiente e de B para A é condição necessária. Já na bicondicional, as duas condições existem ao mesmo tempo; portanto: A ↔ B: A é condição necessária e suficiente para B.