FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL UNIDAD N 1 TTULO: LOGICA PROPOSICIONAL

ESTIMADO(A) ALUMNO(A): Hasta la fecha indicada deber entregar los trabajos siguientes: LECCIN N 1: LOGICA PROPOSICIONAL LECCIN N 2: INFERENCIA LOGICA Y CUANTIFICADORES LECCIN N 3: LECTURA: TEMA DE DISCUSIN: TUTOR (A): Semestre : Ciclo: Correo: ALUMNO(A): OPE. Correo: INDICACIONES: CIRCUITOS LOGICOS El curioso incidente entre las matemticas y la literatura Anlisis de la lectura Lic. Rubn Alexis Arce Caysure 2012-2 i Rarce.enfermera@gmail.com

1. 2. 3. 4. 5. 6.

RECURSOS (*opcional)

Utilice este formato para desarrollar y enviar su tarea Tipo de trabajo : Individual Fecha de entrega : 24 de Junio del 2012 Hora lmite : 23:00pm Forma de entrega : Va Aula virtual Criterios de evaluacin Puntualidad. Nivel de anlisis. Capacidad de sntesis. Originalidad. 7. Formato de entrega; Word 8. Grabe el documento completo de la manera siguiente, Apellido_nombre_U# PPT. LOGICA PROPOSICIONAL I - II SEPARATA LOGICA PROPOSICIONAL FECHA: de del 2012

TAREAS

FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL

LECCIN N 1: LOGICA PROPOSICIONAL EJERCICIOS PROPUESTOS Pg. 47 48 b) P V V V V F F F F V V F F V V F F q r V F V F V F V FV F F F F V V V F F F F F V V V F [ V V V F V V V F ( )] F F V V V F F F [( ) V V V V V F V F ] V V F F V F F F V V F F V V F F

La formula es una contingencia c) P V V F F q V F V F V F F F V V F F F V V V ( F V F V ) ( F F F F ) V F V F F V V V F F V V

La formlua es una contradiccin: 1. Establecer si las siguientes son o no formulas lgicas y asignar su valor de verdad si es que tuvieran. a) 2+8=10 b) c) Esta oracin es falsa d) Simn Bolivar naci en Caracas e) Qu hora es? f) El tiene 20 aos (V) (F) (E.A) (V) (E.A) (E.A)

FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL

2. Exribir los siguientes enunciados en forma simbolica, considerando a: P: Pablo es inteligente y Q: Jorge es tono a) Pablo es inteligente y Jorge tonto. ( )

b) Jorge es inteligente y Pablo es tonto.

c) Pablo es inteligente o Jorge es tonto. d) Ni Jorge, Ni Pablo son inteligentes. 3. Si p: los precios de los artculos estn altos. q: los artculos estn subiendo. Obtngase la traduccin verbal de cada una de las formulas lgicas simblicas: a) b) ( c) ( ( ) ) )

4. Demostrar cuales de las siguientes formulas lgicas son tautologas, contradicciones y cuales son contingencias. a) ( ) ( ( )) ( ) ( ( ))

SOLUCION:

CONTRADICCION b) ( P V V F F ) Q V F V F F F V V V F V V V F V F ( ) ( V F V F ) ( F V F V ) V V V F V V F F

FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL

CONTINGENCIA

c) ( P V V V V F F F F

) q V V F F V V F F r

) ( ) F F F F F F F F ( F F V V V V V V ) ( V V F F F F F F ) F F F V F F F F V F F V F F F F

V F V F V F V F

V V F F F F F F

V F F F F F F F

V F V F V F V F

CONTRADICCION d) [( ) ( )] ( ) [( V V F F F V V F F V F V F F F F ) ( F F V V )] F F F V ( F V F V ) V V V F V V F F

SOLUCION: P V V F F q V F V F

CONTRADICCION e) [ P V V q V V ( r V F V V V V V V F V )] [( ) [ ( F V )] V F [( F F ) V F V F F V F F

FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL

V V F F F F F F V V F F V F V F V F V V F F F F V V F F F F F F V V F F V V F V V V F V F V F V V F V F V F F F V V V V V F V F V F V F V F V F F V F V F V V V F F V V

CONTINGENCIA f) ( [( ( ) ) ( [ ) ) ( ) ) ( ) )] y ( ) [( ) )] ( [( )] ) ( )] es verdadera; hallar el valor de verdad de las

5. Si

formulas lgicas. a) b) ( c) (

6. Se sabe que ( a) ( )

; deducir el valor de verdad de:

SOLUCION: ( )

b)

)] [ [ ( ( ) ( ( ) )] )]

SOLUCION:

c) [(

)]

)]

FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL

SOLUCION: [( [( [ [ ) ) ] ] ( )] ] [ [ ( [ [ ( )] ( ( )] )] )]

7. Dados los esquemas lgicos: A=( B= C= ( ( ) ) ( ) )

Cul de las siguientes relaciones es correcta? a) A B b) B C c) A C d) Ninguna

8. Sean las variables proposicionales p, q, r, s, t Si el valor de verdad de las formulas lgicas (a) y (b) es FALSO. a) [ ( b) Cul es el valor de verdad de las formulas lgicas (c) y (d)? c) [( d) ( ) ] ) ) ] ( )

LECCIN N 2: INFERENCIA LOGICA Y CUANTIFICADORES LECCION N 3: CIRCUITOS LOGICOS 1.- EJERCICIOS PROPUESTOS Pg. 71 72

FACULTAD DE ENFERMERA MODELO INTEGRADO PRESENCIAL VIRTUAL

NOTA: No se permitir trabajos escaneados ni entregados de forma fsica, respetar el formato entregado.