Lógica Flashcards
O que é uma Proposição ?
É uma afirmação
O que são os valores lógicos atribuidos a uma proposição?
Ser verdadeiro ou falso
Quais os princípios lógicos?
1) Terceiro excluido: não existe nada alem de sim ou não (não tem meio termo).
2) Não contradição: não tem como algo ser verdadeiro E falso.
O que é a negação?
Grafada por um ~, a partir de uma proposição “q”, pode-se construir a proposiçãp “~q”, de valor lógico oposto.
Ex: “s”: 2<3 “~s”: 2>= 3
O que é uma conjunção e qual seu valor lógico?
É a união de duas proposições:
p e q (^/”e”)
Seu valor lógico é: p e q só é verdadeira se ambas as proposições forem verdadeiras.
O que é uma disjução e qual seu valor lógico?
É uma proposição ou outra:
p ou q (“ou”/ v).
Seu falor lógico é: p ou q é falsa se ambas as proposições forem falsas.
o quue é uma condicional e qual seu valor lógico?
É quando uma proposição é se a outra for:
“se p então q” (p->q)
Seu valor lógico é: p->q é falsa somente quando a primeira (p) é verdadeira e a segunda (q) é falsa.
O que é uma bicondicional e qual seu valor lógico?
” p se e somente se q” (p<->q)
Valor lógico: p<->q será verdadeira quando p e q tiverem o mesmo valor lógico, ou seja, ambos sejam Verdadeiro ou Falso.
Quais as equivalencias lógicas de negação?
- ~(p e q) = ~p ou ~q
- ~(p ou q) = ~p e ~q
- ~(p->q) = p e ~q
Qual é a equivalencia lógica contra-posiiva?
p->q = ~q -> ~p
Quais os simbolos dos qualificadores lógicos?
“A” invertido: siginifica “qualquer que seja”/ “para todo”
“E” espelhado siginifica: “existe”
“E! espelhado e com exclamação significa: “existe um único”
Quais os qualificadoresuniversair e existenciais e como se pode nega-los?
Universais: todo e nenhum
Existenciais: existe e algum=pelo menos um
Só podemos nergal um qualficador universal com um existêncial e vice-versa
