Flashcards
ESTRUTURAS LÓGICAS
Cards in this deck (9)
- 1ESTRUTURAS LÓGICAS PROPOSIÇÕES -SENTIDO COMPLETO -REPRESENTADAS POR LETRAS (a, b, c, d, etc) VALORES LÓGICOS: VERDADEIRO OU FALSOPRINCÍPIOS:
* NÃO CONTRADIÇÃO
OU É V OU É F
* TERCEIRO EXCLUÍDO
NÃO HÁ UM TERCEIRO VALOR LÓGICO, APENAS V E F - 2PROPOSIÇÃO SIMPLES + CONECTIVO + PROPOSIÇÃO SIMPLES = PROPOSIÇÃO COMPOSTASÍMBOLOS
~ = NÃO, REPRESENTA O OPOSTO
^= CONJUNÇÃO "E"
v = DISJUNÇÃO "OU"
--> CONDICIONAL "SE, ENTÃO"
<--> = BICONDICIONAL "SE, E SOMENTE SE" - 3NEGAÇÃO ~ NEGAÇÃO DE ^ E = v OU NEGAÇÃO DE v OU = ^ E (NEM) ~(A ^ B) = ~A v ~B (NÃO OU NÃO) ~(A v B)= ~A ^~B (NÃO E NÃO (NEM)) ~--> MANTÉM A E NEGA B ~(A-->B)=A ^~B ~TODO = FURAR - "ALGUM" (NUNCA SERÁ NENHUM)CONECTIVO E
=
^
=
CONJUNÇÃO
=
P E Q
=
P COM Q
=
P ^ Q - 4TABELA VERDADE FÓRMULA: 2 ELEVADO AO Nº DE PROPOSIÇÕES TABELA VERDADE DE P^Q MACETE: PONTUALIDADE ^ ASSIDUIDADE = P E Q = MULHER EXIGENTE SÓ DÁ V SE FOR TUDO V
- 5CONECTIVO OU = v = DISJUNÇÃO MACETE MULHER AMÉLIA SÓ DÁ F SE FOR TUDO FDISJUNÇÃO INCLUSIVA V
=
P OU Q
DISJUNÇÃO EXCLUSIVA V_
OU P OU Q
P v_Q - 6TABELA VERDADE DE P V Q DISJUNÇÃO INCLUSIVATABELA VERDADE
DE P v_ Q
DISJUNÇÃO EXCLUSIVA
MACETE
MULHER EXCLUSIVA
=
SÓ É VERDADEIRO SE FOR DIFERENTE
- 7CONECTIVO SE ENTÃO = ---> = CONDICIONAL = SÓ DA F NA SEQUÊNCIA VFTABELA VERDADE DE CONDICIONAL
- 8CONECTIVO BICONDICIONAL = <<LÓGICA DE ARGUMENTAÇÃO
PROPOSIÇÕES CATEGÓRICAS=
TODO / ALGUM / NENHUM
ARGUMENTO POR DIAGRAMAS LÓGICOS
TODO=A 1ª PROPOSIÇÃO DENTRO DA 2ª
ALGUM=CONJUNTO INTERSECÇÃO
NENHUM=CONJUNTOS NÃO SE TOCAM - 9VALIDADE DO ARGUMENTO PREMISSAS VERDADEIRAS GERAM CONCLUSÃO VERDADEIRAEQUIVALÊNCIAS
Information
- Description
- CFO Raciocínio Lógico Flashcards on ESTRUTURAS LÓGICAS, created by Raquel Bragança on 13/02/2018.
- Created by
- Raquel Bragança
- Views
- 4
- Rating