Lógica Matemática - DSpace en ESPOL
Lógica Matemática - DSpace en ESPOL
Lógica Matemática - DSpace en ESPOL
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Lógica</strong> <strong>Matemática</strong><br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
Cont...<br />
Cont...<br />
<br />
<br />
<br />
<br />
Cont...<br />
Imaginemos que t<strong>en</strong>emos un número n de<br />
esferas.<br />
Sabemos que la primera esfera es roja, y<br />
que las demás esferas son rojas si todas<br />
las anteriores son rojas.<br />
A partir de estas dos proposiciones,<br />
podemos deducir que todas las esferas<br />
son rojas<br />
<br />
<br />
Cont...<br />
Principio de la Inducción <strong>Matemática</strong><br />
<br />
<br />
<br />
Supongamos que para cada <strong>en</strong>tero positivo n t<strong>en</strong>emos<br />
una afirmación S(n) que es verdadera o falsa.<br />
Suponemos que:<br />
a) S(1) es verdadera<br />
b) si S(i) es verdadera, para toda i