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 />
Definición:<br />
Supongamos que las propociones compuestas P y Q<br />
están formadas por las proposiciones p 1 , p 2 ,...,p n .<br />
Decimos que P y Q son lógicam<strong>en</strong>te equival<strong>en</strong>tes y<br />
escribimos<br />
P ≡ Q<br />
siempre que dados cualesquiera valores de verdad de<br />
p 1 , p 2 ,...,p n , P y Q sean ambas verdaderas o falsas.<br />
<br />
<br />
Es verdadero solam<strong>en</strong>te cuando p y q ti<strong>en</strong><strong>en</strong> el mismo<br />
valor de verdad.<br />
El valor de verdad de la proposición de define por la<br />
sigui<strong>en</strong>te tabla de verdad:<br />
p q p ↔ q<br />
V V V<br />
V F F<br />
F V F<br />
F F V<br />
<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 />
<br />
En el l<strong>en</strong>guaje natural ti<strong>en</strong>e varias<br />
formas de ser expresado:<br />
p si y solo si q<br />
p es equival<strong>en</strong>te a q<br />
p ssi q<br />
p es condición necesaria y sufici<strong>en</strong>te<br />
para q<br />
Ejemplo 1:<br />
Soy bu<strong>en</strong> alumno sí y solo sí t<strong>en</strong>go bu<strong>en</strong>as notas<br />
Ejemplo 2:<br />
<br />
<br />
<br />
La afirmación 1