Atividade 3 - Fundamentos para Computação

Prévia do material em texto

a) ~p = Não está calor -> FALSO
b) p ^ q = Está calor e está chovendo -> VERDADEIRO
c) p v q = Está calor ou está chovendo -> VERDADEIRO
d) p <-> q = Está calor se, e somente se, está chovendo -> VERDADEIRO
e) p -> ~q = Está calor se não está chovendo -> VERDADEIRO
f) q v ~p = Está chovendo ou não está calor -> FALSO
g) ~p -> ~q = Não está calor se não está chovendo -> VERDADEIRO
h) p <-> ~q = Está calor se, e somente se não está chovendo" = FALSO
i) ~(~q) = Não não está chovendo = VERDADEIRO
j) ~p -> q = Não está calor se, e somente se está chovendo = VERDADEIRO
Dado que:
p = “Está calor” 
q = “Está chovendo”
Simbologia:
~ (negação), ^ (conjunção (e)), v (disjunção (ou)), → (condicional (se p, então q)), ↔ (bicondicional (se e somente se))
Tabela Verdade
	p
	q
	~p
	~q
	a
	b
	c
	d
	e
	f
	g
	h
	i
	j
	
	
	
	
	~p
	p ˄ q
	p ˅ q
	p ↔ q
	p →~q
	q ˅ ~p
	~p → ~q
	p ↔ ~q
	~(~q)
	~p→ q
	V
	V
	F
	F
	F
	V
	V
	V
	F
	V
	V
	F
	V
	V
	V
	F
	F
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	V
	F
	V
	V
	F
	V
	F
	V
	F
	V
	V
	F
	V
	V
	V
	F
	F
	V
	V
	V
	F
	F
	V
	V
	V
	V
	F
	F
	F
1. Proposições Conjuntivas (˄): Só serão verdadeiras quando todos os elementos forem verdadeiros.
2. Proposições Disjuntivas (˅): Só serão falsas quando todos os elementos forem falsos.
3. Proposições Condicionais (→): Só serão falsas quando a primeira proposição for verdadeira e a segunda falsa.
4. Proposições Bicondicionais (↔): Só serão verdadeiras quando todos os elementos forem verdadeiros, ou todos os elementos forem falsos.
Logo: 
a) ~p = Não está calor → FALSO
b) p ˄ q = Está calor e está chovendo → VERDADEIRO
c) p ˅ q = Está calor ou está chovendo → VERDADEIRO
d) p ↔ q = Está calor se, e somente se, está chovendo → VERDADEIRO
e) p → ~q = Se está calor, então não está chovendo → FALSO
f) q ˅ ~p = Está chovendo ou não está calor → VERDADEIRO
g) ~p → ~q = Se não está calor, então não está chovendo → VERDADEIRO
h) p ↔ ~q = Está calor se, e somente se, não está chovendo" → FALSO
i) ~(~q) = Está chovendo→ VERDADEIRO
j) ~p → q = Se não está calor, então está chovendo→ VERDADEIRO