SOLUCIÓN EJERCICIOS CON BASE EN LA CONDICIONAL G+
(Nivel Principiantes++)
PRIMERO:/~D
- -1. { I > [ ~ F > ( D > ~ E ) ] }
- -2. ( ~ F > I )
- -3. ~ F
- 4. ( ~ E > F )
- 5. E 4 , 3 MT
- 6. I 2 , 3 MP
- 7. [ ~ F > ( D > ~ E ) ] 1 , 6 MP
- 8. ( D > ~ E ) 7 , 3 MP
- 9. ~ D 8 , 5 MT
SEGUNDO: /L
- -1. [ ~ T > ( ~ E > L ) ]
- -2. ( T > E )
- -3. ~ E
- 4. ~ T 2 , 3 MT
- 5. ( ~ E > L ) 1 , 4 MP
- 6. L 5 , 3 MP
TERCERO: /~X
- -1. ( ~ B > O )
- -2. ( X > P )
- -3. ( P > ~ B )
- 4. ~ O
- 5. ( P > O ) 3 , 1 HS
- 6. ~ P 5 , 4 MT
- 7. ~ X 2 , 6 MT
CUARTO: /(~S>~X)
- -1. [ ( ~ S > P ) > ( W > ~ X ) ]
- -2. ( ~ S > W )
- -3. ( W > P )
- 4. ( ~ S > P ) 2 , 3 HS
- 5. ( W > ~ X ) 1 , 4 MP
- 6. ( ~ S > ~ X ) 2 , 5 HS
QUINTO: /(F=E)
- -1. ( R > T )
- -2. ( T > L )
- -3. { ~ C > [ ( R > T ) > ( F = E ) ] }
- -4. [ ( R > L ) > ~ C ]
- 5. ( R > L ) 1 , 2 HS
- 6. ~ C 4 , 5 MP
- 7. [ ( R > T ) > ( F = E ) ] 3 , 6 MP
- 8. ( F = E ) 7 , 1 MP
SEXTO: /~C
- -1. [ ~ B > ( C > ~ D ) ]
- -2. [ ~ E > ( ~ D > B ) ]
- -3. ( ~ E > ~ B )
- -4. ~ E
- 5. ~ B 3 , 4 MP
- 6. ( C > ~ D ) 1 , 5 MP
- 7. ( ~ D > B ) 2 , 4 MP
- 8. ( C > B ) 6 , 7 HS
- 9. ~ C 8 , 5 MT
SEPTIMO:/(T>G)
- -1. ( H > G )
- -2. ( R > H )
- -3. [ ( R > G ) > ( S > R ) ]
- -4. { ( S > G ) > [ ( S > H ) > ( T > R ) ] }
- 5. ( R > G ) 2 , 1 HS
- 6. ( S > R ) 3 , 5 MP
- 7. ( S > G ) 6 , 5 HS
- 8. [ ( S > H ) > ( T > R ) ] 4 , 7 MP
- 9. ( S > H ) 6 , 2 HS
- 10. ( T > R ) 8 , 9 MP
- 11. ( T > G ) 10 , 5 HS
OCTAVO:/C
- -1. ( ~ S > C )
- -2. { ~ B > [ ~ B > ( S > Q ) ] }
- -3. [ ( ~ S > C ) > ~ Q ]
- -4. { ~ Q > [ ~ Q > ( B > Q ) ] }
- 5. ~ Q 3 1 MP
- 6. [ ~ Q > ( B > Q ) ] 4 , 5 MP
- 7. [ ( ~ S > C ) > ( B > Q ) ] 3 , 6 HS
- 8. ( B > Q ) 7 , 1 MP
- 9. ~ B 8 , 5 MT
- 10. [ ~ B > ( S > Q ) ] 2 , 9 MP
- 11. ( S > Q ) 10 , 9 MP
- 12. ~ S 11 , 5 MT
- 13. C 1 , 12 MP
NOVENO:/~C
- -1. [ ~ B > ( C > ~ D ) ]
- -2. [ ~ E > ( ~ D > B ) ]
- -3. ( ~ E > ~ B )
- -4. ~ E
- 5. [ ~ E > ( C > ~ D ) ] 3 , 1 HS
- 6. ( C > ~ D ) 5 , 4 MP
- 7. ( ~ D > B ) 2 , 4 MP
- 8. ( C > B ) 6 , 7 HS
- 9. ~ B 3 , 4 MP
- 10. ~ C 8 , 9 MT
DECIMO:/M
- -1. ( ~ T > M )
- -2. { ~ H > [ ~ H > ( T > H ) ] }
- -3. [ ( ~ T > M ) > ~ H ]
- 4. { ( ~ T > M ) > [ ~ H > ( T > H ) ] } 3 , 2 HS
- 5. [ ~ H > ( T > H ) ] 4 , 1 MP
- 6. [ ( ~ T > M ) > ( T > H ) ] 3 , 5 HS
- 7. ( T > H ) 6 , 1 MP
- 8. ~ H 3 , 1 MP
- 9. ~ T 7 , 8 MT
- 10. M 1 , 9 MP
Principiantes++