Lógica Matemática - DSpace en ESPOL
Lógica Matemática - DSpace en ESPOL
Lógica Matemática - DSpace en ESPOL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Cont...<br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
Cont...<br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
<br />
<br />
Tablas de Verdad<br />
Son el <strong>en</strong>unciado de todos los valores<br />
de verdad que pued<strong>en</strong> tomar las<br />
proposiciones d<strong>en</strong>tro de una proposición<br />
compuesta.<br />
<br />
<br />
<br />
Repres<strong>en</strong>tación de texto natural<br />
Se puede transformar un texto natural a<br />
expresiones lógicas dividiéndolo <strong>en</strong><br />
proposiciones y operadores (disjunción,<br />
conjunción y negación)<br />
Esta conversión nos ayuda a determinar<br />
más fácilm<strong>en</strong>te el valor de verdad de la<br />
expresión.<br />
Cont...<br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
Proposiciones Condicionales<br />
Cont ...<br />
En cierto país esta prohibido t<strong>en</strong>er más de tres gatos y<br />
tres perros <strong>en</strong> una casa. Si una persona ti<strong>en</strong>e 6<br />
perros, pero ningún gato, ¿esta infringi<strong>en</strong>do la ley?<br />
<br />
Convirti<strong>en</strong>do:<br />
p: ti<strong>en</strong>e más de tres gatos<br />
q: ti<strong>en</strong>e más de tres perros<br />
Si p ∧ q es verdadero, infring<strong>en</strong> la ley<br />
Para el hombre q es verdadero, y p es falso por tanto p ∧ q<br />
es falso, por tanto no infringe la ley.<br />
<br />
<br />
<br />
<br />
<br />
<br />
Cuando t<strong>en</strong>emos una proposición de la forma si p<br />
<strong>en</strong>tonces q, decimos que t<strong>en</strong>emos una proposición<br />
condicional.<br />
Esto significa que si p es verdadero, q ti<strong>en</strong>e que ser<br />
verdadero también para que la expresión sea verdadera.<br />
Si p es falso, no importa el valor de q, la expresión será<br />
verdadera.<br />
Se repres<strong>en</strong>tan como:<br />
p ⇒ q<br />
A “p” se la conoce como hipótesis y a “q” como<br />
conclusión.<br />
4