Instituto Profesional Dr.

Virginio Gmez
Departamento de Ciencias Bsicas

CAPITULO I

LOGICA Y CUANTIFICADORES

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Indice
Unidad N ": Lgica y Cuantificadores 3 3 4 5 5 6 7 8 "0 "2 13 14 15 18 19 20 23

Lgica Tablas de Verdad Conectivos Lgicos u Operadores Lineales Negacin, Conjuncin Disyuncin, Condicional Bicondicional Ejercicios Tablas de Verdad para Proposiciones Compuestas Ejercicios Clasificacin de Proposiciones Compuestas Leyes del Algebra Proposicional Ejercicios Lgica Cuantificacional Ejercicios Valor de verdad funcion Proposicional Ejercicios Negacin de Proposiciones Autoevaluacin

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

LOGICA
La Lgica Matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemtica para demostrar teoremas; en Ciencias de la Computacin para verificar si son o no correctos los Programas; en las Ciencias Fsicas y Naturales, para sacar conclusiones de experimentos; y en las Ciencias Sociales y en la Vida Cotidiana, para resolver una multitud de problemas. Ciertamente usamos en forma constante el razonamiento lgico para realizar cualquier actividad. Toda estructura matemtica necesita tener un razonamiento vlido a travs de un lenguaje que sea de uso universal. Proposicin: Es una expresin con sentido en algn proporciona informacin. Las proposiciones se denotan con la letras : ; < .etc.. Ejemplo 1: : ; < El pizarrn es verde #$( A ella le gusta la msica Si observa las proposiciones, pueden ser Verdaderas o Falsas, no aceptan ambigedades. No son proposiciones: a) el interruptor b) #B $ ' c) Qu hora es ? Estos enunciados no son proposiciones porque no tienen sentido, no afirman ni niegan. Valor de Verdad: Es una funcin que define una proposicin. El valor de verdad puede ser Verdadero (V) o Falso (F). lenguaje que afirma o niega algo y que nos

Tablas de Verdad
Una Tabla de Verdad es una forma de resumir el valor de verdad de las proposiciones. Esta se construye de acuerdo al nmero de proposiciones distintas que se den. El nmero de combinaciones posibles de valores de verdad se determina al resolver la expresin

8 representa el nmero de proposiciones dadas.

Veamos cmo funciona !!

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Si hay una sola proposicin, 8 ", resolvemos # " #. Esto significa que se pueden dar dos posibles valores de verdad y la tabla que resulta es: : Z J

Si hay # proposiciones distintas : y ; , 8 # entonces resolvemos ## % Esto significa que se pueden dar cuatro combinaciones de valores de verdad y la tabla que resulta es : : Z Z J J ; Z J Z J

Si hay tres proposiciones , 8 $ resolvemos #$ ) Es decir, se pueden dar ocho combinaciones de valores de verdad y la tabla es: : Z Z Z Z J J J J ; Z Z J J Z Z J J < Z J Z J Z J Z J

...y as sucesivamente. Las proposiciones pueden ser simples o compuestas. Son proposiciones simples las que se dan en el ejemplo anterior : : ; < El pizarrn es verde #$( A ella le gusta la msica Son compuestas aquella que se unen mediante smbolos llamados Conectivos.

Conectivos Lgicos u Operadores Lgicos:

Son smbolos que permiten relacionar una o ms proposiciones. Los conectivos son: la negacin ( ), la conjuncin ( ), disyuncin ( ), condicional ( ) y bicondicional ( ).

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Veremos cada uno de ellos a continuacin!!

"

Negacin : : Dado un enunciado : , se puede formar otro enunciado que se llama negacin de : escribiendo "es falso que..." o "no..." antes de la proposicin : . Simblicamente se representa por :

Ejemplo: : : el da est nublado : : el da no est nublado El valor de verdad de la negacin depende del valor de verdad de la proposicin original. Si : es verdadero, entonces : es falso y viceversa. La tabla de verdad que resume esto es: : Z J : J Z

La Conjuncin: : ; Dos proposiciones simples cualquiera se pueden unir mediante la palabra "y" para formar una proposicin compuesta, que se llama Conjuncin. Simblicamente se denota por :;

Ejemplo: : Est nublado ; Hace fro :; : Est nublado y hace fro. : Z Z J J ; Z J Z J : ; Z J J J

La tabla de verdad es:

La Disyuncin : : ; Dos enunciados cualquiera se pueden combinar mediante la palabra "o" ( en el sentido y/o) para formar un nuevo enunciado que se llama disyuncin de los dos enunciados previos. Simblicamente se denota por: : ;

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Ejemplo : : : La puerta se abre ; : La silla es de madera : ; : La puerta se abre o la silla es de madera La tabla de verdad es: : Z Z J J ; Z J Z J : ; Z Z Z J

La condicional : : ; Muchos enunciados en matemtica son de la forma "si : entonces ; ". Estos se llaman condicionales y se les denota por: :;

Ejemplo: : : son las 10 de la maana ; : la clase es de matemtica : ; : Si son las 10 de la maana entonces la clase es de matemtica La tabla de verdad es: : Z Z J J ; Z J Z J : ; Z J Z Z

&

La bicondicional : : ; Otro enunciado muy usado es el de la forma ": s y slo si ; ". Los cuales se llaman bicondicionales y se les denota por : :;

Ejemplo : : Hoy voy a ir al cine ; Hace calor

: ; : Hoy voy a ir al cine, s y slo si, hace calor La tabla de verdad es: : Z Z J J ; Z J Z J : ; Z J J Z

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Ejercicios

M)

Sean las proposiciones : El va a la fiesta ; Ella es su polola Escriba con palabras los siguientes enunciados: " # $ % & ' ( ; : ............................................................................................................ ; : ...... : : ; : .. : ; : . : ; :: ................................................................................................ : ; : ..........

M M Sean las proposiciones: : Tengo dinero ; Hoy dejar de fumar Escriba los siguientes enunciados verbales en forma simblica usando : y ; : " # $ % & ' No tengo dinero Si tengo dinero entonces hoy no dejar de fumar Tengo dinero, s y slo si, hoy dejo de fumar No es verdad que, hoy no dejar de fumar No es verdad que, no tengo dinero y que hoy no dejar de fumar Es falso que, no tengo dinero o que hoy dejar de fumar

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Respuestas: M ") Ella no es su polola #) Ella es su polola o l no va a la fiesta $) No es verdad que, l no va a la fiesta %) No es verdad que, ella no es su polola &) El no va a la fiesta, s y slo si, ella es su polola ' Si l va a la fiesta y ella no es su polola, entonces l va a la fiesta () Si l va a la fiesta, entonces ella no es su polola " : # : ; $ : ; % ; & : ; ' : ;

MM

USO DE PARENTESIS El uso de parntesis es un smbolo que forma parte de la lgica secuencial, el uso de ellos es lgico y no retrico, sin los parntesis las frmulas o expresiones lgicas pueden carecer de sentido. En el siguiente ejemplo, puede observar que las expresiones son claramente distintas: + : ; < , : ; <

Tablas de Verdad para Resolver Proposiciones Compuestas

Una manera de mostrar la relacin entre el valor de verdad de una proposicin T : ; y los valores de verdad de las proposiciones : ; es mediante una tabla de verdad.

Ejemplo: Primero:

Sea la proposicin : ;

Se completan las dos primeras columnas correspondientes a las proposiciones : y ; : Z Z J J ; Z J Z J

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Segundo: Se resuelve el parntesis de la proposicin, desde adentro hacia afuera:

: Z Z J J

; Z J Z J

; J Z J Z

Luego, se va completando la expresin que est dentro del parntesis : Z Z J J ; Z J Z J ; J Z J Z : ; J Z J J

y por ltimo: se completa toda la expresin en la tabla : Z Z J J ; Z J Z J ; J Z J Z : ; J Z J J : ; Z J Z Z

Por lo tanto, la solucin de : ; est dada en la ltima columna.

Existe otra forma de completar la tabla de verdad de : ; y es la siguiente: Se escribe toda la expresin en la tabla colocando cada parte de sta en un cuadrado de la tabla : ; : ;

Se va completando la tabla de la siguiente forma: : Z Z J J ; Z J Z J : Z Z J J ; J Z J Z

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

: Z Z J J

; Z J Z J

: Z Z J J

J Z J J

; J Z J Z

La solucin de : ; est dada en la columna de la negacin . : Z Z J J ; Z J Z J Z J Z Z : Z Z J J J Z J J ; J Z J Z

Ejercicios M Construya la tabla de verdad de las siguientes expresiones lgicas: " # $ % & ' : ; : : ; ; : ; : : ; : ; : < ; : ; < ;

MM

Si:

: Cecilia Bolocco es Primera Dama ; ""# < #&% " < ; : ; # ; : < :

Determine el valor de verdad de:

M M M Si:

: $B $C * ; &B C ( < & C B ""

B " C # C

Determine el valor de verdad de: " : ; < ; # ; : < $ : < ;

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Respuesta " : Z Z J J ; Z J Z J ; J Z J Z : ; J Z J J : ; : Z Z Z Z

: Z Z J J

; Z J Z J

: J J Z Z

; J Z J Z

:; Z J Z Z

:; ; J J J Z

: Z Z J J

; Z J Z J

:; Z J Z Z

: ; J Z J J

: ; : J Z J J

% : Z Z J J ; Z J Z J : J J Z Z ; J Z J Z : ; Z Z J Z : ; J J J Z Z Z J Z

& '

MM

" J

# Z

M M M Los valores de verdad de las proposiciones son: " : ; < ; J J J J J Z Z J Z Z # ; : < J J J Z Z Z Z Z Z J

: J

; J

< J

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

$ : < ; J J J Z J Z Z Z Z

Clasificacin de las Proposiciones Compuestas

Tautologa Una proposicin T : ; es una tautologa si todos los valores de verdad de su ltima columna son Verdaderos, sean cules sean los valores de verdad de sus proposiciones. Contradiccin Una proposicin T : ; es una Contradiccin si todos los valores de verdad de su ltima columna son Falsos, sean cules sean los valores de verdad de sus proposiciones. Contingencia Una proposicin T : ; es una Contingencia si todos los valores de verdad de su ltima columna son Verdaderos y Falsos.

Ejemplo:

Demuestre que la siguiente proposicin es una tautologa

: ; : ;

Respuesta

: Z Z J J

; Z J Z J

: J J Z Z

; J Z J Z

: ; Z Z J Z

: ; J J Z J

:; J J Z J

Z Z Z Z

Por lo tanto, : ; : ; es una Tautologa.

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Ejercicios: Contingencia.

De las expresiones lgicas dadas, determine cul de ellas es Tautologa, Contradiccin o

+ : ; ;

, : : ; <

Observacin 1: Cuando las proposiciones que se relacionan por el conectivo determinan una Tautologa, entonces la expresin es una implicancia lgica y el conectivo cambia a

Ejercicio:

Demuestre que la siguiente expresin es una implicancia lgica

: ; : ;

Observacin 2: Cuando las proposiciones que se relacionan por el conectivo determinan una Tautologa, entonces la expresin es una equivalencia lgica y el conectivo cambia a

Ejemplo:

En el ejercicio anterior, la expresin

: ; : ; es una Tautologa, por lo tanto la escribimos: : ; : ; Un ejemplo de equivalencia lgica son las leyes Proposicionales.

Leyes del Algebra Proposicional

" Idempotencia + : : : , : : : # No Idempotencia + : J J , : J : - : Z : $ Conmutatividad + : ; ; : , : ; ; : - : ; ; : % Asociatividad + : ; < : ; < , : ; < : ; < . : Z Z / : : J 0 : : Z

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

&

Distributividad + : ; < : < ; < , : ; < : < ; <

'

Absorcin + : : ; : , : : ; :

Negacin + J V , Z J - Z Z

De Morgan + : ; : ; , : ; : ;

Condicionales + : ; : ; , : ; ; :

"!

Doble Implicacin : ; : ; ; :

Usando las leyes proposicionales tambin es posible encontrar otra expresin equivalente a la que se da, esto se hace simplificando la proposicin compuesta dada.

Ejemplo: Respuesta

Simplifique la expresin : ; : e indique cada paso que realiz

: ; : : ; : : ; : : : ; : Por lo tanto:

Por Condicional De Morgan Conmutatividad Absorcin

:; : :

Ejercicios I) Simplifique las siguientes expresiones, justifique cada paso: " # : ; : ; : ; :

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

$ % II)

: ; : ; : ; :

Niegue las siguientes expresiones, justifique cada paso: " : ; # : ; : $ : ; : ; % : : ;

III)

Demuestre que, justifique cada paso: 1 # $ % & : ; : : : ; : ; Z : ; : : ; : ; ; : ; : ; : ; : ;

Respuesta I) II) " Z # : ; # : ; $ $ : Z % % J Z

" : ;

LOGICA CUANTIFICACIONAL
Es una rama de la lgica que utiliza determinados smbolos llamados CUANTIFICADORES, los cuales permiten indicar el nmero de elementos de un conjunto que al ser sustituidos en un enunciado hacen de l una proposicin verdadera.

Funcin lgica o proposicional Es una afirmacin que contiene una o ms variable. Las funciones proposicionales se denotan por letras minsculas, y las variables se escriben dentro de un parntesis, por ejemplo: : B , ; B <C son funciones proposicionales, B e C son variables.

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Ejemplo 1: Sea E " # $ y la funcin proposicional : B : B # & , BE

Determine qu valores cumplen la funcin.

Respuesta Sustituiremos cada elemento de E en la funcin proposicional : B. Sea B " : " " # & $ : # # # & % : $ $ # & & &

&

Sea B #

&

Sea B $

Observe que : " todos los elementos que estn en A cumplen la proposicin : B ", cuantificador: a y es el Cuantificador Universal. a se lee " para todo " , " todo" Simblicamente escribimos todo el enunciado de la siguiente forma: a B E :B B # & Esta funcin lgica es cuantificada. esto se puede simbolizar por el

Ejemplo 2: Sea E " ! " y ; B l B l $ % Determine qu valores del conjunto A cumplen con la proposicin

Respuesta Sustituiremos todos los elementos B ", ; " l "l $ % " $ % %% l!l $ % ! $ % $ %

B !

; !

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

B "

; "

l"l $ % "$% % %

Observe que slo algunos elementos de A cumplen la proposicin ; B , esto se simboliza por otro cuantificador: b , llamado Cuantificador Existencial. b se lee "existen " , "algunos elementos " o " existe al menos un " Simblicamente escribimos todo el enunciado de la siguiente forma: b B E ; B l Bl $ % b B B E ; B l Bl $ %

Ejemplo 3: Sea E = # ,$ $ y < B B # ' B % Determine qu valores del conjunto A cumplen con la proposicin Respuesta Sustituiremos cada elemento en < B B # , < # # # ' # % % ' "' "! "'

B $ < $ $ # ' $ % $ ' $ # $ # * * B $ , < ( $):( $)# +6 ($)% * ' = )" 15 = )"

En este ejemplo, de todos los elementos de A , slo $ cumple con la proposicin, esto se simboliza por b!, el cual es otro Cuantificador Existencial. b! se lee "existe un nico " Del ejemplo anterior: b! B E , < B B # ' B% E # $ $

Ejemplo Sea : B una funcin proposicional, sobre el conjunto , use cuantificadores para escribir: Todo real cumple con :B Respuesta a B B :B

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Ejercicios Sea : B una funcin proposicional, sobre el conjunto , use cuantificadores para escribir los siguientes enunciados. a) b) c) d) e) 0) Existe un real que cumple con : B : ........................................................ Algn real cumple con : B : .............................................. Todo real al cuadrado es positivo o cero : ...................................... La ecuacin # B $ ! tiene solucin nica en : ...................................................... Existe por lo menos un real tal que su raz cuadrada no es real :.................................... No todos los nmeros enteros son positivos :............................................................................................

Respuesta a) b) c) d) e) f) b B B ,:B b B B ,:B a B B , B# ! b x BB ,:B #B $ ! b B B , B b B B B !

Pero, Se podrn agrupar de alguna forma todos los elementos de un conjunto que cumplen con una proposicin

Si, en un conjunto llamado Conjunto de Validez.

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Por lo tanto, el conjunto de validez es aquel en el cual estn todos lo valores para los cuales la proposicin es verdadera. Su notacin es Z: , : indica la proposicin. Veamos un ejemplo de esto !!

Ejemplo: Respuesta Sea B #

Sea E # $ % = B B " #

=# # " # "# = ($): $ " # # # = (%) : % " # $#

B $

B %

Es decir, el conjunto de Validez es Z= = % , ya que slo el % cumple con la proposicin = B .

Valor de Verdad de una funcin proposicional

El valor de verdad de una funcin proposicional depende del cuantificador y del conjunto de validez. Ms ejemplos !!

Ejemplo:

Sea E " # $ y la funcin:

a B , B E :B : #B " & Respuesta: Si sustituimos cada elemento de E en : B , se observa que slo cuando B #, la proposicin se cumple, es decir: : # : # # " & %"& && Z : # Como la funcin lgica deca que: Para todos los elementos de A se cumple la proposicin : B , obviamente esto es FALSO, ya que slo se cumple para un elemento. Por lo tanto : a B , B E , : B : # B " & es falso

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Ejercicios Determine el conjunto de validez y el valor de verdad para cada funcin lgica dada: Sea E # " ! " # a) a B , B E , : B B # " b) b B , B E , ; B l B l " " c) bx B , B E , < B B " # d) a B , B E , : B B # $ e) b B , B E , = B $l B l " "

Respuesta a) b) c) d) e) Z Z Z Z Z # " # " ! " # < # " ! : " ! " # = # " ! " #
: ;

Valor de verdad : Falso Valor de verdad : Verdadero Valor de verdad : Falso Valor de verdad : Falso Valor de verdad : Verdadero

Ahora, recurriremos a las tablas verdad vistas anteriormente, pero las llamaremos Tablas de doble Entrada para resolver las siguientes funciones lgicas:

Ejemplo:

Determine el valor de verdad de:

a B , B E , : B : B ; B E " ! " # :B :#B " % ;B :B $ B# con :

Respuesta: Se construye la tabla de doble entrada: :B " ! " # ;B :B ;B : B : B ; B

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Luego, se sustituyen los elementos de E, en cada una de las proposiciones, para determinar cules de ellos cumplen con la proposicin dada: :B Z Z Z J ;B Z Z Z Z :B ;B Z Z Z Z : B : B ; B Z Z Z J

" ! " #

Conjunto de Validez Z : ; " ! " Valor de verdad: Falso Y qu pasa si el conjunto es el de los nmeros reales? Veamos un ejercicio en el cul el conjunto es el de los nmeros reales. Ejemplo: b B ,B B+ 1 ! B $ " 3 Para determinar el Conjunto de Validez, se resuelven las inecuaciones y se determina la solucin Total: B" ! B " B $ " B %

Recuerda que los conjuntos soluciones en los reales se representan con intervalos. La solucin es :

Conjunto de validez :

_ " Y % _

33 Para determinar el Valor de verdad, se lee el cuantificador y se compara con el Conjunto de Validez. Valor de Verdad : Verdadero

Ejercicios: a) b) c)

En cada uno de los siguientes ejercicios , determine:

Tabla de doble entrada Conjunto de validez Valor de verdad

"

Sea E # " ! " # y la funcin proposicional: b B , B E , : B ; B < B :B B# #B " ! ;B B " ! < B B $

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Sea E ! " # $ % y la funcin proposicional: b B , B E , ; B : B < B : B #B " % ;B B $ ! < B B es divisible por #

$ E ! " # $ % y la funcin proposicional: b B , B E , : B : B < B ; B :B B $ & ;B B# " $ <B B ! % & ' b B , B #B + 1 " #B $ & b x B ,B B+ # " a B B $B # " #B $ & % &B ( * %

Respuesta " a) : B J Z J J J ; B J J J Z Z <B Z Z Z Z Z :B Z J Z Z Z <B J J J J J " ;B <B J J J J J :B " J Z J J J

# " ! " # b) c)

Z : ; < = " Verdadero

a) :B Z Z J J J ;B Z Z Z Z Z <B Z J Z J Z :B J J Z Z Z ;B J J J J J " ;B : B J J J J J " <B Z Z Z Z Z

! " # $ %

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

b) c)

Z : ; < = ! " # $ % Verdadero

a) :B Z Z J J J ;B Z Z J J J <B J Z Z Z Z :B J J Z Z Z " :B <B J Z Z Z Z " ;B Z Z J J J c) # : B # Z Z Z Z Z

! " # $ % b)

Z : ; < ! " # $ %

Verdadero

4) 5) '

Z _ ! Z _ #$# Z %$& ",

Verdadero Falso Falso

NEGACION DE PROPOSICIONES QUE CONTIENEN CUANTIFICADORES Para negar una proposicin cuantificada hay que cambiar el cuantificador y negar la funcin proposicional reducindola al mximo usando las leyes proposicionales. Por ejemplo: b B B E : B ;B La negacin es : b B B E : B ;B La negacin de b es a La negacin de a es b La negacin de : B ; B la desarrollaremos aparte: : ; : ; : ; Por lo tanto, la expresin negada de: b B B E : B ; B resulta a B B E : B ; B E es un conjunto numrico cualquiera

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Es incorrecto escribir: La negacin de:

BE

y viceversa.

Ejercicios Sean las siguientes proposiciones, encuentre su negacin: " # $ % & b B B E : B ; B a B B E : B ; B b B B E : B ; B : B a B , B # B + 1 " #B $ & b B B E & B " B ' B " $

Respuesta " # $ 4. & a B B E : B ; B b B B E : B ; B a B B E : B b B , B # B + 1 " #B $ & a B B E & B " B ' B " $

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

Un poco de historia... George Boole (1815-1864), hombre modesto y autodidacta, hijo de un humilde zapatero ingls, public The Mathematical Analysis of Logic. Este y otros trabajos fueron motivo de su nombramiento como profesor de matemticas (pese a carecer de ttulos universitarios) del Queens College (hoy University College) de Cork, en Irlanda. All escribi su tratado An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities (Londres, 1854). La idea fundamental sustituir por smbolos todas las palabras utilizadas en lgica formal

AUTOEVALUACION

" #

Demuestre que Si : # $

: ; ; ; .Jusqtifique cada paso

; %!

< El ftbol es un paso de baile

Determine el valor de verdad de : B ; B < B $ a) b) c) Determine en el siguiente ejercicio: Tabla de verdad Conjunto de validez Valor de verdad b x B , B E , : B ;B :B ; B E # " ! " # :B :#lBl " % ; B : B# B $ % Sean las proposiciones : # $ " ; &C % < $ $ $ "! con C " C con :

Determine el valor de verdad de < : : ; ;

Instituto Profesional Dr. Virginio Gmez

Departamento de Ciencias Bsicas

RESPUESTAS

"

: ; ; ; : ; ; : ; ; ( : ; ; ; Z

Condicional Condicional Ley de Morgan Absorcin

2)

$ " : B ;B J J J J J # " :B # ; B Z J Z Z Z Z Z Z Z Z

# " ! " #

:B Z Z Z Z Z

;B Z J J J J

:B J J J J J

;B J Z Z Z Z

V de Verdad : F

ZE " ! " # ; J < J

: J

< : : ; ; Z Z J J Z Z Z Z Z J Z