filosofia e arredores (questões básicas)
1. [(P Λ Q) Λ (R Λ S)] →P Premissa2. ¬P Premissa3. ¬[(P Λ Q) Λ (R Λ S)] 1,2, Modus Tollens4. ¬(P Λ Q) V ¬(R Λ S) 3, De Morgan Λ5. (¬P V ¬Q) V (¬R V ¬S) 4, De Morgan ΛJoana Tiago 11C
Logo à primeira! Certo, Joana. Parabéns.
Penso que seja assim:1.[(PΛQ) Λ (RΛS)]→P - Premissa2.¬P - Premissa3.¬[(PΛQ)Λ(RΛS)] 1,2 Modus tollens4.¬(PΛQ)V¬(RΛS) 3, De morgan Λ 5.(¬PV¬Q)V(¬RV¬S)4, De morgan ΛEspero que esteja certo!Inês Louzeiro Nº13
1- [(P Λ Q) Λ (R Λ S)] →P - premissa 2- ¬P - premissa3- ¬[(P Λ Q) Λ (R Λ S)] - 1,2, contraposição4- ¬(P Λ Q)∨¬(R Λ S) - 3, de morgan Λ5- (¬P ∨¬Q) ∨ (¬R ∨¬S) - 4 de morgan ΛRafael Gorgulho 11ºB
Rafael, a justificação do passo 3 está errada. Não é a contraposição que se aplica, mas o MT.
Stor, mais uma vez não consigo copiar a resolução para a caixa de comentários. Eu tenho feito e amanhã entrego.Mónica Serrão 11ºB
Stor como se mete estes símbolos aqui na caixa de comentários?Karla Muniz 11C
1. [(P Λ Q) Λ (R Λ S)] →P Premissa2. ¬P Premissa3. ¬[(P Λ Q) Λ (R Λ S)] 1,2,Modus Tollens4. ¬(P Λ Q) V ¬(R Λ S) 3,De Morgan Λ5. (¬P V ¬Q) V (¬R V ¬S) 4,De Morgan ΛJoana 11ºB
1. [(P∧Q)∧(R∧S)]->P Prem.2.¬P Prem.3.¬[(P∧Q) ∧ (R∧S)] 1,2,M. Tollens4.¬(P∨Q) ∨ ¬(R∨S) 3, De Morgan ∧5.(¬P∨¬Q) ∨ (¬R∨¬S) 4, De Morgan ∧Andreia Pomba, 11ºC
No passo quatro enganei-me.O correcto é este:4.¬(P∧Q) ∨ ¬(R∧S) 3, De Morgan ∧Andreia Pomba, 11ºC
1. [(P Λ Q) Λ (R Λ S)] →P Premissa
ResponderEliminar2. ¬P Premissa
3. ¬[(P Λ Q) Λ (R Λ S)] 1,2, Modus Tollens
4. ¬(P Λ Q) V ¬(R Λ S) 3, De Morgan Λ
5. (¬P V ¬Q) V (¬R V ¬S) 4, De Morgan Λ
Joana Tiago 11C
Logo à primeira! Certo, Joana. Parabéns.
ResponderEliminarPenso que seja assim:
ResponderEliminar1.[(PΛQ) Λ (RΛS)]→P - Premissa
2.¬P - Premissa
3.¬[(PΛQ)Λ(RΛS)] 1,2 Modus tollens
4.¬(PΛQ)V¬(RΛS) 3, De morgan Λ
5.(¬PV¬Q)V(¬RV¬S)4, De morgan Λ
Espero que esteja certo!
Inês Louzeiro Nº13
1- [(P Λ Q) Λ (R Λ S)] →P - premissa
ResponderEliminar2- ¬P - premissa
3- ¬[(P Λ Q) Λ (R Λ S)] - 1,2, contraposição
4- ¬(P Λ Q)∨¬(R Λ S) - 3, de morgan Λ
5- (¬P ∨¬Q) ∨ (¬R ∨¬S) - 4 de morgan Λ
Rafael Gorgulho 11ºB
Rafael, a justificação do passo 3 está errada. Não é a contraposição que se aplica, mas o MT.
ResponderEliminarStor, mais uma vez não consigo copiar a resolução para a caixa de comentários. Eu tenho feito e amanhã entrego.
ResponderEliminarMónica Serrão 11ºB
Stor como se mete estes símbolos aqui na caixa de comentários?
ResponderEliminarKarla Muniz 11C
1. [(P Λ Q) Λ (R Λ S)] →P Premissa
ResponderEliminar2. ¬P Premissa
3. ¬[(P Λ Q) Λ (R Λ S)] 1,2,Modus Tollens
4. ¬(P Λ Q) V ¬(R Λ S) 3,De Morgan Λ
5. (¬P V ¬Q) V (¬R V ¬S) 4,De Morgan Λ
Joana 11ºB
1. [(P∧Q)∧(R∧S)]->P Prem.
ResponderEliminar2.¬P Prem.
3.¬[(P∧Q) ∧ (R∧S)] 1,2,M. Tollens
4.¬(P∨Q) ∨ ¬(R∨S) 3, De Morgan ∧
5.(¬P∨¬Q) ∨ (¬R∨¬S) 4, De Morgan ∧
Andreia Pomba, 11ºC
No passo quatro enganei-me.
ResponderEliminarO correcto é este:
4.¬(P∧Q) ∨ ¬(R∧S) 3, De Morgan ∧
Andreia Pomba, 11ºC