logica

Páginas: 3 (582 palabras) Publicado: 5 de abril de 2013
1. Represente simbólicamente los enunciados a-j, utilizando los átomos p, q, r y s, con estos significados: p: 2 es un número primo, q: 2 es un número par, r: le entrego el libro, s: usted meentrega la fotografía.
a. 2 es un número primo, pero es par.
b. es número par; sin embargo, es primo.
c. 2 es número primo no obstante que es par.
d. Es falso que 2 no es primo o no es par.
e. Esfalso que 2 no es primo o es falso que 2 no es par.
f. Le entrego el libro si me entrega la fotografía.
g. Le entrego el libro sólo si me entrega la fotografía.
h. Si no me entrega lafotografía, entonces no le entrego el libro.
i. Sólo si me entrega la fotografía le entrego el libro.
j. No le entrego el libro, a menos que me entregue la fotografía.

2. Sobre la base de las definicionesde los conectivos lógicos, establezca el valor de verdad de los enunciados a-j.
a. (Roma es la capital de Italia) ˄(Viena no es la capital de Suiza).
b. Aun cuando es cierto que París esla capital de Francia, es falso que Roma es la capital de Italia.
c. Ni Viena es la capital de Suiza ni París es la capital de Francia.
d. ¬(Viena es la capital de Suiza)˄ ¬(París es la capital deFrancia).
e. ¬(Viena es la capital de Suiza)→(París es la capital de Italia).
f. (¬ Viena es la capital de Austria ˅ París es la capital de Italia) ↔Roma es la capital de Francia.
g. Viena es lacapital de Austria ˄ ¬ (Roma es la capital de Italia ˄ ¬ París es la capital de Francia).
h. ¬( Todo número impar es primo ˄ todo número primo es impar.
i. Todo número primo es impar si y sólo si todonúmero impar es primo.
j. (Todo número impar es primo)˅ ¬ {(todo número primo es impar)↔ [¬(todo número impar es primo)]}.

3. Considere las proposiones “Alvaro Uribe es presidente de Colombia” Y“Alvaro Uribe es ciudadano Colombiano”. Utilice los átomos p y q para representarlas, en ese orden, y escriba por lo menos seis enunciados que se representarían en este caso como p→q.

7. A...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logico
  • logica
  • logica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS