>p = v.</p>
<p>si p entonces q.</p>
<p>q = v.</p>
<p>si q entonces r.</p>
<p>________________</p>
<p>r = v.</p>
<p>Una prueba es un argumento válido.</p>
		<p class="espacio-arriba">22.- En lógica existen ciertas reglas de inferencia, que parece ser formas genéricas para los argumentos. La más conocida se llaman modus ponens:</p>
<p>A = v</p>
<p>si A entonces B</p>
<p>________________</p>
<p>B = v</p>
<p>Noten que esta A y esta B son variables que representan a cualquier proposición.</p>
<