Prova

# 1) Ex Ay (P(x)->P(y)) |- Ay Ex (P(x)->P(y))

1. Ex Ay (P(x)->P(y)) pre
2. { a
3. { b Ay (P(b)->P(y)) hip
4. P(b)->P(a) Ae 3
5. Ex (P(x)->P(a)) Ei 4
}
6. Ex (P(x)->P(a)) Ee 1, 3-5
}
7. Ay Ex (P(x)->P(y)) Ai 2-6

# Representamos as afirmações através das seguintes fórmulas:

# 1. Ax (J(x)->E(x)) para "Todo jogador é um atleta"
# 2. Ax (E(x)->C(x)) para "Todo atleta tem uma alimentação balanceada"
# 3. Ex ~C(x) para "Alguém não tem uma alimentação balanceada"
# 4. Ex ~J(x) para "Alguém não é um jogador"
# Assim, devemos demonstrar que o raciocínio abaixo é válido:
# Ax (J(x)->E(x)), Ax (E(x)->C(x)), Ex ~C(x) |- Ex ~J(x)

1. Ax (J(x)->E(x)) pre
2. Ax (E(x)->C(x)) pre
3. Ex ~C(x) pre
4. { a ~C(a) hip
5. { J(a) hip
6. J(a)->E(a) Ae 1
7. E(a) ->e 6,5
8. E(a)->C(a) Ae 2
9. C(a) ->e 8,7
10. @ ~e 4, 9
}
11. ~J(a) ~i 5-10
12. Ex ~J(x) Ei 11
}
13. Ex ~J(x) Ee 3, 4-12

# Ex Ay (P(x)->P(y)) |- Ay Ex (P(x)->P(y))

1. T Ex Ay (P(x)->P(y)) pre
2. F Ay Ex (P(x)->P(y)) conclusao
3. T Ay (P(a)->P(y)) 1
4. F Ex (P(x)->P(b)) 2
5. T P(a)->P(b) 3
6. F P(a)->P(b) 4
7. T P(a) 6
8. F P(b) 6
9. { F P(a) 5
10. @ fechado 7, 9
}
11.{ T P(b) 5
12. @ fechado 8,11
}

# Representamos as afirmações através das seguintes fórmulas:

# 1. Ax (J(x)->E(x)) para "Todo jogador é um atleta"
# 2. Ax (E(x)->C(x)) para "Todo atleta tem uma alimentação balanceada"
# 3. Ex ~C(x) para "Alguém não tem uma alimentação balanceada"
# 4. Ex ~J(x) para "Alguém não é um jogador"
# Assim, devemos demonstrar que o raciocínio abaixo é válido:
# Ax (J(x)->E(x)), Ax (E(x)->C(x)), Ex ~C(x) |- Ex ~J(x)

1. T Ax (J(x)->E(x)) pre
2. T Ax (E(x)->C(x)) pre
3. T Ex ~C(x) pre
4. F Ex ~J(x) conclusao
5. T ~C(a) 3
6. F C(a) 5
7. F ~J(a) 4
8. T J(a) 7
9. T J(a)->E(a) 1
10. T E(a)->C(a) 2
11. { F J(a) 9
12. @ fechado 8, 11
}
13. { T E(a) 9
14. { F E(a) 10
15. @ fechado 14, 13
}
16. { T C(a) 10
17. @ fechado 6,16
}
}

# |- Ex Ay (~P(x)|P(y))

1. { ~Ex Ay (~P(x)|P(y)) hip

2. { a
3. { ~P(a) hip
4. ~P(a)|P(x) |i 3
5. { b
6. ~P(a)|P(b)
}
7. Ay (~P(a)|P(y))
Ex Ay (~P(X)|P(y))
@
}
P(a) raa
z. ~P(x)|P(a) |i
}
z. Ay (~P(x)|P(y)) Ai
z. Ex Ay (~P(x)|P(y)) Ei
z. @
}
z. Ex Ay (~P(x)|P(y)) raa
#Aqui jaz todos os meus "quases" com que essa questão divertidíssima (obg pelo
semestre prof)

# |- Ex Ay (~P(x)|P(y))

1. { ~Ex Ay (~P(x)|P(y)) hip

2. { a
3. { ~P(a) hip
4. { b
5. ~P(a)|P(b) |i 3
}
6. Ay (~P(a)|P(y)) Ai 4-5
7. Ex Ay (~P(x)|P(y)) Ei 6
@ ~e 1 7
}
8. P(a) raa 3-8
9. Ex P(x) Ei
10. { b P(b) hip
{ P(b) hip #a ideia era quem sabe puxar outra
variável mas acho que viajei demais e não casaria com a contradição
11. ~P(a)|P(b) |i 10
}
~P(b) ~i
}
#. ~P(b) Ee 9, 10-
}
z. Ay (~P(x)|P(y)) Ai
z. Ex Ay (~P(x)|P(y)) Ei
z. @
}
z. Ex Ay (~P(x)|P(y)) raa 1- 13

# |- Ex Ay (~P(x)|P(y))

1. { ~Ex Ay (~P(x)|P(y)) hip

2. { a
3. { ~P(a) hip
4. { b
5. ~P(a)|P(b) |i 3
}
6. Ay (~P(a)|P(y)) Ai 4-5
7. Ex Ay (~P(x)|P(y)) Ei 6
@ ~e 1 7
}
8. P(a) raa 3-8
9. Ex P(x) Ei
11. { b P(b) hip
12. ~P(a)|P(b) |i
}
13. ~P(a)|P(b)
}
10. Ay (~P(x)|P(y)) Ai
11. Ex Ay (~P(x)|P(y)) Ei
12. @
}
13. Ex Ay (~P(x)|P(y)) raa 1- 13

# |- Ex Ay (~P(x)|P(y))

1. { ~Ex Ay (~P(x)|P(y)) hip

2. { a
3. { ~P(a) hip
4. { b
5. ~P(a)|P(b) |i 3
}
6. Ay (~P(a)|P(y)) Ai 4-5
7. Ex Ay (~P(X)|P(y)) Ei 6
@ ~e 1 7
}
8. P(a) raa 3-8
9. ~P(x)|P(a) |i 8
 }
10. Ay (~P(x)|P(y)) Ai 1-
11. Ex Ay (~P(x)|P(y)) Ei
12. @
}
13. Ex Ay (~P(x)|P(y)) raa 1- 13