CURSO: MATEMTICA

1 SEMESTRE
Lgica Matemtica Aula 02

PROF. ELIZA MARIA

4. Construo da Tabela-verdade
Para se construir a tabela-verdade de uma proposio composta dada, procede-se da seguinte maneira: a) b) Determina-se o nmero de linhas da tabela-verdade que se quer construir; Observa-se a precedncia entre os conectivos, isto , determina-se a forma das proposies que ocorrem no problema; c) Aplicam-se as definies das operaes lgicas que o problema exigir.

Exemplos: Construir a tabela-verdade das proposies abaixo: 1) p ^ ~q v ~p p F F V V q F V F V ~p V V F F ~q V F V F P^~q F F V F P^~q v ~p V V V F

P(FF,FV,VF,VV) = VVVF p q v~p p q ~p q v ~p P q v ~p

2)

P(FF,FV,VF,VV) = VVFV ~(p ^ q) v ~ (q p) p q p^q ~(p ^ q) qp ~(q p) ~(p ^ q) v ~(q p)

3)

P(FF,FV,VF,VV) = VVVF p v ~r ~q ^ r p q r ~q ~r ~q ^ r p v ~r p v ~r ~q ^ r

4)

P(FFF,FFV,FVF,FVV,VFF,VFV,VVF,VVV) = FVFVFVFF 5) (q p) ^ ~r ~(p v q)

~r

qp

pvq

~(p v q)

(q p) ^ ~r

(q p) ^ ~r ~(p v q)

P(FFF,FFV,FVF,FVV,VFF,VFV,VVF,VVV) = VFVVFVFV ~(p v ~q) ^ (r p q) p q r ~q p v ~q ~(p v ~q) pq rpq ~(p v ~q) ^ (r p q)

6)

P(FFF,FFV,FVF,FVV,VFF,VFV,VVF,VVV = FFFVFFFF

Exerccios:

1)

Construa a tabela-verdade das seguintes proposies: a) b) c) d) e) f) g) h) p^qpvq ~p (q p) q ~q ^ p (p ~q) ~p ^ q ~p ^ r q v r p r q v ~r p (p ~r) q v r (p q r v ~q) v ( ~p q ^~r p)