Conceitos Essenciais de Lógica e Argumentação
Classificado em Filosofia e Ética
Escrito em em português com um tamanho de 12 KB
Conjunçao: só é V quando for VV
Dijunçao: só é F quando for FF
Dijunçao exclusiva: e F quando for FF ou VV
Condicional(p->q): é F quando o antecedente (p) for V e o (q) for F.
Bicondicional: só é V quando for VV ou FF
Valor lógico:
Tautologia: sempre V
Contradiçao: sempre F
conigentes ou indeterminado: V e F
Tabela de verdade: calcular valor de verdade de props compostas
P<-> ~(q r) ->
- 3 variaveis= 3 colunas ; 3 conectivas= + 3 colunas
2elevado a 3(vareaveis)=8 linhas
Inspector de circusntancias : Calcula a validade dos argumentos
forma semântica-> p->q, ~q |= ~P
é tudo por ordem, e cada conectiva separada. (dizer se é válido ou invalido/coerente ou nao)
FORMAS DE INFERENCIA
"Modus Ponendo Ponenes" : A->... Continue a ler "Conceitos Essenciais de Lógica e Argumentação" »