Tarea I

TAREA DE ALGORITMOS (para el jueves 09 de junio de 2011)

Instrucciones:
      Mediante el uso del lenguaje C++ desarrolle los siguientes algoritmos:

1) Escriba un programa que reciba la extensión de un terreno en acres y la presente en metros.

2) El programa, dado como datos los galones surtidos a un cliente en una gasolinera, calcula lo que este debe de pagar.

3) Dado el tiempo que realizan los participantes en competencia de velocidad en pista  y la distancia recorrida, calcula la velocidad de los mismos expresada en kilómetros por hora.







INSTRUCCIONES:

    Resuelva los siguientes ejercicios en su cuaderno y preséntos el siguiente día de clases en donde se realizará un laboratorio basado en dicho tema.    


Dadas las siguientes proposiciones
a: Fernanda cumple con sus obligaciones
b: Fernanda aprueba el examen
c: Fernanda se va de vacaciones
d: Fernanda trabaja
e: Fernanda come

traducir literalmente las siguientes proposiciones

1) [b and ¬(d ssi ¬a)] V [(cVd)-->(d and e)]

2) (b and a) -->(c V d)

3) Considere la proposición "Si tu eres intelingente y no actúas con prudencia, eres ignorante en la materia", luego:
       a) obtenga las premisas primitivas
       b) traduzca formalmente la proposición mediante simbología

4) Sean las proposiciones:
a: Hoy es martes
b: Tengo que someterme a un examen
c: He estudiado
d: Saldré mal en el examen

Indique cuál es la traducción formal de la proposición
4.1 "Hoy es martes y tengo que someterme a un examen, pero si he estudiado entonces no saldré mal en el examen".
4.2  "No es cierto que no he estudiado por lo tanto saldre bien en examen"

5) considere las proposiciones anteriores e indique la traducción  de:
 (¬b and a) and (c and ¬ d)

TAREA 2
Resuelva los siguientes ejercicios y publíquelos en su sitio web antes del día martes 26 de abril.

1) Compruebe las siguientes tautologías fundamentales

•   Ley de no contradicción
•   Modus ponendo ponens
•   Modus tollendo tollens 
•   Silogismo Disyuntivo

2) Demuestre las siguientes equivalencias

•  Doble negación 
• Implicación y disyunción 
• Contrapositiva
• Negación de la Implicación 
• Leyes de De Morgan

3) Indique cuáles de las siguientes afirmaciones son falsas o verdaderas. y para ambas respuestas provea de un contraejemplo de su afirmación.

• Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atómicos.
• Dos proposiciones P y Q son lógicamente equivalentes si es una tautología, es decir, si las tablas de verdad de P y Q son iguales
• Si dos fórmulas lógicas son eqivalentes entonces la fórmula que se obtiene al operarlas con la bicondiconal es una tautología.

TAREA3
Para la resolución de los siguientes ejercicios, habrá de verificar mediante tablas de verdad la equivlencia de dichas proposiciones. A continuación, debe de realizar el circuito de compuertas equivalente e indicar si es una tautología, contradicción o contingencia y culminar publicando la imagen de dichos circuitos junto a la resolución de los mismos.