MINISTERIO DEDUCACION

Universidad Nacional de PiuraFacultad de Ciencias Sociales y Educación

PROGRAMA NACIONAL DE FORMACIÓN Y

CAPACITACIÓN PERMANENTE

ESPECIALIDAD MATEMATICA

MODULO No 06

ITEM 33

PIURA - 2008

LOGICA

I. DESARROLLO DE CONTENIDOS TEORICO

Definición

La lógica es la disciplina que trata de métodos de razonamiento.

En un nivel elemental, la lógica proporciona reglas y técnicas para

determinar si es o no valido un argumento dado. El razonamiento

lógico se emplea en matemáticas para demostrar teoremas; en

ciencias de la computación para verificar si son o no correctos los

programas; en las ciencias física y naturales, para sacar

conclusiones de experimentos; y en las ciencias sociales y en la

vida cotidiana, para resolver una multitud de problemas.

Ciertamente se usa en forma constante el razonamiento lógico

para realizar cualquier actividad.

II. PROPOSICIONES LOGICAS

Definición:

Una proposición es una oración que puede ser verdadera o falsa pero no

ambas a la vez. La proposición es un elemento fundamental de la lógica.

A continuación se tienen algunos ejemplos de enunciados.

La tierra es plana.

-17 + 38 = 21.

x > y-9.

El Grau es campeón en la presente temporada de fútbol.

Hola ¿como estas?

Lava la ropa por favor.

Las proposiciones se representan por medio de una letra minúscula, dos

puntos y la proposición propiamente dicha. Ejemplo.

p: La tierra es plana.

q: -17 + 38 = 21.

r: El Grau es campeón en la presente temporada de fútbol.

Los incisos p, q y r sabemos que pueden tomar un valor de verdadero o

falso; por lo tanto son proposiciones lógicas.

Un ejemplo de enunciado abierto es x > y-9, porque el valor de verdadero

o falso depende del valor asignado a las variables x e y en determinado momento.

Los enunciados “Hola ¿como estas?” y “Lava la ropa por favor” no son

proposiciones, ya que no pueden tomar un valor de verdadero o falso, uno de ellos

es un saludo y el otro es una orden por lo tanto son solamente enunciados.

Clases de Proposiciones

Proposición Simple o atómica: formada por un solo sujeto y predicado, es decir

carece de conectores lógicos monódicos o binádicos.

Ejemplo.

Las plantas son seres vivos.

Vanessa y Manuel se aman.

Silvana y Liliana son gemelas.

Proposiciones compuestas o Moleculares: son aquellas que se obtiene al

combinar las proposiciones simples unidas por uno o mas conectores lógicos

(símbolos matemáticos que sirven de enlace) o también aquellas proposiciones

que se pueden representar por lo menos por una variable y la palabra no

(negación).

Ejemplo

El deporte es divertido y ayuda a la salud.

Vanessa y Manuel son profesores de comunicación.

Si el cielo esta nublado entonces lloverá.

Es falso que la matemática sea una ciencia formal.

III. VALOR DE VERDAD

Se llaman valores de verdad o valores veritativos de una proposición a

sus dos valores posibles: verdadero(V) o falso(F) Estos valores se pueden

esquematizar en una tabla como se muestra a continuación:

p

V

F

Ejemplo:

p: 17-6=11, el valor de verdad de esta proposición es Verdadero (V).

q: Piura es la capital del Perú, el valor de verdad de esta proposición es

Falso (F).

IV. VARIABLES PROPOSICIONALES

Es la representación literal de una proposición simple ó atómica: p, q, r,etc.

V. CONECTORES LOGICOS

Definición: Reciben también la denominación de términos funcionales,

relacionales u operadores; permiten unir o enlazar las proposiciones simples

para formar proposiciones compuestas.

Clases

Monódicos: Son los que afectan a una sola proposición simple (Negador).

Binádicos: Enlazan a dos proposiciones simples (Conjuntor, Disyuntor,

Inclusivo, Disyuntor Exclusivo, Implicador, Replicador, Biimplicador).

A continuación se presentan los principales conectores lógicos:

NombreOperador

Significado o interpretación

Expresiones Verbales EquivalentesSimbolización

ConjuntorEs un conector binario (Diádico) que enlaza dos proposiciones simples, cuya función es compatibilizar dos proposiciones.

Λ

*

&

•

“Y”

Incluso, aunque, pero, además, sino, tambien, así mismo, no obstante, tal como, así como, sin embargo, a pesar, aun cuando, del mismo modo, de la misma forma, también, así igual que, al mismo tiempo, es compatible con .

p y q.

p Λ q

p * q

p & q

p • qDisyuntor Inclusivo (Débil)Conector binario, de función inclusiva, es decir se da la posibilidad de que se den ambas proposiciones a la vez.

V

+

“O”

A menos que, o bien , o también , salvo que, o en todo caso, o de lo contrario, o en su defecto, y/o

p o q

p V q

p + q

Disyuntor Exclusivo (Fuerte)Conector binario, de función exclusiva, es decir excluye la posibilidad que se den ambas proposiciones a la vez. Es la negación del biimplicador

∆

“O…O…”

O...o…, o bien…o bien…, o tan solo, o únicamente, o (en sentido excluyente).

o p o q

p ∆ q

p q

ImplicadorConector binario, cuya función es conectar a una proposición compuesta que es el antecedente(hipótesis) con otra que es el consecuente(tesis)

“Si…entonces...”

Implica, por consiguiente, por cuanto, por lo tanto, luego, en conclusión, en consecuencia, de manera que, por ende, de ahí que, se concluye, solo si, en efecto, es obvio que, es condición suficiente para.

Si p entonces q

p q

ReplicadorConector que indica que la operación de implicación esta invertida.

“… si…”

Dado que, puesto que, porque, ya que, siempre que, cuando, si, cada vez que, en vista que, de modo que.Estas expresiones se indican entre dos variables proposicionales.

p si q

p ← q

BiimplicadorConector binario ,que desempeña la función de doble implicador, es decir, es la conjunción de la condicional y su reciproca.

≡

“si y sólo si”

Si y solo si, siempre y cuando, es equivalente, se define lógicamente como, es idéntico, es lo mismo que

p si y sólo si q

p q

p ≡ q

NegadorOperador monádico, por que afecta mayormente a una proposicion cambiando

˜

─

“No”… No ,Es falso que ,es inconcebible que, Jamás, Nadie que sea, es absurdo que, es imposible que, es mentira que, no es innegable que, de ninguna forma se da.

˜ p

─ p

p

su valor de verdad.

FORMALIZACIÓN PROPOSICIONAL

1. Constante y Variable : Una constante lógica es una estructura lógica, de los cuales existen una gran variedad, y cada parte de la Lógica Formal, se encarga de estudiarlos y simbolizarlos. A las constantes lógicas o estructuras lógicas o estructuras del pensamiento, al ser simbolizados en algún sistema lógico, se les llama “operadores lógicos”.Ejemplo:

Lógica Estructura Lógica Operador(1) Proposicional Si … entonces …(2) Cuantificacional Todos … son …

Una variable lógica es una proposición o concepto que se interrelaciona con otros similares por medio de las constantes lógicas. En los ejemplos anteriores los puntos suspensivos van variables lógicas: En (1) van proposiciones, en (2) van conceptos.

2. Formalización Proposicional: Es el procedimiento mediante el cual se identifican proposiciones simples y estructuras lógicas proposicionales (estudiadas en la unidad anterior), asignándoles a cada uno un determinado símbolo del lenguaje de Lógica Proposicional organizándolos con signos de agrupación.

A las proposiciones simples se les reemplaza por variables proposicionales.

A los operadores lógicos, llamados constantes lógicas, se les reemplaza, con los símbolos siguientes:

N°Operador

SímbolosNombre Forma Básica

1 Negador “no” - ~2 Conjuntor “… y …” 3 Disyuntor incluyente “… o …” +4 Disyuntor excluyente “o … o …” 5 Implicador “si … entonces …”6 Replicador “… porque …”7 Biimplicador “… si y solo sí …” ,

3. Procedimiento de Formalización

Ejemplo:“Ya que Inicial es un nivel educativo tanto como la primaria o secundaria, por ello es gratuito y no es educación superior”

Paso 1.- Identificar proposiciones simples y asignarles variables en orden alfabético.

p: Inicial es un nivel educativo”.q: La primaria es un nivel educativo.r: La secundaria es un nivel educativo.s: Inicial es gratuito.t: Inicial es educación superior.

Paso 2.- Identificar la estructura formal:

“Ya que …p… tanto como …q… o …r…, por ello …s… y no …t…”

Paso 3.- Escribir la formula lógica(Formalización):

4. Recomendaciones para Formalizar : A continuación te presentamos un conjunto de recomendaciones que puedes utilizar para formalizar.

El negador:1. La doble negación de una proposición simple la convierte en una

compuesta.

Ejemplo: “Es mentira que Marleny no es profesor”.

Se formaliza:

2. La formalización debe ser literal (tal y como está escrita)

Ejemplo: “ Miguel no es millonario”.

La formalización correcta es:

El conjuntor:

Cuando se usan comas (,) y el último operador es “y”, las comas se formalizan como conjunciones.

Ejemplo: “Felipe, Alex y Cinthia son profesores que participan en el

programa PRONAFCAP”.

Se formaliza: .

"Mariátegui fue político, escritor y poeta”.

Se formaliza:

Excepción: Cuando en una proposición se utilizan términos relacionales, aunque utilice el término “y” se considera proposición simple.

Ejemplo: “José y Augusto son vecinos”.

Se formaliza: p

Términos RelacionalesIgualSemejanteContemporáneoVecinoAmarCompañeroAmigo

JuntosSimilarCamaradaCorreligionarioGemeloSiamésEtc.

El disyuntor incluyente

a) Al igual que la conjunción, las comas seguidas de una “o”, se formalizan como tal.

Ejemplo: “Daul, Justo o Arnulfo son profesores de PRONAFCAP”.

Se formaliza:

VERDAD FORMAL

La verdad formal es aquella que se obtiene evaluando esquemas moleculares haciendo uso de reglas de conectores lógicos y tablas de verdad.

E squemas Moleculares

Podemos clasificar los esquemas moleculares en:

1. Esquemas moleculares por el conector de mayor jerarquía.2. Esquemas moleculares por la matriz principal.

1. Esquemas moleculares por el conector de mayor jerarquía

Si tenemos en cuenta este criterio los esquemas moleculares son fórmulas compuestas por variables, operadores lógicos y en algunos casos signos de agrupación. El nombre del esquema molecular, lo determina el conector de mayor jerarquía. Para ello debemos tener en cuenta la jerarquía de conectores lógicos.

Ejemplo:

Es un esquema molecular condicional.

Es un esquema molecular disyuntivo incluyente o débil.

Es un esquema molecular bicondicional.

Es un es esquema molecular negativo.

Esquema molecular negativo.

En este caso se hace necesario utilizar la jerarquía de conectores.

Para el último ejemplo del cuadro, el conector de menor jerarquía es el

conjuntor ( ), por ello obtenemos: , que es la formalización

correcta y representa a un esquema molecular implicativo.

2. Esquemas moleculares por la matriz principal

Por ahora sólo mencionaremos que estos esquemas pueden ser:

a. Esquemas tautológicos.b. Esquemas contingentes.c. Esquemas contradictorios.

Tablas de Verdad

Sirven para evaluar esquemas moleculares. Este esquema muestra cómo valores de verdad de proposiciones compuestas dependen de los conectivos usados y de los valores de verdad de las proposiciones componentes simples.

La siguiente tabla de verdad muestra sus elementos, a un esquema molecular como ejemplo y a su matriz principal.

Donde el número

de arreglos por columna o el número de filas de la matriz, se calcula mediante la fórmula: .

Número de variables con los que cuenta el esquema molecular.Para el ejemplo, tenemos dos variables proposicionales, por tanto tenemos 22=4 arreglos por columna.

V VV FF VF F

Valores para p Valores para q

Para evaluar los esquemas moleculares necesitamos las reglas de conectores lógicos, los cuales dependen de la combinación de los valores de verdad de las variables o como resultado de afectarlos.

Tablas de Verdad de los conectores lógicos:

Regla Práctica: , ,

Ejercicios Propuestos

Dar el valor de verdad resultante

1.2.

Variables ( )

Arreglos V V V V F V VV F F V F F FF V V V V V VF F V V V V F

p

q

V V F F V V V V F VV F F V F V F V V FF V V F F V V F V FF F V V F F V V F V

Como todos los valores son F, entonces el esquema es contradictorio.

3.4.5.6.7.

Clases de Esquemas Moleculares

Según los resultados que se obtenga en la matriz final en la tabla de verdad, los esquemas moleculares se clasifican en:

a) Esquemas tautológicos: Se caracterizan porque en su matriz final los valores son sólo verdaderos(V).

b) Esquema contingente: Se caracteriza porque en su matriz final los valores son verdaderos(V) y falsos(F).

(( ( )

V V V V F V VV F F V F F FF V F F V V VF F F F V V F

c) Esquemas contradictorios: Se caracterizan porque en su matriz principal sólo existen valores falsos(F).

V V V V F V VV F F V F F FF V V V V V VF F V V V V F

( ) ( p q)V V V F F F F V VV F V V V F F F FF V F F F F V V VF F F F V F V V F

Como en su matriz principal sólo existen valores verdaderos(V) el esquema es tautológico.

Como existen valores verdaderos y falsos el esquema es contingente.

Ejemplo.

Evaluar el esquema molecular:

V V

V F

F V

F F

Ejemplo:

Dadas las siguientes proposiciones:p: “El dos es número primo”q: “Los números pares no son primos”.r: “Todo número elevado al cuadrado es siempre positivo”.

Encontrar el valor de verdad de: Solución:

Paso 1: Definir el valor de verdad de cada proposición.p: V q: F r: V

Paso 2: Asignar el valor de verdad a las variables

V F V F V V

Paso 3: Aplicar reglas de los conectores de acuerdo a su jerarquía.

V F V F V V F V V V V

DEDUCCIONES MEDIATAS E INMEDIATAS

Los razonamientos se dividen en deductivas e inductivas.Razonamiento deductivo: Es el paso de asociación conocida, llamada premisa (o premisas) a otra asociación ignorada llamada conclusión.

Ejemplos.

1) Si hay vida en la luna, entonces hay atmósfera. No hay atmósfera en la luna. Luego: No hay vida en la luna.Este ejemplo es un razonamiento deductivo con dos premisas por lo que se le llama razonamiento deductivo mediato.

2) No es posible que llueva y nieva. Luego: no llueve o no nieva.Este ejemplo, posee sólo una premisa por lo que recibe el nombre de razonamiento deductivo inmediato.

Reglas de la Inferencia Inmediata

Estas reglas son conocidas como equivalencias notables (leyes del álgebra proposicional).

Consiste en la aplicación de ciertos criterios o principios equivalentes con la finalidad de encontrar una expresión equivalente a una fórmula dada.

Estos principios son aplicados para simplificar fórmulas proposicionales.

En el siguiente cuadro se presenta las leyes de equivalencia más importantes.

Ley de Equivalencia

Aplicaciones Ejemplo

01 Doble negación

La proposición: “Es falso que la lógica no sea una ciencia formal”.Es equivalente a:“La lógica es una ciencia formal”.

02Leyes de D

´Morgan

La proposición: “Es inadmisible que, ni Dante ni André son puntuales”.Es equivalente a:“Dante es puntual a no ser que André es puntual”.

03 Conmutación La proposición:“Los médicos curan a los

pacientes pero José Augusto es un paciente”.Es equivalente a:“José Augusto es un paciente pero los médicos curan a los pacientes”.

04Asociación

La proposición:“Fiorella fue al Puente de los Suspiros, pero no a la Plaza de San Martín aunque estuvo en la Alameda de los Descalzos”Es equivalente a:“Fiorella fue al Puente de los Suspiros aunque no a la Plaza de San Martin, e incluso estuvo en la Alameda de los Descalzos”.

05 Distribución

La proposición:“Romy está de viaje. Pero Ricardo tiene fiebre o también esta agripado”.Es equivalente a:“Romy está de viaje sin embargo Ricardo tiene fiebre, a menos que, Luis está de viaje aunque Ricardo esté agripado”

06Definición del

implicador

La proposición:“Si haces la tarea, entonces ves televisión”. Es equivalente a: “No es cierto que, haces la tarea al mismo tiempo no ves televisión”

07 Idempotencia La proposición: “Lima es la capital peruana y Lima es la capital peruana”.

Es equivalente a: “Lima es la capital peruana”.

08 Complemento La proposición: “Silvana trabaja aunque Silvana no trabaja”. Es equivalente a:una proposición falsa.

09 Identidades

CIRCUITOS LÓGICOS A CONMUTADORES

Representación de circuitos mediante operaciones proposicionales.

ELEMENTOS: INTERRUPTOR O CONMUTADOR

Es la llave o palanquita que permite el paso o interrupción de la corriente eléctrica. Los conmutadores son representados por las variables proposicionales que pueden ser verdaderos o falsas.

a. Circuito cerrado :

(Foco encendido) en donde A=V ó 1b. Circuito abierto :

(Foco apagado) en donde A=F ó 0

CLASES

Circuito en serieRepresentación gráfica

Representación simbólica (AB)

Circuito en paraleloRepresentación gráfica

A

A

B A

Representación simbólica (AB)

Circuito serie – paraleloRepresenta a un esquema molecular y viceversa.Representación gráfica

Representación simbólica [A(BC)](DE)

SIMPLIFICACIÓN DE CIRCUITOS

Para simplificar circuitos le sugerimos los siguientes pasos:1. Si el circuito está dado en forma gráfica lo primero será formalizarlo.2. Haciendo uso de las leyes lógicas deberás proceder a la simplificación de

aquella expresión obtenida del gráfico.

Nota: Deberás recordar la mayor cantidad de reglas posibles para que puedas simplificar, ten presente que todas las reglas son importantes, con lo cual debes cuidar no olvidar ninguna.

IMPLICACIÓN LÓGICA Existe implicación lógica cuando una fórmula “A” unida a otra fórmula “B” a través de una condicional, siendo “A” el antecedente y “B” el consecuente, el resultado es una tautología. Una implicación lógica no es lo mismo que una condicional; será implicación solo cuando se trata de un esquema TAUTOLÓGICO, si no es tautológico (consistente o contradictorio), Se dirá que simplemente es un esquema condicional.

A

B

C

B

E

A

D

CAP. VII: INFERENCIAS LÓGICAS

DEFINICIÓN DE INFERENCIAS LÓGICA:

Son esquemas condicionales tautológicos, por lo que representa inferencias válidas. En consecuencia, teniendo la (s) premisa la(s) podemos derivar inmediatamente su respectiva conclusión.Forma canónicaP1: ……………..P2. ……………..

Pn: ……………..

C Conclusión

Forma lineal de una inferencia: ( P1 P2 , …… Pn ) C

premisas conclusión

RAZONAMIENTO DEDUCTIVO MEDIATO

Es un razonamiento donde de un conjunto de premisas se obtiene una conclusión siguiendo un orden, si se trata de una tautología la inferencia es valida.

REGLAS DE INFERENCIA

Son implicaciones notables y son:

I. Modus Ponendo Ponens (MPP)En una fórmula condicional si se afirma el antecedente entonces se concluye con la afirmación del consecuente

a) p q b) p qp p

q q

II. Modus Tollendo Tollens (MTT)En una fórmula condicional, si se niega el consecuente, se concluye negando el antecedente.

a) p q b) p q q q

Premisas

p p

III. Silogismo Disyuntivo (SD)Es una fórmula disyuntiva inclusiva si se niega una de sus partes componentes se concluye la afirmación del otro componente.a) p q b) p q

q p p q

IV. Silogismo Hipotético Puro (SHP)Se tienen dos premisas condicionales en donde el consecuente de la primera es antecedente de la segunda se concluye en otra condicional, donde el antecedente será el antecedente de la primera y el consecuente será el consecuente de la segunda

p q q r

p rV. Dilema constructivo (DC)

p q r sp r q s

VI. Dilema Destructivo (DD)p q r sq s

p rVII. Conjunción

Pq

p q

VIII. Adición P p q

IX. Simplificación

a) p q p

b) p q q

DEFINICIÓN: La lógica predicativa llamada también lógica de predicados

realiza un análisis interno de la proposiciones con el fin de poder determinar la validez de los razonamientos haciendo uso de formulas Booleanas y los diagramas de Venn.En el estudio de la estructura interna de las proposiciones la lógica predicativa va a encontrar la relación entre clase, mas específicamente de clase sujeto y de clase predicado.

PROPOSICIONES CATEGÓRICAS

Noción: Son aquellas proposiciones que afirman o niegan que la clase sujeto está incluida en la clase predicado de manera parcial o total.

Clasificación de las Proposiciones CategóricasA. Según su cantidad1. Universales: Son aquellas proposiciones en las cuales se hace referencia

a la totalidad de la clase sujeto en relación con la clase predicado.Ejemplo: Todo investigador es estudioso.Ningún insecto es mamífero.

2. Particulares: Son aquellas proposiciones en las cuales se hace referencia a una parte de la clase sujeto en relación con la clase predicado.

Ejemplo:Algún escritor es poeta.Algún filósofo no es idealista.

B. Según su CualidadCuando afirman o niegan una relación.1. Afirmativas: Son aquellas en las cuales se afirman una relación.

CAP. VIII: PROPOSICIONES CATEGÓRICAS

Ejemplo:Algún obrero es trabajador.Todo gato es felino.

2. Negativas: Son aquellas en las cuales se niega una relación.Ejemplo:Algún médico no es abogado.Ningún vegetariano es carnívoro.

Combinando los dos criterios de clasificación, obtendríamos los siguientes tipos de proposiciones categóricas.

A. Universales Afirmativas: Son aquellas proposiciones en las clases se establece una relación de inclusión total entre el sujeto y el predicado.Ejemplo: Todo peruano es americano.

B. Universales Negativas: Son aquellas proposiciones en las cuales se establece una relación de exclusión total entre el sujeto y el predicado.Ejemplo:Ningún orangután es cocodrilo.

C. Particulares Afirmativas: Son aquellas proposiciones en las cuales se establece una relación de inclusión parcial entre el sujeto y el predicado.Ejemplo:Algún profesor es crítico .

D. Particulares Negativas: Son aquellas proposiciones en las cuales se establece una relación de exclusión parcial entre el sujeto y el predicado.Ejemplo:Algún biólogo no es deportista.

Cuantificador Universal

Símbolo: x

Traducción Verbal Se leePara todo x Quienquiera que sea xPara cada x Todo xPara cualquier x Las xCualquier x Para cada una de las x

Cuantificador Particular

Símbolo: x

Traducción Verbal Se leeExiste x Algunos xHay x La mayoría de xPocos x Hay exactamente un xAlgunos x Casi todo xLa mayoría de x Existe al menos un x

FORMALIZACIÓN DE PROPOSICIONES CATEGÓRICAS

Elementos de formalización:1) El cuantificador que se presenta por una “” cuando es de cantidad universal y

“” cuando es de cantidad particular.2) El símbolo “x” que es la variable individual y que presenta el universo del

discurso.3) Las variables predicativas o letra predicativa que está representada por la

primera letra del predicado.Ejemplo:“Todos son abogados”; la variable predicativa es “A”.

4) Los operadores proposicionales, se usa cuando la fórmula tiene dos predicados; siendo los operadores “”; “” cuando es universal y “” cuando es particular.

Criterios para la formulación

1º Identificar el cuantificador, si es de cantidad universal se usará “” y si es de cantidad particular se usará “”.

2º Identificar el verbo copulativo; si es afirmativo se leerá “es” y si es negativo se leerá “no es”.

3º Elegir la variable predicativa para asignarlo con la primera letra en que comienza el término predicativo,.Ejemplo: Mamífero = M; Vertebrado = V, Cetáceo = C.Si es una fórmula con dos predicados cuyos términos comienzan en igual letra; se designará eligiendo la segunda letra del segundo predicado.Ejemplo: “Todos los metales son maleables”,

Se formaliza: x (Mx Ax)4º Utilizar el operador respectivo cuando es de dos predicados; siendo “” y “”

cuando es de cantidad universal afirmativa y “ ” cuando es universal negativo, así mismo el operador “” cuando es de cantidad particular afirmativa y “ ” cuando es particular negativa.

5º Identificar si la variable individual está traducido; está seguirá siendo “x”.

EQUIVALENCIAS DE CUANTIFICADORES CON UN PREDICADO

1) x (Px) x (Px)2) x (Px) x (Px)3) x (Px) x (Px)4) x (Px) x (Px)

EQUIVALENCIAS DE CUANTIFICADORES CON DOS PREDICADOS

1) X (Px Qx) x (Px Qx)2) x (Px Qx) x (Px Qx)3) x (Px Qx) x (Px Qx)4) x (Px Qx) x (Px Qx)De esto concluimos que:

CUADRO DE BOECIO

FORMAS TÍPICAS DE LAS PROPOSICIONES CATEGÓRICAS – SIMBOLIZACIÓN

FORMA TIPICA

REPRESENTACIÓN LITERAL

REPRESENTACIÓN

SIMBÓLICA

TIPO REPRESENTACIÓN SIMBÓLICA

CON CUANTIFICADOR

ESA Todo S es P S a P Universal

Afirmativox (SxPx)

E Ningún S es P S e P UniversalNegativo

x (SxPx)

I Algún S es P S i P ParticularAfirmativo

x (SxPx)

O Algún S no es P S o P ParticularNegativo

x (SxPx)

A OE = II EO A

AContrarias

Subcontrarias

E

I O

Sub

alte

rnan

te

Subalterna

Subalterna

Sub

alte

rnan

te

A: Inclusión totalE: Exclusión totalI: Inclusión ParcialO: Exclusión Parcial

PROBLEMAS PROPUESTOS

Practiquemos en el aula

1. Si

es verdadera. ¿Cuáles son los valores de s, p, r y q respectivamente.a) VFFFb) VFVVc) FVFFd) FVVVe) VVVF

2. Si se sabe que la siguiente afirmación es no verdadera: “No es cierto que si puedo comer entonces puedo beber, por lo tanto no puedo leer”.Se puede concluir:

a) Leo.b) Como.c) Bebo.d) a y b.e) Bebo y no leo.

3. Al simbolizar:“El hombre es

libre si y sólo si controla sus sentimientos. Si controla sus sentimientos entonces es libre. Si no controla sus sentimientos entonces se enamora. Si se enamora entonces no es libre”. Su matriz principal es:

a) VVVFVFVV

b) FVFFFFVF

c) FVFFFVVF

d) VVVVVVVV

e) FVFVFVFV

4. Dado el siguiente esquema:

Y sea A(n) el valor de verdad en la fila “n” de la matriz principal del esquema anterior.

Hallar el valor de verdad de:

a) V

b) F

c)

d)

e) No se puede determinar

5. Utilizar la tabla de verdad para determinar la ordenación de la matriz principal de:“Si se cumplen las demandas de los terroristas, entonces será vulnerada la legalidad. Si las demandas de los terroristas no se cumplen, entonces serán asesinadas personas inocentes. Por lo tanto, o bien se vulnerará la legalidad o serán asesinadas personas inocentes”

a) FVVFFVVV

b) FVFVVVFV

c) VFFFVVFF

d) FVVVFVVV

e) VFFFVFFF

6. Simplificar la siguiente fórmula:

a) b) c) d)

e)

7. Simplificar:

a) pb) qc) d) Fe) V

8. Reducir al máximo la siguiente proposición:

a)b)c)d)e)

9. La fórmula proposicional:

Equivale a:

a) B

b)

c)

d)

e)

10. “El geocentrismo afirma que la tierra es el centro del universo sin embargo para el heliocentrismo es el sol, a no ser que para el heliocentrismo el centro del universo es el sol”, equivale a:1. La tierra es el centro del

universo, según el geocentrismo.

2. El sol en efecto es el centro del universo como lo afirma el heliocentrismo.

3. Es absurdo que sea falso que heliocentrismo afirma

que el sol es el centro del universo.

4. El sol tal como la tierra son el centro del universo según lo afirma el heliocentrismo como el geocentrismo, respectivamente.

5. Ni el sol ni la tierra son el centro del universo,

según la realidad.

Son ciertas:

a) 1 y 2.

b) 2 y 3.

c) 3 y 4.

d) 4 y 5.

e) Todas.

11. Simplificar el siguiente circuito:

a)

b)

c)

d)

e)

12. Simplificar el siguiente circuito:

26

a)

b)

c)

d)

e)

13. Al simplificar el siguiente circuito:

Su esquema lógico es:

a) b) c) d) e)

14. Diseñar el respectivo circuito reducido para:

“Hay desocupación es condición necesaria para que no hay fuentes de trabajo; esto es condición necesaria para que al iniciar programas de inversión es suficiente que no hay desocupación”

a)

b)

c)

d)

e)

15. En el siguiente circuito:

El foco está encendido. Los estados de las llaves p, r, q respectivamente son:

a) Apagado, encendido, encendido.

b) Encendido, encendido, encendido.

c) Encendido, apagado, encendido.

d) Encendido, apagado, apagado.

e) Apagado, apagado, encendido.

27

16. De las siguientes premisas formales: P1:

P2:

P3:

Se infiere deductivamente:

a) qb)c)d)e) T

17. De las siguientes premisas formales: P1: P2:

P3:

P4:

Se infiere deductivamente:

a) b) c) d) e) p

18. Si:P1 :

P2 :

P3 :

¿Qué se infiere?

a)b)c)d)e)

19. Los ingenieros son profesores a menos que también matemáticos. Los mismos son empresarios excepto que tengan capital. Sin embargo los ingenieros no son profesores o tampoco empresarios. Luego:1. Si no tiene capital los ingenieros, son matemáticos

2. Los ingenieros no son matemáticos o no tienen

capital. 3. Son matemáticos o también tengan capital, los ingenieros. 4. No tienen capital salvo que no sean matemático los ingenieros. 5. Es mentira que los ingenieros no sean matemáticos y no tengan capital

Son absolutamente falsas:a) 2, 4b) 1, 2, 4 c) 1, 3, 5d) 2, 3, 5e) Solo 5

20. Si los compuestos son isómeros, tienen la misma fórmula molecular. Si la diferencia de potencial entre los electrones es suficientemente elevada, se produce un fenómeno llamado electrólisis. A menos que los compuestos sean isómeros, la diferencia de potencial entre los electrones es suficientemente elevada1. Los compuestos son

isómeros o la diferencia del potencial entre los electrones es grande.

2. Los compuestos tienen la misma fórmula molecular y se produce un fenómeno llamado electrólisis.

3. Es absurdo que los compuestos no tienen la misma fórmula molecular así como no se produce un fenómeno llamado electrólisis.

4. Es innegable que los compuestos tengan la misma fórmula molecular o también que se

28

produzca un fenómeno llamado electrólisis.

5. Los compuestos son isómeros o la diferencia de potencial es elevada.

Son ciertas

a) 1 y 2b) 3 y 4c) 1 y 5

d) 2 y 4e) 2 y 3

Bibliografía

29

1. Matemáticas Universitarias, 3º ed., México: Mc Graw-Hill.2. AYRES, Frank (1991): Teoría y problemas de álgebra moderna, México:

D.F: McGRAW-HILL.3. BLAS, Jerónimo (1983) Matemáticas I, Lima: Instituto Matemático Superior

Beta.4. CARRANZA, César (1993) Matemática básica, Lima: CONCYTEC.5. FIGUEROA, Ricardo (2006): Matemática básica I, 9ª ed., Lima: RFG.6. GÓMEZ, Pedro (1995): Matemática básica, México: Iberoamérica.7. MEDINA, Mario (1987): Matemática 1000 problemas, Lima: San Marcos.8. PINZÓN, Álvaro (1973): Conjuntos y estructuras, México: Harla, S.A. de

C.V.9. POLYA, George (1965) Cómo plantear y resolver problemas, México D.F.:

Trillas.10.SANTIVÁÑEZ, José (1988): Aritmética, Lima: Grafotécnica editores e

impresores.

30