Från professionella översättare, företag, webbsidor och fritt tillgängliga översättningsdatabaser.
indeed, infectious challenges are necessary for the development of a healthy immune system, and in order to prevent autoimmune conditions from emerging as a result of th2 dominance.
de hecho, los problemas infecciosos son necesarios para el desarrollo de un sistema inmunológico saludable, y con el fin de prevenir enfermedades autoinmunes como resultado del predominio del linfocito t cd4+.
thus th17 cells can develop into th1 and th2 cells under the influence of il-12 and il-4, respectively.
por tanto, las células th17 pueden convertirse en células th1 y th2 bajo la influencia de il-12 e il-4, respectivamente.
)rule then-1*: a ⊢ b→arule then-2*: a→(b→c) ⊢ (a→b)→(a→c)rule then-3*: a→(b→c) ⊢ b→(a→c)rule frg-1*: a→b ⊢ ¬b→¬arule th1*: a→b, b→c ⊢ a→ctheorem th1: (a→b)→((b→c)→(a→c))theorem th2: a→(¬a→¬b)theorem th3: ¬a→(a→¬b)theorem th4: ¬(a→¬b)→atheorem th5: (a→¬b)→(b→¬a)theorem th6: ¬(a→¬b)→btheorem th7: a→atheorem th8: a→((a→b)→b)theorem th9: b→((a→b)→b)theorem th10: a→(b→¬(a→¬b))note: ¬(a→¬b)→a (th4), ¬(a→¬b)→b (th6), and a→(b→¬(a→¬b)) (th10), so ¬(a→¬b) behaves just like a∧b (compare with axioms and-1, and-2, and and-3).
)==reglas y teoremas=="fbf → fórmula bien formada"====reglas then====regla then-1* a ⊢ b→aregla then-2* a→(b→c) ⊢ (a→b)→(a→c)regla then-3* a→(b→c) ⊢ b→(a→c)regla frg-1* a→b ⊢ ¬b→¬aregla th1* a→b, b→c ⊢ a→c===teoremas th===teorema th1* (a→b)→((b→c)→(a→c))teorema th2* a→(¬a→¬b)teorema th3* ¬a→(a→¬b)teorema th4* ¬(a→¬b)→ateorema th5* (a→¬b)→(b→¬a)teorema th6* ¬(a→¬b)→bteorema th7* a→ateorema th8* a→((a→b)→b)teorema th9* b→((a→b)→b)teorema th10* a→(b→¬(a→¬b))nota: ¬(a→¬b)→a (th4), ¬(a→¬b)→b (th6), y a→(b→¬(a→¬b)) (th10), entonces ¬(a→¬b) se comporta como a∧b.