Cuadros resmenes de conectivos lgicos: La negacin puede traducirse como:

No es cierto que ... Es falso que... Nunca ... No ocurre que... Es mentira que ... No es el caso que Es refutable que Nadie que sea ... No es el caso que ... No es verdad que Es absurdo que No acaece que... Es inadmisible que Es falaz que Jams ... Es inconcebible que... Es imposible que ... Es errneo que ... De ningn modo Es incierto que En modo alguno

La conjuncin puede traducirse como:

Pero Sin embargo Adems A la vez Incluso As como Del mismo modo Aun cuando Al igual que Tanto .como . Siempre ambos. con.. No slo.sino tambin. A pesar de .con . los dos a la vez No obstante Aunque Ms an Tambin Es compatible con As mismo De la misma forma que

Otras formas de conexin que nos indican una disyuncin inclusiva son:
A menos que Excepto que Salvo que A no ser que Y bien o tambin O sino O en todo caso O tambin O incluso O bien Al menos uno de los dos .o . Alternativamente

La disyuncin excluyente puede traducirse como:

O ... o ... O bien ... o bien ... No es equivalente ... con ... ....a menos que solamente... ....excepto que slo.... ....o exclusivamente.... ....no es lo mismo que... ... no equivale a ... No es cierto que...equivale a... O solo .... o solo .... ...salvo que nicamente... ....o bien necesariamente.... ....no es idntico a.... Salvo que .... o ....

La manera de expresar la condicional en el orden antecedente consecuente, son las siguientes:

Si p, entonces q Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q p por tanto q p por consiguiente q p por ende q p por conclusin q Dado que p por eso q Porque p por eso q

 La otra forma consecuente-antecedente:

q si p q siempre que p q es necesario para p Slo si p, q q dado que p q a condicin de que p q supone que p q es implicada para p q cada vez que p q en vista que p Slo cuando p, q q ya que p q dado que p q sigue de p q de modo que p q puesto que p q porque p Solamente porque p, q q cada vez que p q se concluye de p nicamente si p, q

La bicondicional puede traducirse como:

siempre y cuando es equivalente a es lo mismo que cuando y slo cuando Si y slo si p, q siempre que y slo cuando es idntico a Es suficiente para que suficiente sea Es condicin necesaria y suficiente para por lo cual y segn lo cual cada vez que y slo si si de la forma implica y est implicado por Siempre que y siempre que

ACTIVIDADES DE

SISTEMATIZACIN 02

Formalice y evale los siguientes esquemas moleculares: 1. Dos es un nmero primo porque solo es divisible por s mismo y por la unidad. 2. Si y slo si n es par, n es mltiplo de 2 3. Apruebas matemtica si y solo estudias con dedicacin. 4. Decepcionado se lanz del octavo piso y muri. 5. hay que pagar 100 soles y ser socio para ingresar al teatro. Evale los siguientes esquemas moleculares: 6. (p q) ~s] ~r 7. (p q) (r p) 8. (p q) (p ~q) 9. (p q) (p q) 10. (p q) (p q)

ACTIVIDADES DE EVALUACIN 02
Formalice y evale los siguientes esquemas moleculares: 1. Cuando obtengan mi ttulo ingreso a la carrera magisterial, pero no ingreso a la magisterial, luego no obtuve mi ttulo. 2. Viene a casa o se va de viaje, pero no viene en consecuencia se va de viaje. 3. Si vas al estadio pierdes tu dinero, si no vas al estadio, vas a la playa. Si no fuiste a la playa entonces perdiste tu dinero. Evale los siguientes esquemas moleculares: , ( q) 4. q- ) 5. ( q 6. ,( q) ( q)- ( q) ,( ( q))7. ,( q) q) (q 8. * ,( q) ( )- ( q)+ ,( q) (q )- ,q ( )-+ 9. *, ( 10. q) ~(~ q)