Estruturas Lógicas

Estruturas Lógicas

Proposições
1. Declaração (oração completa) e pode ser V ou F
2. Não pode expressar opinião
3. Não pode ser paradoxo
  1. Ex.: Eu sou mentiroso
Modificador ~ / ¬
1. Não é verdade que... É falso que...
2. Troca o valor da proposição
3. Modifica o verdo
Conectivos
1. Usados em proposições compostas
  1. Proposições sem conectivo e sujeito composto= Proposição simples
2. Conjunção e/^/mas/nem
  1. p q p^q V V V V F F F V F F F F
    1. Verdade quando ambos forem verdade
3. Disjunção ou / \/
  1. p q p\/q V V V V F V F V V F F F
    1. Falso quando ambos forem falsos
4. Disjunção exclusiva ou... ou / \/
  1. p q p\/q V V F V F V F V V F F F
    1. Verdade quando apenas um for verdade
5. Condicional Se... Então / ->
  1. p q p->q V V V V F F F V V F F V
    1. Falso quando Vera Fischer (V->F)
6. Bicondicional Se e somente se <->
  1. p q p<->q V V V V F F F V F F F V
    1. Verdade quando os valores são iguais
Equivalências lógicas
1. Mesma tabela verdade
  1. p<->q = (p->q)^(q->p)
  2. p->q = ~q->p = ~p\/q
Tabela Verdade
1. Nº de linhas = 2^n (n=nº proposições)
Tautologia
1. Todos valores V
Contradição
1. Todos valores F
Contigência
1. Valores V e F

Resumen del Recurso

	Creado por Paulo Rogério Gomes Sampaio hace alrededor de 12 años