RESUMO DE FORMULAS

Prévia do material em texto

A: Todo ser humano é mortal.
E: Nenhuma fruta é de gosto amargo.
I: Algum pássaro é capaz de nadar.
O: Algum móvel da sala não é feito de madeira.
A1: Todo x que é ser humano também é mortal.
E1: Nenhum x que é fruta também é de gosto amargo.
I1: Algum x que é pássaro também é capaz de nadar.
O1: Algum x que é móvel da sala também não é feito de madeira.
A2: Para todo x, se x é ser humano, então x é mortal.
E2: Para todo x, se x é fruta, então x não é de gosto amargo.
I2: Existe pelo menos um x tal que x é pássaro e x é capaz de nadar.
O2: Existe pelo menos um x tal que x é móvel da sala e x não é feito de madeira.
A3: ∀x ∈ D (H(x) → M(x))
E3: ∀x ∈ D (F(x) → ¬ A(x))
I3: ∃x ∈ D (P(x) ∧ N(x))
O3: ∃x ∈ D (S(x) ∧ ¬ D(x))
Para ajudar na realização desta tarefa, disponibilizamos o exemplo abaixo comentado. Por exemplo, temos a sentença abaixo, montaremos o argumento e a demonstração.
Todo microcomputador tem uma porta serial. Alguns microcomputadores têm uma porta paralela. Portanto, alguns microcomputadores têm uma portal serial e uma porta paralela.
Notação:
M(x) para "x é um microcomputador"
S(x) para "x tem uma porta serial"
P(x) para "x tem uma porta paralela" Formalização do argumento a partir da notação.
Ax (M(x) -> S(x)), Ex (M(x) ^ P(x)) |- Ex (M(x) ^ (S(x) ^ P(x)))
Demonstração do argumento.
	1.
	Ax (M(x) -> S(x))
	hip.
	2.
	Ex (M(x) ^ P(x))
	hip.
	3.
	M(a) ^ P(a)
	2, pe
	4.
	M(a) -> S(a)
	1, pu
	5.
	M(a)
	3,sp
	6.
	S(a)
	4,5 mp
	7.
	M(a) ^ P(a) ^ S(a)
	3,6,cj
	8.
	Ex (M(x) ^ (S(x) ^ P(x)))
	7,ge