aula 00 Flashcards
Quais são as Leis de Morgan?
Para que elas servem?
- Para negar uma proposição composta pelo conectivo “OU”, negue os componentes e troque o conectivo pelo “E”.
- Para negar uma proposição composta pelo conectivo “E”, negue os componentes e troque o conectivo pelo “OU”.
- Elas servem para negar proposições compostas pelo conectivos “E” e “OU”.
Em uma proposição simples, se quisermos a negação precisaremos modificar o objeto e o verbo?
Não, apenas o verbo.
A empresa entrega o que promete.
A empresa não entrega o que promete.
Considerando uma proposição composta, o que é a “consequente”?
É a segunda proposição de uma proposição composta.
Quais são as 3 leis do pensamento?
1) P. da IDENTIDADE - se é verdade, é tão verdade quanto outra proposição verdadeira qualquer. Não existem patamares de verdade.
2) P. do TERCEIRO EXCLUÍDO - ou uma proposição é verdadeira ou é falsa, ela não pode ser uma 3ª coisa.
3) P. da NÃO CONTRADIÇÃO - ou uma proposição é verdadeira ou é falsa, ela não pode ser as duas coisas.
Que expressões não podem ser proposições lógicas?
Só será uma proposição a ORAÇÃO DECLARATIVA, passível de valoração como Falsa ou Verdadeira.
1) Exclamativas;
2) Interrogativas;
3) Imperativas;
4) Opinativas (expressão de sentimento);
5) Paradoxos (frases ilógicas);
6) Sentenças abertas (ele é rico).
O que são proposições compostas?
São aquelas formadas por duas proposições, ligadas por um conectivo (de conjunção ou de disjunção) ou por um condicional. Os conectivos de disjunção podem ser inclusivos ou exclusivos.
Proposições compostas: Condicionais
ou
Conectivos: Conjunção ou Disjunção (inclusiva ou exclusiva).
Quais os sinais gráficos que identificam os conectivos e condicionais?
Conjunção - “ꓥ” - “E”
Disjunção Inclusiva - “v” - “OU”
Disj. Exclusiva - “v” (sublinhado). - “ou ___, ou___” (mas não ambos).
Implicação (condicional) –> se___então___.
Bincondicional - <–> - se, e só se
(equivalência lógica)
Como checar qual número de linhas tem uma tabela-verdade?
Devemos checar primeiro quantas proposições há e então elevar o número 2 ao número de proposições.
Como se dá, na tabela-verdade, a relação entre duas proposições unidas pelo conectivo “ꓥ” (e)? E pelo conectivo “v” (ou)?
P Q PꓥQ
V V V
V F F
F V F
F F F
P Q PvQ
V V V
V F V
F V V
F F F
Como se dá, na tabela-verdade, a relação entre duas proposições unidas pelo conectivo de disjunção exclusiva?
E com relação ao conectivo condicional?
P Q P v_Q
V V F
V F V
F V V
F F F
P Q P–>Q
V V V
V F F
F V V
F F V
Como são resolvidas as proposições compostas?
Conjunção (PꓥQ) - Só é V, se ambos forem V.
Disjunção inclusiva (PvQ) - Será V se P e/ou Q forem V. Só é F quando ambos são F.
Disjunção exclusiva (Pv_Q) - Só é V quando P ou Q forem V, não os dois.
Condicional (P–>Q) - Só será F se o “P” for V e o “Q” for F, nas demais hipóteses será V.
Bincondicional (<–>) - Só será V, quando P e Q coincidirem, isto é, quando ambos forem V ou F, ao mesmo tempo. Sempre que eles forem diferentes ela será F.
O que é uma tautologia?
TAUTOLOGIA é uma tabela verdade em que as proposições compostas resultam com a última coluna da direita toda tomada pelo valor lógico “V”.
Quando por outra lado a tabela resulta em uma última coluna tomada só pelo valor lógico “F”, teremos uma CONTRADIÇÃO.
Se os resultados na última coluna forem variados, teremos o resultado mais usual, uma CONTINGÊNCIA.
P<–>Q é o mesmo que
[(p –> q) ꓥ (q –> p)] ?
Será que uma bicondicional é igual a duas condicionais ligadas pelo conectivo conjuntivo?
Se fizermos a tabela-verdade, comprovaremos facilmente que sim. A última coluna nas duas tabelas é exatamente idêntica.
Que frases não podem ser proposições?
1) Interrogativas: “Eu posso”?
2) Exclamativas: “Viva”!
3) Imperativas: “Faça isso”!
4) Sent. Abertas: “Ele sabe”.
5) Opinativa:
5.1-Desejo: Eu quero…
5.2 - Sentimento: Eu amo…
5.3 - Opinião: Eu acho…
7) Sent. Ilógicas (Paradoxos): “Se é grande é pequeno”.
Quando é que duas proposições são logicamente equivalentes?
Para descobrir qual a expressão logicamente equivalente devemos comparar suas tabelas-verdade.
Podemos checar uma expressão informada negando o antecedente e o consequente, trocando a ordem e mantendo o conectivo. ou
Negando o antecedente e trocando conectivo por ou.
