Lógica Flashcards
(17 cards)
~p
negação
pVq
disjunção (OU)
BASTA UMA ser V para ser V
pV̲q
disjunção exclusiva (OU…OU)
APENAS UMA pode ser V para ser V
p^q
conjunção (E)
TODAS tem que ser V para ser V
p → q
condicional (SE…ENTÃO)
só Vera Fisher é Falsa (só é F se 1ª v e 2ª f)
p ↔ q
bicondicional (SE E SOMENTE SE)
só é V se forem iguais (VV ou FF)
concluí-se algo a partir de uma situação semelhante
ANALOGIA
concluí-se algo tirando uma conclusão a partir de evidências indiretas (2 premissas juntas levam a uma conclusão)
INFERÊNCIA
parte de uma “premissa universal” invariavelmente verdadeira para chegar a conclusão
DEDUÇÃO
a partir de casos particulares define uma premissa geral
INDUÇÃO
cria hipotese mais provável, sem garantia de ser verdade
ABDUÇÃO
número de linhas na tabela da verdade
2ⁿ (n=número de proposições)
2 Leis de Morgan
OU vira E
E vira OU
~(p ∧ q) = ~p V ~q
~(p ∨ q) = ~p ∧ ~q
negação: ~(p→q)
p ∧ ~q (MAntém a 1ª E NEga a segunda)
negação: ~(p ↔ q)
~p ↔ q
p ↔ ~q
p V̲ q
equivalências a p→q
~p → ~q
~p V q
tautologia e contradição
tautologia- sempre verdadeira
contradição- sempre falsa