Lógica

 

Proposição: toda declaração que pode ser classificada em verdadeira (V) ou falsa (F).

 

Exemplos:

 

São proposições:

 

  1. nove é diferente de cinco
  2. sete é maior que três
  3. três é divisor de onze

Não são proposições:

 

  1. três vezes cinco mais um
  2. o triplo de um número

Negação (~)

 

1. p: nove é diferente de cinco

np: nove é igual a cinco

2. p: quatro vezes cinco é igual a vinte

np: quatro vezes cinco é diferente de vinte

 

Proposição composta

Conectivos

1) conectivo ^ (e)

2) conectivo v (ou)

Exemplo:

hoje está chovendo e faz calor (p^q)

hoje está chovendo ou faz calor (p v q)

Tautologia: se ambos forem v ou f

contigência: se houver valores lógicos alternados

contradição: tudo falso

Condicional ->  (se, então)

Se a taxa de juros é baixa, então o computador é barato ( p -> q)

bicondicional <-> ( se e somente se)

O computador é barato se, e somente se a taxa de juros é baixa. ( p <-> q )