Lógica proposicional e conectivos

Prévia do material em texto

Proposição inversa
É quando os termos são invertidos.
Ex.:
Se João é culpado, então Mario é inocente (PQ)
Se João não é culpado, então Mario não é inocente. (~P~Q)
		P
	Q
	(pq)
	~p
	~q
	(~p~q)
	V
	V
	V
	F
	F
	V
	V
	F
	F
	F
	V
	V
	F
	V
	V
	V
	F
	F
	f
	f
	v
	v
	v
	v
	Regro de negação de uma condicional
- A negação de uma condicional é uma CONJUNÇÃO:
Ex.:
Se João é culpado, então Mario é inocente.(pq)
João é culpado e Maria não é inocente.(p^¬q)
	P
	Q
	(pq)
	~q
	(p^~q
	V
	V
	V
	F
	F
	V
	F
	F
	V
	V
	F
	V
	V
	F
	F
	f
	f
	v
	v
	F
Ex.: Se o tempo está nublado, então irá chover
Inversa?
Recíproca
Reciproca de uma afirmação é formada
permitando-se a hipótese e a conclusão
Ex.: Se ele é bom professor, então ele ensina bem.(pq)
Recíproca
Se ele ensina bem, então ele é um bom professor(pq)
Método dedutivo: É um método mais eficiente para exemplificar a demonstração de implicação e equivalências.
Ex.: Demonstrar a implicação:
P^q p (Simplificação)
	P
	Q
	(p^q)
	(p^q)->p
	V
	V
	V
	V
	V
	F
	F
	V
	F
	V
	F
	V
	F
	F
	F
	V
p pvq(adição)
	P
	Q
	(pvq)
	p->(pvq)
	V
	V
	V
	V
	V
	F
	V
	V
	F
	V
	V
	V
	F
	F
	F
	V
Negação conjunta de duas proposições
Definição
	“~p^~q”
Simboliza-se: p q
Tabela verdade da negação conjunta
	P
	Q
	P símbolo Q
	V
	V
	F
	V
	F
	F
	F
	V
	F
	F
	F
	V
 
 São chamados de conectivos de SCHEFFER
Negação disjunta de duas proposições
Definição:
	“~pv~q”
Simboliza-se: p q
Tabela verdade da negação disjunta
	P
	Q
	P^q
	V
	V
	F
	V
	F
	V
	F
	V
	V
	F
	F
	V
Exercício
Demonstrar por tabela-verdade que os três conectivos ~, V e ^exprime-se em função de conectivo de SCHEFFER DO SEGUNDO MOMENTO(NIADO)
~PP P
Resposta:
~p(~pv~p)
~p(~pv~p)
	P
	~p
	(~pv~p)
	~p(~pv~p)
	V
	F
	F
	V
	F
	V
	V
	V