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 />
Recíproco<br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
Ejercicio <strong>en</strong> clases 1.2.6:<br />
<br />
Si p es verdadera, q es falsa y r es verdadera,<br />
determine el valor de verdad de cada proposición<br />
condicional.<br />
a) (p ∧ q) → r<br />
b) (p ∨ q) → ~r<br />
c) p ∧ (q → r)<br />
d) p → (q → ~r)<br />
<br />
<br />
<br />
<br />
Las proposiciones condicionales son<br />
válidas <strong>en</strong> un solo s<strong>en</strong>tido:<br />
Que p ⇒ q no es lo mismo que q ⇒ p<br />
A q ⇒ p se le llama el recíproco de p⇒q<br />
Una proposición condicional puede ser<br />
verdadera y su recíproca puede ser falsa<br />
Cont...<br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
<strong>Lógica</strong> <strong>Matemática</strong><br />
Proposición Bicondicional o Equival<strong>en</strong>cia<br />
Ejemplo 1:<br />
Si me saco la loteria <strong>en</strong>tonces soy millonario<br />
Si soy millonario <strong>en</strong>tonces me saco la loteria.<br />
Ejemplo 2:<br />
Si 1