CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIN A LA LOGICA SIMBOLICA PRIMER AO AO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N1:

LGICA DE LAS PROPOSICIONES La lgica es una ciencia formal, o sea, una ciencia que no se interesa ni por los contenidos del pensamiento, ni por el contenido de las expresiones del pensamiento, sino por sus formas, por sus estructuras. Los objetos lgicos, son pues, las estructuras lgicas: en especial, las estructuras lgicas de las que se vale la ciencia para elaborar y expresar el conocimiento cientfico, y, en general, cualquier tipo de conocimiento. La lg !a "#"$!% &a #' la ! #(! a )$# #'%$" a l*' +,%*"*' - ./ (! . *' )$# .#/+ %#( " 0#/#(! a/ $( /a1*(a+ #(%* &2l "* "# $( (&2l "*3 El lenguaje constituye un sistema de signos muy complejo. Los signos o combinaciones de signos lingsticos forman expresiones lingsticas, como lo son por ejemplo, las palabras, las frases y las oraciones. Las oraciones, en particular, cumplen diversas funciones. Las denominadas proposiciones o enunciados, son aquellas que tienen una funcin informativa, las cuales se caracteri an porque afirman o niegan algo, como por ejemplo, Hoy es martes o Seis es un nmero primo es decir, se caracteri an porque de ellas tiene sentido decir que son verdaderas o falsas. !el primer ejemplo se puede decir que es verdadero" del #ltimo, en cambio, que es falso. PROPOSICIN3 $ara la L%&'() verdaderas o falsas. Ejemplo: (onsideramos las siguientes oraciones.* *+ Est,n atendiendo*)tiendan. *El calor dilata los cuerpos */oy es s,bado *Estamos en la clase de Lgica
1 Lgica Proposicional Luca Hilal

se consideran proposiciones, aquellas expresiones

lingsticas que tienen una funcin informativa. !e ellas tiene sentido decir si son

0e trata de cinco oraciones diferentes: una interrogativa, una imperativa y tres declarativas. 1na pregunta puede formularse o no, una orden puede ser cumplida o no. En cambio de las tres #ltimas que son "#!la/a% &a', tiene sentido decir si son 2 3. )(4'2'!)! 5 : 'ndicar cu,les de las siguientes expresiones son proposiciones y cu,les no. 3undamentar cada respuesta. Ej. : 6 )l7jate. 8espuesta: 9o es una proposicin por ser orden 5. +:u7 te sucede-. ;. Esta materia es entretenida. <. Es =ora de tomar un caf7. >. 6 :ue calor =ace.. ?. /ace calor. @. + (u,ndo nos vamos-. A. 4odo n#mero par es divisible por dos. B. 6(u,ntos matem,ticos se equivocan cuando est,n enamorados. C. 1na proposicin es, o bien verdadera o bien falsa. 5D. 1na pregunta no es una proposicin. 55. Los ,rboles 5;. 0e aman

$8E$E0'('E9E0 0'F$LE0 G (EF$1E04)0 1na proposicin simple o atmica H$)I es una proposicin completa sin t7rminos de enlace 1na proposicin compuesta o molecular H$FI est, formada por una o m,s proposiciones atmicas unidas por t7rminos de enlace. Ejemplos: Las mujeres no atienden las explicaciones /oy es lunes y =ay clase.* /oy no es lunes implica que =ay clases /oy es lunes o =ay clase
2 Lgica Proposicional Luca Hilal

/oy es lunes si y solo si =ay clase Estas proposiciones moleculares se =an construido con una o dos proposiciones atmicas y distintos t7rminos de enlace .* Los t7rminos de enlace JyJ , JnoJ , JoJ , Jsi...entoncesJ y Jsi y solo siJ (* 0*/+a( .a/%# de las proposiciones atmicas. 0e =an aKadido a ellas para construir una proposicin molecular. La forma de las $F construidas, depende del t7rmino de enlace utili ado y no del contenido de la proposicin o proposiciones atmicas. Es decir, si en una $F se sustituyen las proposiciones atmicas por otras proposiciones atmicas cualesquiera, la forma de la proposicin molecular se conserva. En el ejemplo: /oy es lunes y =ay clase, se puede representar la forma de esta $F utili ando el t7rmino de enlace JyJ de la siguiente manera H Ejemplo: Es rojo y es a ul 0oy alumno de este curso y estoy en la clase de lgica. 0e pueden tambi7n utili ar proposiciones moleculares y la 0*/+a #' la + '+a. Ejemplo: 9o me gusta esta clase y deseo no estar aqu 4ambi7n se podra utili ar una proposicin molecular y una proposicin atmica. Ejemplo: 0oy alumno de este curso y no me gusta lgica (ualesquiera sean las proposiciones con las que se llenan los espacios, la forma es la de una proposicin molecular con el t7rmino de enlace JyJ. 4odo lo dic=o es aplicable a los t7rminos de enlace antes mencionados. Ejem: H si H H I o H I entonces H I si y solo si H I I " no H I I I y H I 0e pueden sustituir los par7ntesis, por cualquier proposicin y la forma es la misma.

)(4'2'!)! ; 'ndicar cu,les de las siguientes proposiciones son compuestas y cu,les son las proposiciones componentes. 5. (onstruyeron un dique para controlar las bruscas crecidas de primavera.. ;. 9o se =an producido epidemias de viruela en los #ltimos die aKos.
3 Lgica Proposicional Luca Hilal

<. E me ayudas con el trabajo, o tendr7 que llamar a otra persona. >. La clase es interesante y amena. ?. $uedes ver el partido si terminas de =acer la tarea. @. El viento sopla del norte A. Es tarde. B. Es tarde pero no me di cuenta C. En sueKos me despierto y veo el mundo que tendra que ser. 5D. )pruebo el examen si y solo si estudio.

0'FLEL'M)('%9 !E $8E$E0'('E9E0 Los ejemplos dados se encuentran en lenguaje coloquial que, generalmente, resulta de difcil manejo, por lo cual la Lgica tiene su propio lenguaje para simboli ar las proposiciones y los conectivos: lenguaje simblico. Las proposiciones se representan con las letras p, q, r...... que se denominan variables proposicionales y los conectivos con los signos: , , , , , u otros, seg#n las convenciones adoptadas por cada autor Ejemplo: Hasta a ora comprendo las e!plicaciones , se simboli a : p )(4'2'!)! <: Escribir en lenguaje lgico las proposiciones de la actividad ;.

E$E8)('E9E0 L%&'()0 !efiniremos las operaciones entre proposiciones en el sentido siguiente: dadas dos proposiciones cuyos valores de verdad se conocen, se trata de caracteri ar H conocer la verdad o la falsedadI la proposicin resultante, a trav7s de su valor de verdad. 0i se conocen los valores de verdad de las proposiciones atmicas dentro de las moleculares entonces es posible dar los valores de verdad de 7stas. En consecuencia, la verdad o falsedad de una proposicin molecular depende de la verdad o falsedad de las atmicas que la componen y de los t"rminos de enlace que las ligan. $odemos resumir las operaciones lgicas en el siguiente cuadro: (E9E(4'2E
Lgica Proposicional

E$E8)('%9 )0E(')!)

0'&9'3'()!E
4 Luca Hilal

negacin conjuncin o producto lgico disyuncin

no p, no es cierto que p, no ocurre que p p y q, Hpero, aunque, no obstante sin embargoI p o q Hen sentido incluyenteI op,oq

condicional bicondicional

si p entonces q" p implica q, p solo si q" q si p" cuando p, q p es suficiente para q q es necesario para p, si p, q p si y solo si q , cuando y solo cuando, es necesario y suficiente

)(4'2'!)! >.: $roponer ejemplos de oraciones que no sean proposiciones. )(4'2'!)! ? : Escribir cinco proposiciones atmicas y luego formar con ellas die proposiciones moleculares. )(4'2'!)! @.: (onsiderando las expresiones que representan condicionales, escriba de cinco maneras distintas en lenguaje coloquial un condicional donde el antecedente est7 dado por la proposicin me aburro, y el consecuente por la proposicin resuelvo estas actividades

)&81$)F'E94E0 G $)8N94E0'0 Es frecuente encontrar proposiciones que tienen m,s de un t7rmino de enlace pero, siempre, uno de los t7rminos de enlace es el mayor, por esto se le denominar, dominante porque es el que act#a sobre toda la proposicin. Ejemplo: H p q I r es una conjuncin Los par7ntesis son smbolos de puntuacin de la lgica. Fuestran como est, agrupada una proposicin y, por lo tanto, seKalan cu,l es el t7rmino de enlace dominante. )doptaremos algunas reglas acerca de la potencia de los t7rminos de enlace Hseg#n 01$$E0* /'LLI

8E&L) 5
5 Lgica Proposicional Luca Hilal

El signo es m,s potente que los otros t7rminos de enlace HpqI HrsI puede escribirse p q r s

8E&L) ; El signo es m,s potente que y . H p q I H rs I puede escribirse pq rs. 8E&L) < El signo de negacin H I es m,s d7bil que cualquiera de los otros t7rminos de enlace. pq H conjuncinI no es lo mismo que H pqI H negacinI

8E&L) > Los signos y son igualmente fuertes. (uando se presentan ambos en una proposicin, se tienen que poner siempre los par7ntesis para indicar cu,l es el t7rmino de enlace dominante. Ejemplo: p q r no es claro conjuncin disyuncin H p qI r p Hq rI

)(4'2'!)! A: (olocar par7ntesis Hsi fuera necesarioI para que la frmula corresponda a la proposicin que se indica en cada caso: A.5.*(ondicional: A.;.*(onjuncin: A.<.*9egacin: A.>.*!isyuncin: A.?.*Licondicional: A.@.*9egacin: A.A.*!isyuncin: A.B.* (onjuncin p q p q p q r p r q r O p q r p q r p q r r s r s

lgica

O p q r

6 Lgica Proposicional Luca Hilal

)(4'2'!)! B: !adas las siguientes proposiciones, simboli arlas en t7rminos de la lgica proposicional. 1sar par7ntesis cuando sea necesario. 5.* 0i estudiamos con esfuer o y resolvemos estos ejercicios, aprobaremos el examen. ;.* Estudiamos con esfuer o y , si resolvemos estos ejercicios, aprobaremos el examen <.* 0i estudiamos con esfuer o, resolvemos estos ejercicios y adem,s, aprobaremos el examen )(4'2'!)! C: (on la proposicin # Las actividades son complicadas# formar cinco negaciones en lenguaje corriente. )(4'2'!)! 5D: (on las proposiciones: #$omien%o una carrera# y #estoy entusiasmado#, formar conjunciones de cinco maneras distintas. )(4'2'!)! 55: 4raducir al lenguaje corriente cada una de las siguientes frmulas lgicas considerando que p sustituye a la proposicin: &stoy en la clase de lgica, q: Presto atencin, r: soy alumno de primer a'o, s: &ste es un ejercicio lgico. 5. H p r I O q (, si estoy en la clase de lgica soy alumno de primer a'o o, no presto atencin ;. O p r O q <. O H p r O q I >. q H p r I ?. H p O r I H q s I @. O p q r A. O H p O q O s I B. H p r I H O p O q I C. p q r O p 5D. q O q )(4'2'!)! 5;: !adas las siguientes proposiciones, simboli arlas en t7rminos de la lgica proposicional. 1sar par7ntesis cuando sea necesario. 5. )tiendo las explicaciones pero no entiendo. ;. 9o estoy enamorado aunque soy feli .
7 Lgica Proposicional Luca Hilal

<. 8esuelvo sola este ejercicio. >. La lgica estudia los ra onamientos deductivos. ?. 9o ocurre que =aremos recreo. @. 9o ocurre que, o trabajo en grupo o no vengo a clase. A. 0i estudio la teora, comprendo las consignas. B. Estoy en clase o, si me quedo en clase entonces no apruebo el curso. C. (anto o bailo, pero no me divierto. 5D. El aula es incmoda y =ay poca lu , o yo no dorm bien anoc=e.

0'94)P'0 !E L)0 3E8F1L)0 $8E$E0'('E9)LE0 ) los efectos de sinteti ar lo desarrollado en los apartados precedentes, se establece la siguiente sintaxis que describe como escribir proposiciones correctas en el lenguaje. Es preciso definir unas reglas de escritura correcta de estas Q 3E8F1L)0 Q a partir de las reglas usualmente admitidas para construir frases en el lenguaje real. 1na frmula sint,cticamente correcta se define de acuerdo con las siguientes reglas: aI Las letras proposicionales p, q,r, s,t, son frmulas correctamente formadas bI 0i ) y L son frmulas correctas, tambi7n son frmulas correctas ) L )L )L )L )L cI 0lo son frmulas correctas las que cumplen con la condicin aI y bI ) efectos de interpretacin de la relacin entre conectivos y letras proposicionales cuando =ay mas de una conectiva se definen las reglas siguientes: dI 1na conectiva afecta a las letras proposicionales inmediatas o a alg#n conjunto de letras y smbolos inmediatos a ellos entre par7ntesis. eI $ara evitar el exceso de par7ntesis se define jerarqua entre conectivas

9'2EL5 9'2EL; ,
8 Luca Hilal

Lgica Proposicional

9'2EL< 9'2EL >

!E3'9'('E9 0EFR94'() !E (E9E(4'2)0 'ntuitivamente podemos afirmar que la sem,ntica nos informa el significado de las proposiciones en el mundo real. Las conectivas generan un significado de las frases compuestas a partir de las proposiciones componentes que conectan. $ara ello se utili ar,n tablas de relacin entre significados de las proposiciones componentes y la compuesta por cada conectiva, estas tablas se denominan 4)LL) !E 2E8!)!. 0e denomina interpretacin de una frmula a una asignacin de significados a sus frmulas componentes b,sicas. 1na interpretacin es una lnea de la tabla de verdad de la frmula. 4)LL)0 !E 2E8!)! !E L)0 E$E8)('E9E0 LE&'()0: !E3'9'('E9E0 9E&)('%9 La negacin de una proposicin sustituida por la variable p es la proposicin no p, p cuya tabla de valores de verdad es : $ 2 3 p 3 2

0e trata de una operacin unitaria o mon,dica, pues a partir de una proposicin se obtiene otra, que es su negacin (E9S19('%9 La conjuncin de las prop. p y q es la prop. Jp qJ cuya tabla de verdad es H cuatro combinaciones posiblesI $ 2 2 3 3 q 2 3 2 3 pq 2 3 3 3

La conjuncin de dos proposiciones es 2 si y solo si ambas proposiciones son verdaderas" en todo otro caso es 3. Es una operacin binaria o di)dica porque a partir de dos proposiciones atmicas obtenemos una molecular.

9 Lgica Proposicional Luca Hilal

Ejemplo: 0ea p : llueve, q : sale el sol pq: Llueve y sale el sol T pq: ) la ve llueve y sale el sol T pq: Llueve pero sale el sol T pq: Llueve aunque sale el sol T pq: Llueve sin embargo sale el sol !'0G19('%9 1na disyuncin es una prop. molecular formada por el t7rmino de enlace J oJ. En la disyuncin se utili a el sentido incluyente. Esto significa que en cualquier disyuncin, por lo menos una de las dos prop. es cierta y qui ,s ambas. /ay cuatro combinaciones posibles de valores de certe a: p 2 2 3 3 q 2 3 2 3 pq 2 2 2 3

Es una operacin binaria o di,dica, porque a partir de dos proposiciones atmicas se obtiene una molecular. Ejemplo: La lgica es difcil o la profesora explica mal . p: la lgica es difcil q: la profesora explica mal 0i por lo menos una de las proposiciones atmicas es 2, entonces la disyuncin es 2" adem,s, si ambas proposiciones son 2, entonces, la disyuncin tambi7n ser, 2. 0i las proposiciones son ambas 3, la disyuncin ser, 3. (E9!'('E9)L H pq I Los elementos del condicional se denominan antecedente y consecuente. El condicional usual en matem,tica es material en el sentido de que no es necesario que el consecuente se derive lgicamente del antecedente. (uando esto ocurre, el condicional se llama formal y queda incluido en el primero. Ej. de condicional material: 0i ;U;V > entonces =oy es lunes Ej. de condicional formal: 0i ;U;V > entonces >V ;U;
10 Lgica Proposicional Luca Hilal

La tabla de valores de verdad es: p 2 2 3 3 q 2 3 2 3 pq 2 3 2 2

Ejemplo: sea p la variable que sustituye a la proposicin W(urso la licenciatura en $edagoga !e la Fatem,ticaX, q representa a la proposicin W Estoy entusiasmadoX, el condicional entre ambas est, dado por: p q: 0i curso la licenciatura en $edagoga !e la Fatem,tica entonces estoy entusiasmado p q: 0i curso la tecnicatura, estoy entusiasmado p q: (ursar la tecnicatura implica estar entusiasmado p q: (urso la tecnicatura slo si estoy entusiasmado p q: Estoy entusiasmado si curso la tecnicatura p q: $ara estar entusiasmado, es suficiente cursar la tecnicatura p q: Estar entusiasmado es necesario para cursar la tecnicatura p q: (uando curso la tecnicatura, estoy entusiasmado L'(E9!'('E9)L H p q I El bicondicional, solo es verdadero si ambas proposiciones tienen el mismo valor de verdad. p 2 2 3 3 q 2 3 2 3 pq 2 3 3 2

El bicondicional puede definirse como la conjuncin de un condicional y su recproco. !e este modo la tabla de valores de verdad de pq, puede obtenerse mediante la tabla de H pq I Hqp I. p 2 2 3 3 q 2 3 2 3 pq 2 3 2 2 qp 2 2 3 2 Hp qI Hq pI 2 3 3 2
11 Lgica Proposicional Luca Hilal

Ejemplo: J 1sted puede votar si y solo si figura en los padrones J J 4 es un tri,ngulo equil,tero si y solo si 4 es un tri,ngulo J

aI*!')&8)F) !E 2)LE8E0 !E (E84EM) Ho de verdadI 'ndependientemente de la longitud y de lo complicada que sea una proposicin molecular, se pueden =allar sus valores de certe a si se conocen los valores de certe a de sus partes.* 0ea por ejemplo la frmula H p q I r donde p y r son 2 y q es 3 , el diagrama tendr, la forma: H p qI r 2 2 2 0e comien a con las variables atmicas, luego el conectivo de menor alcance y se contin#a =asta el t7rmino de enlace final.* ESE8('('E:* construir un diagrama para H p q pI H r sI donde . y ) son 2 y / y ' son 3 3 2

bI 4)LL)0 !E 2)LE8E0 !E 2E8!)! 0i no se conocen los valores de verdad de sus partes, se utili an mecanismos de decisin dados por tablas de verdad. Las tablas son ex=austivas operaciones lgicas cuyos resultados pueden tener distintas formas:* 4*/+a Ta$%*lg !a:* 0u valor de certe a es 2, independientemente de los valores de certe a de las proposiciones atmicas. !ecimos que la frmula es un tautologa. ESEF$LE !E 4)14ELE&') H p qI p q

12 Lgica Proposicional Luca Hilal

4*/+a C*(% (g#(%#: Las valoraciones son 2 y 3, es una funcin de verdad, porque los valores dependen de los valores de 2 de las proposiciones. La frmula es una contingencia. ESEF$LE !E (E94'9&E9(')

4*/+a C*(%/a" !%*/ a: tiene siempre el valor 3 independientemente del valor de verdad de las variables. !ecimos que la frmula es una contradiccin. ESEF$LE !E (E948)!'(('E9: p p

)(4'2'!)! 5< (onstruir un diagrama de valores de verdad para cada frmula de la actividad 55 sabiendo que p es 2, q , r son 3 , s es 2 )(4'2'!)! 5>.(onstruir una tabla de valores de verdad para cada una de las frmulas obtenidas en la actividad 5; y clasificarlas E:1'2)LE9(') L%&'() !os proposiciones son equivalentes cuanto tienen las mismas tablas de 2alores de 2erdad bien, cuando al componerlas con el bicondicional, da una tautologa. )(4'2'!)! 5?: Escribir ejemplos de frmulas equivalentes

LEGE0 L%&'()0 )lgunas tautologas reciben nombres especiales, por ser de uso frecuente, entre ellas: 5* 'nvolutiva: O O p p ;.'dem $otencia p p p " p p p <.4rasposicin H p q I H O q O p I
13 Lgica Proposicional Luca Hilal

>.(onmutatividad H p q I H q p I HpqIHqpI ?. )sociatividad Y p H q r I Z Y H p q I r Z YpHqrIZYHpqIrZ @. !istributividad de la conjuncin con respecto a la disyuncin Y p H q r IZ Y H p q I H p r IZ A. !istributividad de la disyuncin respecto de la conjuncin Y p H q r IZ Y H p q I H p r IZ B. !istributividad del condicional con respecto de la conjuncin Y p H q r IZ H p q I H p r I C. !istributividad del condicional con respecto de la disyuncin Y p H q v r IZ H p q I H p r I 5D. !e Forgan : OHpqIHOpOqI OHpqIHOpOqI 55. Exportacin: Y H p q I r Z Y p H q r IZ 5;. )bsorcin : p Y p H p q IZ p Y p H p q IZ 5<. !efinicin de condicional : H p qI H p qI 5>. !efinicin de bicondicional: HpqI H p qI H q pI 5?. 9egacin del condicional: H p qI H p q I 5@. Expansiones Looleanas: p p Hq O qI p p Hq O qI p p Hq O q rI p p Hq O q rI

9E&)('%9 !E 19 (E9!'('E9)L.
14 Lgica Proposicional Luca Hilal

Las proposiciones H p qI y

son equivalentes ya que su bicondicional nos dio una tautologa o sea: H p qI H p qI

En consecuencia la negacin de la primera es equivalente a la negacin de la segunda H p qI H p qI

)plicando la ley de !e Forgan al segundo miembro de la equivalencia, queda: H p qI La negacin de una implicacin negacin del consecuente.** )(4'2'!)! 5@: )plicar las leyes lgicas para encontrar ./*.*' ! *(#' equivalentes a: 5. 9o es cierto que, o voy al cine o voy a bailar ;. 9o ocurre que, si presento la monografa entonces apruebo la asignatura <. 9o ocurre que, si desapruebo el parcial, promociono esta asignatura o la regulari o. >. 0algo a caminar pero no me canso (E9!'('E9E0 9E(E0)8') G 013'('E94E !E 19 (E9!'('E9)L (onsideramos la 4abla 2alores de 2erdad de la implicacin p 2 2 3 3 q 2 3 2 3 pq 2 3 2 2 H p qI con la

es equivalente a la conj. del antecedente

/ay tres casos en que pq es 2 :

a)

0i sabemos que p q es 2 y p es 2 , q tambi7n debe ser 2 en cambio si p es 3 nada podemos decir de q , ya que puede ser 2 T 3 .E sea que es '$0 ! #(%# saber que p, es 2 para que q lo sea.

0e dice entonces que el antecedente p es condicin '$0 ! #(%# para el consecuente q y se expresa : q si p. Ejemplos:* Es suficiente que la figura tenga tres lados para ser tri,ngulo. * $ara aprobar este parcial es suficiente resolver los ejercicios y obtener @D puntos
15 Lgica Proposicional Luca Hilal

* atiendo las explicaciones o no comprendo el tema, si asisto a clase. bI* (uando p q es 2, si q es 2 entonces p puede ser 2 T 3, pero para que p

sea 2 es (#!#'a/ * que q lo sea. 0e dice entonces que q es condicin (#!#'a/ a para p y se expresa : p solo si q Ejemplos:* $ara que un metal se dilate es necesario someterlo al calor. $ara regulari ar la asignatura, es necesario aprobar el parcial o su recuperatorio )pruebo el parcial solo si estudio la teoria y comprendo los ejercicios )(4'2'!)! 5A: )nali ar las condiciones necesaria y suficiente de los siguientes condicionales y simboli arlos 5. Es necesario escuc=ar m#sica para ser feli . ;. 0oy feli si escuc=o m#sica. <. 0oy feli solamente si escuc=o m#sica. >. Es suficiente estar enamorado, para ser feli . ?. $ara ser feli es necesario escuc=ar m#sica y no estar enamorado. @. $ara escuc=ar m#sica es suficiente ser feli o estar enamorado. A. 0oy feli si escuc=o m#sica.

B. $ara estar enamorado es necesario ser feli . C. 0oy feli o no escuc=o m#sica si estoy enamorado. 5D. 0lo si escuc=o m#sica, soy feli . 55.$ara ser feli es suficiente estar enamorado

(E9!'('E9)LE0 )0E(')!E0 0ea el condicional p q ,que llamamos directo" en conexin con 7l , se presentan otros tres , obtenidos por permutaciones o negaciones del antecedentes y consecuente: p q q p directo recproco

p q contrario q p contrarecproco
16 Lgica Proposicional Luca Hilal

Los cuatro condicionales propuestos se llaman conjugados y cualesquiera de ellos puede tomarse como recproco .* (onstruya las tablas de verdad de los condicionales asociados para determinar si existen frmulas equivalentes entre ellos. )(4'2'!)! 5B: Elegir entre las frmulas de las actividades 55 y 5; las que correspondan a condicionales y formular los asociados

)(4'2'!)! 5C: 9egar las frmulas de la actividad 5A y retraducirlas al lenguaje coloquial.

17 Lgica Proposicional Luca Hilal