Matematicas I Unidad

MATEMTICA BSICA
TEMA: LOGICA PROPOSICIONAL

Eliezer estudia
Sujeto V .N .O
I. DEFINICIN: Es llamada tambin lgica de las Posee un verbo no copulativo (V.N.C)

proposiciones sin analizar, tiene por objeto de OJO: Los Verbos No Copulativos, son aquellos que
estudio a las proposiciones y su formalizacin con por s solos constituyen un predicado, pues
la finalidad de determinar sus valores lgicos. presentan significacin real, y, en consecuencia,
pueden ir acompaados de modificadores o
II. PROPOSICIN (LGICA): prescindir de ellos. Estos se subdividen en:
En el lenguaje cientfico, una proposicin se
refiere a un enunciado que puede ser Verbos Transitivos, son aquellos que presentan
verdadero o falso, generalmente una oracin objeto directo: la accin que realiza el sujeto
enunciativa. Es el elemento unidad sobre el recae en alguien o en algo; Ejem:
que se construye el lenguaje formal de la
Lgica.
Es la expresin lingstica del juicio cuya
propiedad principal es de ser verdadera o

Cierto elfusil
soldado levanto
falsa y que generalmente se expresa a travs
s
V . TRANS O .O
(Rosa realiza la
P
de una oracin enunciativa (aseverativa o
accin de amar
declarativa).
Para nosotros, proposicin es el significado de
l nos observ mucho pero yo la recibo)
toda oracin aseverativa con sentido que A
O . D V .TRANS CIRC
pone de manifiesto la funcin informativa del P
lenguaje y del que se puede predicar su
verdad o falsedad.
me
Rosa ama

III. CARACTERISTICAS: S
O . D V . TRANS
Toda proposicin es una oracin aseverativa, P
pero no toda oracin es una proposicin.
Toda proposicin o es verdadera (V) o es falsa
me
Rosa ama
.
(F) (no puede tener ambos valores al mismo
S
O.D. V.TRANS
P
tiempo).
Toda proposicin tiene un sujeto (S), un verbo Verbos Intransitivos, son aquellos en donde
o cpula (V) (por lo general es el verbo ser o la accin verbal no recae en nadie, ni en nada;
estar) y un predicado (P). es decir, carecen de objeto directo, aunque
La proposicin verdadera o falsa se puede pueden tener o carecer de objeto indirecto y/o
afirmar o negar. circunstancial VEAMOS!
Dentro del razonamiento la proposicin puede
ser premisa o conclusin.
Los cerros
han ennegrecido
Los enunciados matemticos tienen el rango S V . INTRANS
(La accin de amar no
de proposicin. recae en nadie.)
Ejemplo:
Rosa
ama mucho
S
V . INTRANS
P
La botnica estudia a las plantas. (V)
Todo asitico es africano. (F)
Rosa
ama mucho.
NOTA: Algunas oraciones aseverativas que

S
V.INTRANS
P
aparentemente no tienen la estructura
proposicional (S V P), poseen dicha
estructura de manera implcita. Ejemplo: Las
oraciones PREDICATIVAS, como: nacio
Shakespeare , vivio
y murio
en inglaterra
S V . INTR. V . INTR. V . INTR. CIRCUNST .
JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

Telf.: 252263
31
MATEMTICA BSICA
Verbos Reflexivos o Reflejos, son aquellos ORACIONES QUE NO REPRESENTAN
cuya accin recae o se refleja sobre el mismo PROPOSICIONES:
sujeto que la realiza. Estos verbos llevan como
objeto directo u objeto indirecto un pronombre 1. Oraciones interrogativas:
personal de la misma persona que del sujeto: Qu hay hoy de almuerzo?
me, te, se VEAMOS! Cmo lleg a tu casa?
me
Yo bao
2. Oraciones exclamativas:
S
O . D V . REFL. (Yo realizo y recibo a Gol de universitario!
P la vez la accin de Por fin ingres a estudiar a Harvar!
te
Tu vas
a peinarbaar)
3. Oraciones dubitativas: (Dudas)

S O.D .
V . REFL
Viajo a Lima o a Cajamarca?
P
Perder mi empleo?
se
Rosa ama
. (As misma)
S
O.D V.REFL 4. Oraciones desiderativas: (Deseos)
P. Ojal termine mi carrera de informtica
se
Rosa
ama Quisiera casarme con un profesor
S
O . D . V . REFL
5. Oraciones que utilizan personajes ficticios:
P
Batman es el hombre murcilago
Verbos Recprocos, son aquellos que tienen Ulises ceg a Polifemo
varios sujetos (o un sujeto plural) que ejercen
una accin verbal mutua entre ellos mismos. 6. Oraciones donde no se hacen uso correcto de
Estos verbos utilizan como O.D. u O.I. los los niveles de lenguaje: Esto para que sean una
pronombres se, nos, os. VEAMOS! proposicin deben de llevar comillas para
identificar lo que se quiere identificar.

Esos gatitos se persiguen Queso es bisilbico
La nieve es blanca consta de 4 palabras
S . PLURAL
O . D . V . RECIPR
P
(Esos gatitos realizan y reciben entre s la 7. Enunciados abiertos: Cuando el valor de la
accin de perseguir) incgnita o variable no satisface un nico valor de
verdad.
x + 4 = 15

Tu
amiga y yo nos guibamos
x2 + y = 4 ; x = 1
S .COMPUESTO . O . D .
V . RECIPR
Consigui un empleo (Quin?)
P
Fue un gran cientfico
(Tu amiga me guiaba y yo guiaba a tu amiga)
x + 1 = x (Si es proposicin, por repetirse x)

Laura y Teresa se dijeron
sus
verdades
8. Verbos en infinitos: Terminacin en AR, ER, IR
S .COMPUESTO .
O . D . V . RECIPR O. D
Amar
P
Sonrer
A veces, para reforzar el matiz de reciprocidad es 9. Doxas o juicios valorativos:
conveniente aadir ciertas palabras o locuciones: Para m el profesor me aprobar el examen
mutuamente, recprocamente, entre s, el Los mejores jugadores son de la U
uno al otro, etc.
abrazan
La madre y su hijo se entre s . 10.Refranes y/o proverbios:
S.COMPUESTO
O.D. V.RECIPR Al pan, pan y al vino, vino
P. A quien madruga Dios lo ayuda
abrazan
La madre y su hijo se entre s i .
COMPUESTO
O . D V . RECIPR 11. Creencias populares:
P Bate con ruda para que tengas suerte en
el examen de matemtica bsica
Telf.: 252263
31
MATEMTICA BSICA
Los duendes llevan nios. 1. Es el significado o el contenido de una oracin
aseverativa.
12.Sinsentidos: 2. Afirma o niega algo de algo.
Las mariposas cuadradas tienen hipotenusa 3. La oracin que lo expresa debe tener sentido.
4. Se puede atribuir un solo valor veritativo.
13.Oraciones que encierran ambigedades: 5. Tiene como atributo la verdad o falsedad.
El perro de mi vecino se muri
Son ciertas:
A) 1,2 y 5 B) 1, 4 y 5 C) 2, 3 y 5
D) 2,4 y 5 E) 2, 3 ,4 y 5 F) Todas
3. Son proposiciones:
1. Epstemes. 2. Reglas.
3. Leyes. 4. Principios.
5. Enunciados que son universalmente
verdaderos.
Son ciertas:
A) Slo 1y 5 B) 3,4 y 5 C) 2,3 y 4
D) 1, 3, 4 y 5 E) Todas F) Slo 4 y 5
4. De las siguientes proposiciones:
1. El primer da de la semana es el domingo.

2. El presidente de Bolivia es Hugo Chvez.
3. New York es la capital de los Estados
Unidos de Norte Amrica.
4. La Universidad Nacional Agraria La Molina
est ubicada en la provincia de Lima.
5. Alan Garca en las elecciones del 2006
derroto por segunda vuelta a Antauro Humala.
6. Los trminos se pueden formalizar en la
lgica proposicional.
Cuales son verdaderas:

A) 1,4 y 6 B) 4, 5 y 6 C) 1,2, 3 y 6
D) Slo 1 y 4 E) 3 ,4 y 5 F) 1,4 y 5
1. El requisito fundamental de una proposicin lgica

es de ser:
A) Aseverativa B) Explicativo
C) Declarativo D) Descriptivo 5. De los enunciados:
E) Verdadera o Falsa.
1. Por el amor a nuestra existencia: la vida.
2. Por el elixir de la piedra filosofal: la qumica.
2. La proposicin se caracteriza porque: 3. Por el ms bello capitulo humano: la felicidad.
4. Por el avance del pensamiento cientfico: la
creatividad.
Telf.: 252263
31
MATEMTICA BSICA
5. Por el pensamiento correcto: la lgica.
Individuales: Se asigna a una sola persona
Son proposiciones: Ejem: Rosa es ingeniera
A) Slo 1,2 y 3 B) Slo 2, 3 y 4
C) Slo 3, 4 y 5 D) Todas 3.2. Cualidad:
E) Ninguna Afirmativas: el predicado expresa una
seal del sujeto. El predicado forma parte
de la comprensin del sujeto.
6. No es una proposicin: Ejem: El cobre es metal (afirma una
cualidad: metal)
A) Todos los peruanos son
mestizos. Negativas: El predicado no conviene al
B) Ningn europeo es sujeto. La negacin afecta a la copula.
africano. Ejem: El da no es soleado (niega una
C) Algunos cientficos son cualidad)
excntricos.
D) No por mucho madrugar 2. CLASES:
se amanece ms temprano.
E) El primer astronauta fue 2.1.Simples o Atmicas: Carecen de
sovitico. conectores lgicos. Estas pueden ser:
Relacional: Si presenta algn trmino
relacional.
Ejem: Juan y ngel son amigos.
T.R.
Predicativa: Si presenta sujeto y

predicado.
Ejem: Euclides es un gemetra.
S P
2.2. Compuestas o Moleculares: Tienen uno o

ms conectores.
Ejem: Saturno no es una estrella
El ornitorrinco es ave y mamfero.
TEMA: PROPIEDADES Y CLASES -

PROPOSICIN
1. PROPIEDADES:
3.1. Cantidad:
Universales: cuando el sujeto se refiere a
todos los de la clase que indica o est en
toda su extensin; o el predicado se atribuye
a toda la extensin del sujeto. (Llevan los
trminos sin categoremticos. Todos,
01.Son proposiciones simples:
ninguno, nadie, etc.)
Ejem: Todo ser humano es racional
I.La radio es un medio de comunicacin y
distraccin
Particulares: cuando el sujeto se refiere a II. Esta proposicin no es verdadera
parte del grupo o clase (llevan los trminos III. El Per es un continente
sin categoremticos: alguno (a), algo, cada, IV. La historia es una ciencia fctica
ciertos, unos, muchos, pocos.etc.) V. Todas las aves son verdaderas
Ejem: Algunos hombres son filsofos
Telf.: 252263
31
MATEMTICA BSICA
A) I y II B) II y III C) III y D) Estudia con ahnco de modo que pronto
IV ingresar
D) III, IV y V E) IV y V E) Es atleta del mismo modo que abogado
02. La lgica proposicional estudia: 07. Son proposiciones compuestas negativa:
A) La estructura interna de las proposiciones A. No es cierto que Lisa no sea deshonesta

B) La relacin entre dos o ms clases B. Ya que no sal temprano, no llegu a tiempo
C) La funcin de las conjunciones C. No llueve, puesto que es verano
proposicionales D. Luis y Carmen no son hermanos
D) La inclusin entre dos conjuntos
E) Los diagramas de Venn A) A y D B) B y C C) A y C
D) B y D E) Todas
03. ............. es un mtodo decisorio empleado por
la lgica proposicional: Qu completara lo 08. Son proposiciones moleculares:
anterior?
I.Juan se encuentra entre Rosa y Luisa
A) La lgica predicativa II. El traje es de dos piezas as tambin este
B) Las frmulas booleanas poema tiene dos estrofas
C) Los diagramas de conjuntos III. Jimena es maestra tanto de Carlos como de
D) La lgica de clases Corina
E) Las tablas de verdad IV. Se tranquilizar toda vez que le compren la
mueca
04. La expresin: A) II, III y IV B) I, II y III C) I, III y IV
Vctor y Raquel son compaeros de aula D) I, II y IV E) Ninguno
Indica una proposicin:
09. En las siguientes expresiones encontramos
A) Atmica relacional proposiciones distintas:
B) Simple relacional
C) Molecular conjuntiva I. Fernando y Manuel son contemporneos.
D) Compuesta disyuntiva II. Manuel es contemporneo con Fernando.
E) AyB III. Los osos y los delfines estn en peligro de
extincin.
05. Seale la proposicin conjuntiva: IV. Fernando es contemporneo con Manuela.
V. Los delfines estn en peligro de extincin as
A) Oscar y Julin son enemigos como los osos tambin.
B) Pablo o Ronald son vecinos de Ins
C) Es falso que Adrin sea homosexual A) Dos B) Tres C) Cuatro
D) Violeta es comerciante as mismo es D) Cinco E) Indeterminadas
estudiante universitaria
E) No ocurre que Juan y Carmen sean obreros 10. Lalo fue al mercado en compaa de Lola;
de la fbrica Donofrio adems porque tienen dinero, irn al parque de
las leyendas. Cuntas proposiciones simples
hay en la afirmacin anterior:
A) Uno B) Dos
7. Seale aquella proposicin que no es C) Tres D) Cuatro E) Ms de
condicional: cinco
A) Cada vez que le gritan, se pone a llorar

B) No asisti a clase, debido a que est
enfermo
C) Es materialista por ello no cree en Dios
11. No es una proposicin condicional inversa:
Telf.: 252263
31
MATEMTICA BSICA
A) Llevo un libro ya que tengo que estudiar

B) Maana vamos al cine porque hoy tengo
examen
C) Enrique trabaja sin embargo no tiene dinero
D) No salgo de noche pues tengo miedo
E) Sacars la beca dado que estudiaste
12. Qu tipo de proposicin es: TEMA: CONECTORES LGICOS

E s el
NEGADOR Formas Lingsticas o explicitaciones
caso
No verbales de los conectores lgicos.
que
Smbolos: (, , , , A ) eres
cantante si participas en el festival de la
cancin criolla.
A) Conjuntiva
B) Bicondicional
C) Condicional directa 1. No A
D) Disyuntiva 2. Ni A
E) Condicional inversa 3. Nunca, A
4. Jams se cumple que A
12.No corresponde a una condicional: 5. Es falso que A
6. Es inconcebible que A
A) De modo que 7. Es imposible A
B) De ah que 8. No ocurre que A
C) Tambin 9. No es verdad que A
D) En consecuencia 10. No es el caso que A
E) Por consiguiente 11. Es mentira que A
12. Es inadmisible que A
14. Rorty pertenece a la escuela pragmatista, no 13. No acaece que A
obstante es un gran filsofo. 14. No es innegable que A
La expresin anterior es: 15. Carece de todo sentido que A
16. De ninguna forma se da A
A) Compuesta disyuntiva 17. Es incierto que A
B) Compuesta condicional 18. Nadie que sea A
C) Compuesta conjuntiva 19. Es absurdo que A
D) Compuesta Bicondicional 20. No se concibe de que A
E) Simple relacional 21. No es que A
22. No se admite que A
23. No es autntico el que A
24. No es evidente que A
25. No es posible de que A
26. Es contradictorio que A
27. En modo alguno se da que A
CONJUNTOR
.y..
Smbolos: ( , , x, , )
1. AyB
2. A pero B
3. A aunque B
Telf.: 252263
31
MATEMTICA BSICA
4. A sin embargo B
5. A incluso B DISYUNTOR EXCLUYENTE
6. A es compatible con B Disyuntor fuerte, bialternador,
7. A as como B Contravalorador o bidisyuntor
8. A tambin B (oo)
9. A del mismo modo B
Smbolos: ,,>,,,
10. A de la misma manera B
11. A de la misma forma B
1. OAoB
12. Siempre ambos A con B
2. O bien A o bien B
13. A no obstante B
3. A o B (en sentido excluyente)
14. A empero B
4. A excluye a B
15. No slo A sino tambin B
5. A se contrapone a B
16. A si mismo B
6. A no equivale a B
17. A sino B
7. A no se define como B
18. A a pesar de B
8. A no es igual a B
19. A a la vez B
9. Ya bien A ya bien B
20. A igualmente B
10. A o solamente B
21. A e incluso B
11. A o necesariamente B
22. A a ambos a la vez B
12. A salvo que solamente B
23. Sin que A tampoco B
13. A ya bien slo B
24. Tanto A cuando B
14. A y bien o tambin solamente B
25. A tal como B
15. A o prioritariamente B
26. A al igual que B
27. Sin que A tampoco puede ser B
IMPLICADOR
28. A del mismo estilo tambin ocurre B
Condicional: Sientonces
29. Es cierto que A sino incluso B
30. No slo A inclusive B Smbolos: (, , )
31. Cierto es que A lo mismo que B
1. Si A entonces B
2. Ya que A bien se ve que B
3. Cuando A as pues B
DISYUNTOR INCLUYENTE 4. Siempre que A por consiguiente B
Dbil o Alternador: .o 5. Toda vez que A por eso B
Smbolos: (, +, ) 6. Dado que A por eso B
7. En la medida que A de all B
1. AoB 8. En cuanto A por tanto B
2. A a menos que B 9. Con tal que A es obvio que B
3. A salvo que B 10. Como quiera que A por lo cual B
4. A o tambin B 11. En el caso de que A en tal sentido B
5. A excepto que B 12. De A inmediatamente B
6. A o a la vez B 13. En virtud de A es evidente que B
7. A o en todo caso B 14. De A deviene B
8. A o de lo contrario B 15. En el caso que A en este caso B
9. A o en su efecto B 16. De A derivamos B
10. A ya bien B 17. De A deducimos B
11. A a no ser que B 18. De A inferimos en B
12. A o aunque tambin B 19. De A concluimos en B
13. A ya sea que B 20. De A llegamos a B
14. A y bien o tambin B 21. A es la condicin suficiente para B
15. A o incluso B 22. Si A, B
16. A o puede que B 23. Si A solo si B
17. A o es B 24. La cuestin es que A de all B
18. A menos que A, B 25. De ocurrir A necesariamente ocurre B
26. En el supuesto caso de que A en tal sentido B
Telf.: 252263
31
MATEMTICA BSICA
27. A penas A se da B 4. A siempre que y solo cuando B
28. Desde el momento que A inmediatamente B 5. A equivale lgicamente a B
29. Teniendo en cuenta que A bien se ve que B 6. A por lo cual y segn lo cual B
30. Con que A segn lo cual B 7. A se define como B
31. Todo est en que A, por lo cual se da B 8. A es lo mismo que B
32. Segn se A, por lo expuesto B 9. A si es de la misma forma que B
33. Si se verifica A bien se ve que B 10. A es idntico a B
34. A da lugar a B 11. A igualmente entonces B
35. Para A es necesario B 12. A cada vez que y slo si B
36. A es suficiente para que B sea necesario 13. A cuando y slo cuando B
37. Siempre que A luego B 14. A entonces y slo entonces B
15. Si solo si A, entonces B
16. A es suficiente y necesario para B
REPLICADOR 17. A es necesaria y suficiente para B
En realidad no existe esta conectiva, pero es 18. Cada vez que slo si A entonces B
muy frecuente su uso por muchos estudios 19. A es de la misma forma que B
profesionales. Esta conectiva no viene a ser 20. A es de la misma manera que B
sino el implicador apuntando hacia la 21. Una condicin suficiente y necesaria para A es B
izquierda.
. Si.
, ,
Smbolos: ( )
1. A si B
2. A porque B
3. Slo si A, B
4. A siempre que B
5. A es condicin necesaria para B
6. Es condicin necesaria A para B
7. A cada vez que B
8. A dado que B
9. A puesto que B
10. A supone que B
11. A a condicin de que B TEMA: FORMALIZACIN DE PROPOSICIONES
12. A pues B
13. A en vista de que B
1. DEFINICIN: Es el procedimiento mediante el
14. A ya que B
cual se identifican proposiciones simples y
15. A es insuficiente para B
estructuras lgicas proposicionales, asignndoles a
16. En el nico caso en que A entonces B
cada uno un determinado smbolo del lenguaje de
17. Si tan solamente se da A entonces B
lgica proposicional organizndolos con signos de
18. Una condicin suficiente para A es B
agrupacin
19. Para que ocurra A es suficiente B
20. En el nico y necesario caso de A inducimos B 2.Procedimiento de Formalizacin:
21. A es condicin necesaria para que B sea
suficiente.
2.1. Identificar proposiciones simples y
asignarles variables en orden alfabtico.
BIIMPLICADOR 2.2. Identificar el operador
Bicondicional: si y solo s 2.3. Escribir la formula lgica
Smbolos: (,,,=, ) 3. Recomendaciones para Formalizar: A

continuacin te presentamos un conjunto de
1. A si y slo si B Recomendaciones que puedes utilizar para
2. A es equivalente a B formalizar.
3. A es equipotente a B
Telf.: 252263
31
MATEMTICA BSICA
3.1. El Negador: (, , , A ) Se traduce: Siempre que y solo cuando,
porque y solo porque, cuando y solo cuando,
a. La doble negacin de una proposicin simple la siempre y solo siempre, es equivalente, es lo
convierte en una compuesta. mismo, es igual que.
b. La formulacin debe ser literal (tal y como esta
escrita), no valen las
equivalencias.
c. Las experiencias lingsticas de doble negacin
(innegable, inobjetable, no es inadmisible,
etc.) se formalizan como tal.
d. Las negaciones por prefijos se 1. Es falso que voy al cine y es cierto que voy al
formalizan. teatro.
Formalizacin: p q
3.2. El Conjuntor: ( , , x, , )
2. Es falso que, si un metal se calienta entonces se
a.Cuando se usan las comas (,) y el dilata
ultimo operador es "y", las comas Formalizacin: ( p q )
se formalizan como conjunciones.
b.Excepcin: cuando una proposicin 3. Si un metal es falso que se calienta entonces no
utiliza trminos relacionales aunque
se dilata Formalizacin: p q
utilice el trmino "y" se considera
proposicin simple.
4. Dado que es cierto que, un metal se calienta
entonces es incierto que no se dilata
3.3. El Disyuntor Incluyente: (, +, )
Formalizacin: p q
a. Al igual que la conjuncin, las comas
seguidas de una "o", se formalizan como tal,
nota: los dems operadores se formalizan de 5. Voy al cine y al teatro. Excepto que me queda en
acuerdo a su sentido, en los casos tal y como casa.
se presento en la unidad anterior. Formalizacin: ( p q ) r
III.4 El Disyuntor Fuerte : A B , A B , 6. Voy al cine y al teatro. Salvo que me queda en

casa viendo televisin.
A B, A B
Formalizacin: ( p q ) r
Se lee : A o B (en sentido excluyente)
7. Voy al cine y al teatro. Dado que tengo dinero
Se traduce: amenos que solamente, salvo que
entonces ir a cenar.
nicamente, excepto que solo, o bien A o bien
B, no es equivalente, no es lo mismo que. Formalizacin: ( p q ) ( r s )
8. Voy al cine y al teatro. Por lo tanto estoy de

3.5 El Condicional: A B, A B
vacaciones.
Se lee : Si A entonces B Formalizacin: ( p q ) r
Se traduce: Si A entonces B 9. Un cuerpo se calienta solo si se dilata.

Formalizacin: p q
Dado que en consecuencia
ya que por lo tanto 10. un cuerpo se dilata si se calienta.
siempre que es obvio que Formalizacin
porque llegamos a
cuando es evidente que 11. Es suficiente que trabaje para mantenerme.
es suficiente para necesariamente
Formalizacin
3.6 El Bicondicional: A B, A B
12. Es necesario que no coma para que sea
delgada.
Se lee : A si y solo si B
Telf.: 252263
31
MATEMTICA BSICA
Formalizacin
13. Para que sea delgada es suficiente que haga

ejercicios. Formalizacin
14. Para que un cuerpo se dilate es necesario que

se caliente.
Formalizacin
Para que un cuerpo se caliente es necesario que

se dilate. Formalizacin
15. Si y solo si trabajo, sobrevivir.

Formalizacin
El que un polgono sea regular implica que sea

convexo, equiltero y equingulo.
Formalizacin

Telf.: 252263
31
MATEMTICA BSICA
3. Principio del Tercio Excluido: (Aristteles 384
A.C.)
TEMA: LA VERDAD FORMAL
Un enunciado es verdadero o falso, no cabe una
Sabemos que el clculo proposicional hace un anlisis tercera posibilidad
de la estructura de las proposiciones y razonamientos
o inferencias; y para ello dispone de un procedimiento Esto significa que una proposicin lgica es de
que permite hallar la verdad o falsedad de la funcin, carcter bivalente; solo puede ser verdadera o
dependiendo de los valores que independientemente falsa.
tomen cada uno de sus variables componentes y la
regla vlida aceptada convencionalmente de cada uno II. REGLAS DE LOS CONECTORES LGICOS
de los conectores.
1. EL NEGADOR
Wittgenstein ide un mtodo para determinar la
autenticidad, o interpretacin semntica de frmulas o A A
esquemas proposicionales denominado TABLAS DE 1 0
VERDAD. 0 1
Cada variable que represente a una proposicin
Si una proposicin es verdadera, su negacin
verdadera (V) le asignaremos el valor 1 y a cada
variable falsa (F) se le asignar el valor O. ser falsa y viceversa
Cada conector lgico est sujeto a ciertas reglas, las 2. EL CONJUNTOR

cuales son derivadas principalmente de tres principios
lgicos o frmulas tautolgicas denominadas: LEYES p q p q
DEL PENSAMIENTO 1 1 1
1 0 0
0 1 0
I. LAS TRES LEYES DEL PENSAMIENTO
0 0 0
1. Principio de Identidad: (Parmnides 515 A.C.)
Una proposicin conjuntiva es verdadera cuando
todos sus componentes son verdaderos. Es falsa
Si un enunciado es verdadero entonces es cuando por lo menos uno de sus componentes es
verdadero falso
Esto significa que toda proposicin se implica as
3. EL DISYUNTOR DBIL
misma:
p q p v q
PP
1 1 1
1 0 1
2. Principio de no contradiccin:(Platn 428 A.C.) 0 1 1
0 0 0
Es imposible que un enunciado sea verdadero y
falso a la vez Una proposicin disyuntiva es falsa cuando
todos sus componentes son falsos. Es verdadera
Esto significa que no puede ser cierto que una
cuando por lo menos uno de sus componentes es
proposicin se acepte simultneamente con su
contrario: verdadero
(p p)
4. EL DISYUNTOR FUERTE

Telf.: 252263
31
MATEMTICA BSICA
p q p v q p q (p q) (p v q)
1 1 0 1 1 1 1 1
1 0 1 1 0 0 1 1
0 1 1 0 1 0 1 1
0 0 0 0 0 0 1 0
Matrz principal
Una frmula bidisyuntiva es verdadera cuando
sus componentes tienen valores diferentes. Es 2. CONTRADICTORIOS: Si en su matriz principal
falso si sus componentes tienen valores iguales. todo los valores son falsos.
Ejemplo:
5. EL CONDICIONAL p q (p v q) (p q)
1 1 1 0 0
p q p q 1 0 1 0 0
1 1 1 0 1 1 0 0
1 0 0 0 0 0 0 1
0 1 1 Matrz principal
0 0 1
3. CONTINGENTES: Si en su matriz principal
Una proposicin condicional solo es falsa cuando aparece por lo menos un valor verdadero y un
el antecedente es verdadero y el consecuente falso.
falso. En los dems casos la proposicin ser Ejemplo:
verdadera. p q (p v q) (p q)
1 1 1 1 1
6. EL BICONDICIONAL
1 0 1 0 0
p q p q 0 1 1 0 0
0 0 0 1 0
1 1 1
Matrz principal
1 0 0
0 1 0 NOTA: Una frmula proposicional ser vlida si es
0 0 1 Tautolgica y se dir que es falsa en toda
interpretacin si es contradictoria.
Una proposicin Bicondicional es verdadera
cuando todo sus componentes son iguales. Es Como vemos: El mtodo de las tablas de verdad
falsa si sus componentes tienen valores puede ser aplicado en la demostracin de la validez
diferentes. de frmulas proposicionales; sin embargo existen un
procedimiento que evita el laborioso trabajo de
III. TABLAS DE VERDAD combinar todos los valores para obtener el resultado
Es una grfica que sirve para analizar esquemas veritativo de una frmula proposicional denominado el
moleculares. Estos esquemas dependen de los mtodo de las tablas abreviadas.
valores de las proposiciones componentes y la
correcta aplicacin de las reglas veritativas IV. EL MTODO DE LAS TABLAS ABREVIADAS
correspondientes a sus conectores. Dichos Gracias a este mtodo podemos averiguar de
manera ms directa si una frmula es tautolgica,
esquemas pueden ser:
contradictoria o consistente.
1. TAUTOLOGICOS: Si su matriz principal est
Procedimiento para averiguar si una frmula es
conformado solo de valores verdaderos. tautolgica o no:
Ejemplo: 1. Se supone la falsedad del operador o conector
principal de la frmula proposicional que se est
analizando.

Telf.: 252263
31
MATEMTICA BSICA
2. Asignamos los valores correspondientes a las
variables para satisfacer las condiciones de Ejemplo n 2: Ser contradictoria la siguiente
nuestra suposicin.
frmula proposicional?
3. Se sigue el mismo proceso encadenado hasta
obtener el valor veritativo de cada proposicin
simple teniendo en cuenta el principio del [p ( q r)] [p (r q)]
Tercio Excluido
4. Si en el resultado final por lo menos una Ejemplo n 3:
proposicin atenta contra el principio de La no
Analizar la siguiente frmula e indique a qu
contradiccin; entonces cometimos un error al
esquema pertenece
suponer inicialmente la existencia de la
falsedad del operador o conector principal.
5. Como no es posible hacer dicha suposicin, [(p q) (r s) - (q s)] (r - p)
entonces todos los valores deben ser
verdaderos; es decir las tablas de verdad
representara a un esquema tautolgico y la V. QUIN ES EL MENTIROSO?
frmula proposicional ser vlida. Un chico y una chica con ganas de hacer una
broma, estn sentados uno junto al otro; no se
Si el paso nmero 4 no atenta contra el principio saben nombres, solo se sabe que un individuo
citado entonces nuestra suposicin fue correcta y tiene los cabellos negros y el otro los cabellos
la frmula proposicional por lo menos no sera rubios.
tautolgico; puede ser consistente o contradictorio,
para eso hay que empezar suponiendo la verdad Yo soy un chico - dice el individuo de cabellos
del operador o conector principal y seguir cada negros
uno de los pasos anteriores.
Ejemplo n 1: Analizar la validez de la siguiente Yo soy una chica - dice el individuo de cabellos
rubios.
frmula proposicional:
Si se sabe que por lo menos uno de los dos
MIENTE; haciendo uso de las tablas de certeza
[ ( p q ) ( qr) ] ( p r ) averiguar el sexo de los chicos de cabellos negros
y rubios respectivamente.
Solucin:
Desarrollaremos los pasos 1,2 y 3 Rpta.: ......
p q ( q r ) p r
V V V V V F
V V
F
V
Vemos que el valor de r es verdadero dentro del 01. Si la proposicin formal p q es falsa; luego la
corchete y falso en el tercer parntesis atentando frmula proposicional que representa a una
al principio de no Contradiccin; llegamos a un proposicin siempre verdadera no es:
absurdo, luego todos los valores de la matriz
a) - p - q b) -p q c) - q p
principal sern verdaderos, la frmula
d) - p q e) - q - p
proposicional es vlida.
Solucin:
Telf.: 252263
31
MATEMTICA BSICA
La frmula p v q es falsa solamente en el caso
que las dos variables sean falsas; luego p = 0 y q 05. Si la siguiente frmula proposicional:
= 0. Sustituyendo cada variable la nica falsa es - [(A B) -C] es verdadera. Los valores de
la CLAVE B. verdad de los enunciados:
I) (A B) - C II) (-B C) A
02.La funcin de verdad principal de la frmula
proposicional:
- [- (p v q) p] III) C (-B -C)
Es: Son ciertas:
a) 1111 b) 0000 c) 1000 a) 111 b) 101 c) 010
d) 0111 e) N.A. d) 000 e) N.A.
Solucin: [(A B) C]
Observamos que es una frmula proposicional de 1 1 1
{
tipo negativo.
1 0
p q [( p v q ) p] 0
1 1 1 0 0 1
1 0 1 0 0 1 1
Los valores de verdad de las variables A, B y C
0 1 1 0 0 0 son: 111. Entonces determinando los valores de
0 0 1 1 0 0 verdad de los enunciados:
Matrz principal
CLAVE A. I. (A B) C II. (B v C) v A
1 0 1 {1
03.Dado el esquema proposicional falso: 0 1 1
{
(A v B) (C B); los valores de verdad de A, B y 0 0 1 0
C son respectivamente:
a) 011 b) 100 c) 010 0 1
d) 101 e) N.A.
Solucin: III. C (B v C)
Observamos que es una frmula proposicional de {1
tipo negativo. 1 0 1
( A B ) (C B) {
0 0
{1
0 0 0 1 0
Los valores de los enunciados son: 000, entonces
0 0 la alternativa correcta es la CLAVE D
0 06. Cul es el estado de los focos para A, B, C y D

Entonces los valores de verdad de las variables A, en el siguiente esquema verdadero:
B y C son: 010 CLAVE C (A B) (C D)
a) A = 1, B = 0, C = 0, D = 1
04.De las siguientes frmulas proposicionales es una b) A = 0, B = 1, C = 1, D = 1
tautologa: c) A = 1, B = 0, C = 1, D= 0
a) (p q) (-q -p) b) (p q) (p q) d) A = 1, B = 1, C = 1, D = 0
c) (p [p q] q) d) p [p . (p q)] e) N.A.
e) (p . q) . (p - q) Solucin:
Solucin: Se desarrolla por el mtodo del cangrejo.
Para desarrollar cual de las alternativas son
tautologas se tienen en cuenta las frmulas que 07. Qu valor debe tomar la variable C para que la
son equivalentes En la alternativa a es frmula proposicional
equivalente por contraposicin CLAVE A [(B C) (C D)] (A B)
Telf.: 252263
31
MATEMTICA BSICA
Sea falsa? d) Todas e) N.A.
a) Verdadero b) falso c) indefinido Solucin:
d) verdadero o falso e) N.A. Para este caso se tiene que basarse en las tablas
Solucin: de verdad formal. En el esquema molecular *
Se desarrolla por el mtodo del cangrejo: representa una disyuncin v. Entonces las
[(B v C) (C D)] v (A B) frmulas equivalentes mediante las tablas de
0 1 1 0 verdad seran al ser evaluadas la alternativa I y III.
La CLAVE C
1 0 1 0
0 11. Dados los enunciados:
0
p(x) = 2x < 3
0 q(x) = 3x - 1 = 6
La nica posibilidad de que el valor de C sea es
1, entonces es la CLAVE A r(x) = |x2| > 1
Y las proposiciones compuestas:
08. Las frmulas (A B) (A v B) al ser 1) p(2) q(3) 2) q(3) r(2)
activadas simultneamente en un circuito; el foco 3) p(5) r(2)
se encender: Los valores de verdad son como se indican en el
a) En el 1er. caso orden siguiente:
b) Solo en el 2do. Caso a) VVF b) FFV c) VFV
c) En todos los casos d) VVV e) FFF
d) solo en el 4to. Caso
e) En ningn caso 12. Si tenemos los siguientes esquemas
NOTA: Se resuelve teniendo en cuenta las tablas moleculares, en qu casos se ha producido un
de verdad. corto circuito
1) (A B) (A B)
09. Dado el esquema verdadero: 2) - (-A B) (A B)
(p q) [(-p r) (q - r)] 3) [(AB) & B] A
El valor proposicional de la frmula: p q r 4) (A B) (B A)
ser: 5) - {[(AB) & -B] - A}
a) Verdadero b) falso Son ciertas:
c) indeterminado d) A y B a) 1, 2, 3 b) 3, 4, 5 c) 1, 2, 5
e) N.A. d) 2, 5 e) N.A.
Solucin:
Se desarrolla por el mtodo del cangrejo como
ejemplo del ejercicio 5.
10. Se define el conector * mediante el esquema:
p q p * q
1 1 1
1 0 1
0 1 1
0 0 0
Cul de los siguientes enunciados representan a

frmulas equivalentes?
I. (p q) * q II. [(p * q) * q]
III. p * (p*q)
Son ciertas:
a) I y II b) II y III c) I y III
Telf.: 252263
31
MATEMTICA BSICA
TEMA: EQUIVALENCIAS LGICAS
Cundo se dice que dos frmulas son

equivalentes?
Solucin:
Sea la frmula: p q, cuyos valores son:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Matrz principal
Sea la frmula: - q - p, cuyos valores son:
p q q p
1 1 1
1 0 0
0 1 1
0 0 1
Matrz principal

Telf.: 252263
31
MATEMTICA BSICA
Como se ve los valores de verdad de (p q) y (- q
- p) coinciden en cada uno de los casos, entonces
diremos que "p q es equivalente a q - p"
a. El equivalente de la proposicin: A menos que
Por lo tanto diremos: EE.UU. sea capitalista, Rusia es comunista
a) Ni Rusia es comunista ni EE.UU. es capitalista
1) Dos frmulas son equivalente siempre y cuando b) Rusia es capitalista amenos que EE.UU. sea
tengan la misma interpretacin semntica. comunista
2) Dos frmulas son equivalente si coinciden en cada c) Si Rusia es comunista, EE.UU. es capitalista
uno de sus valores. d) Rusia es comunista salvo que solo EE.UU. sea
3) Dos frmulas son equivalentes si al unir con el capitalista
corrector Bicondicional resulta ser un esquema e) N.A.
Notacin: b. La proposicin: La fotosntesis es un medio de

alimentacin pero la fisin es falso que sea un
Si la frmula "A" equivale a la frmula "B" su notacin medio de digestin. Es lo mismo que decir:
ser "A B" a) Es falso que la fisin sea un medio de
digestin sin embargo es verdad que la
EQUIVALENCIAS NOTABLES: Son aquellas que ya fotosntesis sea un medio de alimentacin.
han sido demostradas, mediante las tablas de verdad b) Ni la fisin es un medio de digestin ni la
formal; y son las siguientes: fotosntesis es un medio de alimentacin.
c) La fisin es falso que sea un medio de
1. LA CONMUTACIN: A * B B * A digestin no obstante la fotosntesis si es un
Conectores: , , V , ,,/ medio de alimentacin.
Casos: d) La fisin no es un medio de alimentacin sin
ABBA embargo la fotosntesis es un medio de
ABBA digestin
e) a y c
A V BB V A
ABBA
A B B A 2. LA CONTRAPOSICIN: A * B - B * - A
A/BB/A
Conectores: , , V
Casos:
EJEMPLO: A B - B -A
AB-B-A
La proposicin: la radio as como la televisin A V B-B V -A
son medios de comunicacin y distraccin
respectivamente equivale a:
a) La radio es un medio de distraccin no
obstante la televisin es un medio de
EJEMPLO:
comunicacin.
La proposicin: Dado que la oferta favorece a
b) Ni la televisin es un medio de distraccin ni
la demanda es obvio que el precio
la radio es un medio de comunicacin.
desfavorecer a las ventas. Es como decir:
c) Tanto la televisin como la radio son medios
a) El precio favorece a las ventas porque la
de comunicacin y distraccin
oferta desfavorece a la demanda
respectivamente
b) Como las ventas favorecen al precio en
d) La televisin es un medio de distraccin o
consecuencia la demanda no favorecer a
incluso la radio tambin es un medio de
la oferta.
comunicacin.
c) Para que el precio favorezca a las ventas,
e) No solo la televisin es un medio de
es suficiente que la oferta no favorezca a la
distraccin sino que tambin la radio es un
demanda.
medio de comunicacin.
d) Siempre que la oferta desfavorezca a la
JR. Atahualpa N 521 demanda esE INFORMTICA
COMPUTACIN obvio que los precios
Telf.: 252263 favorezcan a las ventas.
e) Es condicin necesaria para que los
precios favorezcan a las ventas, que la
oferta desfavorezca a la demanda.
31
MATEMTICA BSICA
a. La proposicin: Los enunciados abiertos no son

proposiciones lgicas ya que las leyes cientficas
si lo son. Equivale a:
a) Dado que las leyes de la ciencia no son
proposiciones lgicas es obvio que los
enunciados abiertos si lo son.
b) Porque las leyes cientficas no son a. La proposicin: Es inadmisible que Andrmeda, la
proposiciones lgicas, es falso que los va lctea sean constelaciones equivale a:
enunciados cerrados tampoco lo sean a) Es inobjetable que la va lctea al igual que
c) Los enunciados cerrados no son Andrmeda son constelaciones.
proposiciones, en consecuencia las leyes b) La va lctea adems Andrmeda no son
cientficas tampoco lo son. constelaciones.
d) Es innecesaria que los enunciados abiertos c) La va lctea excepto que Andrmeda, es
sean proposiciones lgicas para que imposible que sean constelaciones.
suficientemente las leyes cientficas no lo son. d) Ni Andrmeda ni la va lctea son
e) N.A. constelaciones.
e) N.A.
b. El equivalente de la proposicin: El tener una
buena preparacin es consecuencia de haberse b. La proposicin: No obstante que hay crisis
esforzado lo suficiente para ingresar. tambin hay personas adineradas en el Per. Es
a) Porque no se tuvo una buena preparacin, no lo mismo que:
se puso el esfuerzo suficiente para ingresar. a) No hay adinerados en el Per ni tampoco crisis
b) Es necesario para haberse esforzado lo b) Cuando hay crisis as pues tambin hay
suficiente para ingresar, tener una buena adinerados en el Per
preparacin. c) Es absolutamente absurdo que no haya crisis
c) No se ha esforzado lo suficiente para ingresar salvo que tampoco hayan adinerados en el
porque no se tuvo una buena preparacin. Per
d) Si es falso que se ha esforzado lo suficiente d) No es falso que hayan en el Per adinerados
para ingresar por lo tanto si se ha tenido una sin embargo si es cierto que hay crisis
buena preparacin e) c y d
e) Todas
4. LA IMPLICACIN MATERIAL:
Correctores: ,
3. LA LEY DE MORGAN: - (A * B) - A # - B Casos:
Conectores: , AB-AB
Casos: A B -AB
- (A B) - A - B
- (A B) - A - B
A B - (- A - B)
A B - (- A - B)
EJEMPLO:
JR.EJEMPLO:
Atahualpa N 521 COMPUTACIN E INFORMTICA
El equivalente de la proposicin: Los peces
Telf.: 252263
La proposicin: A menos que la vida se sern voladores solo si los mamferos fueran
organice en la tierra, se organiz en el espacio, acuticos.
es equivalente a: 1. Los mamferos no son acuticos salvo que
a) La vida se organiz en la tierra y en el los peces sean voladores.
espacio. 31 2. Es cierto que los mamferos son acuticos
MATEMTICA BSICA
5. IDEMPOTENCIA:
AAA
AAA
6. ASOCIACIN:
A (B C) (A B) C
A (B C) (A B) C
A (B C) (A B) C
A (B C) (A B) C
7. DISTRIBUCIN:
A (B C) (A B) (A C)
A (B C) (A B) (A C)
A (B C) (A B) (A C)
A (B C) (A B) (A C)
a. La proposicin: Es imposible que Urano al igual 8. ABSORCIN:

que Jpiter sean constelaciones equivale a:
1. Dado que Urano es constelacin luego Jpiter A (A B) A
no lo es A (A B) A
2. Porque Jpiter es constelacin por ello Urano A (-A B) A B
no lo es A (-A B) A B
3. Ni Jpiter ni Urano son constelaciones
4. Anoser que Urano no sea constelacin, Jpiter 9. LEY DEL COMPLEMENTO:
tampoco lo ser
5. Urano si es constelacin porque Jpiter no lo A -A 0
es. A -A 1
Son ciertas:
a) 1, 2, 4 b) 3, 5 c) 1, 2, 3 10.LEY DE IDENTIDAD:
d) 3, 4, 5 e) N.A.
b. La proposicin: Siempre que la pedagoga sea A1A
ciencia ms tcnica, se derivar que no es A00
hechicera, equivale a:
1. Siempre que sea hechicera la pedagoga se A11
concluir que no es ciencia ni tcnica
A0A
2. No es verdad que la ciencia y la tcnica sean
compatibles con la hechicera
NOTA: Para la simplificacin de frmulas; adems de
3. La ciencia tal como la tcnica pedaggica no
las leyes especiales mencionadas; tambin se usan
se definen como hechicera.
las otras leyes de equivalencia estudiadas
4. No es hechicera a menos que tambin no se
anteriormente: conmutacin, definicin,
ciencia ni tcnica la pedagoga.
contraposicin, etc.
5. Es absurdo que sea ciencia al igual que
tcnica la pedagoga, o tambin no sea
hechicera.
Son inciertas:
a) 1, 3, 4 b) 2, 3, 4 c) 3, 4, 5
d) 2, 3, 5 e) N.A.
Telf.: 252263
31
MATEMTICA BSICA
08.La simplificacin de la frmula:

-(p q) (q -r)
Es equivalente a:
I. [p (p -r)] -q
II. (p -q) -(q r)
III. (p -q) [(q -r) -q]
Son ciertas:
a) Todas b) Ninguna c) Solo I y II
d) Solo I y III e) Solo II y III
09.La siguiente frmula:
[(A B) A] [(A / B) / A]
Equivale a:
01. La frmula simplificada de: a) B A b) -B -A c) B -A
(A B) (A -B) d) -B A e) N.A.
Es:
a) A b) B c) -A
d) -B e) 1 10.A menos que Javier sea profesor, es pedagogo,
equivale a:
02.La simplificacin de la frmula: a) Javier no es profesor o pedagogo
[p (q -r) ] -(p -q) b) Javier es pedagogo tambin profesor
Es: c) Al no ser profesor en consecuencia es
a) -q -p b) -q p c) p -q pedagogo, Javier
d) q p e) N.A. d) No slo es profesor sino tambin pedagogo,
el tal Javier
03. La siguiente frmula: e) N.A.
{[(A B) -C] (C B)} C
a) A b) B c) C 13.La contraposicin de la definicin de : Hay
d) A -A e) B -B recalentamiento ms cambios climticos en la
Tierra, es:
04.La frmula: a) q p b) (q -p) c) p -q
[(-p -q -r) p] (p q) d) (-p -q) e) (-q -p)
Equivale a:
a) p q b) p q c) p q 14. La proposicin : Es inadmisible que Urano,
Jpiter sean constelaciones, equivale a :
d) q p e) p
a) Si Urano es constelacin en tal sentido Jpiter
tambin lo es.
05.Simplificar:
b) Jpiter excepto que Urano de ningn modo
[(-A B) -(A B)] A
son constelaciones
a) -A B b) A -B c) -A A c) Es inobjetable que Jpiter al igual que Urano
d) -B B e) N.A. son constelaciones
d) Jpiter adems Urano no son constelaciones
06.La frmula: e) N.A.
[(A B) A] A 15. La contraposicin de la definicin de : No es
Es: innegable que, la existencia de la pobreza es
a) Tautolgico b) contradictorio compatible con la justicia, es :
c) consistente d) indeterminado a) A -B b) B -A c) (-B A)
e) N.A. d) B -A e) N.A.
07.La siguiente frmula: 16. La proposicin: No slo las matemticas son
[(A -B) (A B)] [(-A B) (-A -B)] ciencias formales sino tambin la lgica,
Tiene como valores matriciales: implica que :
a) 0000 b) 1111 c) 1100
d) 1010 e) 1001
Telf.: 252263
31
MATEMTICA BSICA
1. En modo alguno las Matemticas son ciencias
antiformales si la Lgica lo es.
2. La Lgica es ciencia formal pero las 1 1 1
Matemticas no lo son.
3. No es evidente que siendo las Matemticas 1 0 0
ciencias formales, suficientemente sea falso
que la Lgica lo es. 0 1 0
4. Ambas son ciencias formales: La Lgica, las
Matemticas.
0 0 0
5. Carece de sentido que sean ciencias formales
las Matemticas y/o Lgica.
Son ciertas: Si disponemos de dos conmutadores en serie
a) 2 y 5 b) 1, 3, 4 c) 1 y 3 combinando la totalidad de estados que pueden
d) 3, 5, 2 e) 2, 4, 5 tener, vemos que corresponden a la misma
funcin de un conector conjuntivo, es por esta
razn que al formalizar utilizamos el Conjuntor.
Ejemplo:
* Del siguiente circuito:
A B
Su frmula es: A B
TEMA: CIRCUITOS LOGICOS

A B C
Su frmula es: A B C
Este es uno de los temas de la lgica aplicada a la
informtica. b) Circuitos en paralelo: Se denomina circuitos en
Un circuito, es un dispositivo electrnico utilizado por paralelo cuando los conmutadores (variables)
la informtica con fines de toma de decisiones, es estn dispuestos en PARALELO, es decir
decir para ejecutar tareas ordenadas por un verticalmente distribuidos.
computador. Para formalizar un circuito en paralelo primero
Los ordenadores o computadoras utilizan la lgica debemos de tener en cuenta lo siguiente:
digital para efectuar operaciones. La lgica digital
implica tomar sucesivas decisiones de verdadero o 1
falso, que se representan como 1 y 0, 1
respectivamente. 1
Los circuitos lgicos que estn en el corazn de los
chips de la computadora, estn diseadas para tomar 1
series de este tipo de decisiones a travs de juntas 1
denominadas COMPUERTAS.
En este tema un CIRCUITO LGICO es la 0
representacin grfica de un esquema lgico formal.
Los ms comunes son: 0
1
1. CIRCUITOS A CONMUTADORES: Pueden ser: 1
a) Circuitos en serie: Se denomina circuitos en serie
cuando los conmutadores (variables) estn
dispuestos en SERIE, es decir horizontalmente 0
0
distribuidos.
Para formalizar un circuito en serie debemos tener 0
en cuenta lo siguiente:

Telf.: 252263
31
MATEMTICA BSICA
A Frm ula S istem a S istem a Funcin u
lgica ASA IS O Operador
A 1 NOT
B
Se formaliza: A v B A B & AND
A v B >1 OR
A A v B =1 XOR
A B = NXOR
B
Se formaliza: A v B A / B >1
A B &
Ejemplos de circuitos con conmutadores en serie
y en paralelo: (A B) & NOT AND
* Del siguiente circuito: (A v B ) >1 NOT OR

A B
Ejemplo:
Av B A (.......)
C
A compuerta
Se formaliza: (A B) v C principal
=
* Del siguiente circuito: B
A B C
A = B C v (......)
A B Se formaliza: A (A v B) = [(B = C) v C]
Se formaliza: (A B) v (A B)
2. CIRCUITOS A COMPUERTAS: Las compuertas

lgicas son dispositivos que procesan la entrada 1. A qu circuito con compuertas, corresponden, las
de datos (que estn dados por las variables de siguientes frmulas?
esquemas) y permiten una sola salida.
1. (A V -B) (B V -A)
Existen dos sistemas, y son las siguientes: a)
A
B
a) Sistema ASA o americano
b) Sistema ISO o europeo
b)
A
c)
A

Telf.: 252263
31
MATEMTICA BSICA
d) c)
A A
B
C
B
D
d) Todas e) N.A
e) N.A
2. -[(p q) V (-r V s)]
b) 5. [(A -B) (-C D)] [(-A B)]
a)
a)
p p
q A
q
B
r r
C
s
D
c) d) b)
p A
p
q q B
C
r r
D
s s
c)
e) N.A A
3. (-P Q) (-R /S) B

a) b)
p p C
q q D
D) Todas e) N.A
r r
s s
6. Qu frmula representa el siguiente circuito?
p
c)
d) N.A q
p
q
e) N.A r
r s
s
a) [(p -q) (s r)] -p
b) [(-q p) (r s)] V -p
4. [-(-A -B -C) (D -A)] c) [(-q p) V (s r) V -p
a)
A d) [p -q) (r s)] -p
B e) N.A
C
D 7. Qu frmula representa al siguiente circuito?

A
b)
A B
B
C
C
D a) [(A V B) -A] [(-B -C) V C]

b) [(A V B) -A] [(B -C) C]
c) [(A V B) -A] [(-B -C) V C]
d) Todas
e) N.A
8. Qu frmula representa al siguiente circuito?

Telf.: 252263
31
MATEMTICA BSICA
A
B &
11. A B
>1
=
C
=1
12. A ( B C )
D
& 13. A B C
a) -[-(A B) V (C D)] -(C D)
b) [-(A -B) V (C D)] -(C D) 14. ( A B ) C
c) -[-A -B) V (C D)] -(C -D)
d) Todas 15. ( A B ) / ( A / B )
e) N.A
16.[( A B )C ] { [ A (pF)] [-B (F/D)] }
9. Qu frmula(s) es equivalente al siguiente
circuito? 17. [ ( ( A B ) E ] ( A B C )
A
>1
B
18. ( - A - C ) - B
&
=
C 19. A B C D F ) - G
&
D
>1 &
20. [ ( p q ) q
a) [-(A B) -(B C)] [(-C B) C] b)
[-(-A V B) (B -C)] [(C V B) C] TEMA: INFERENCIAS LGICAS
c) [(A -B) -(-B V C)] [-C-C -B) C]
d) Todas Una inferencia, es un proceso, actividad u operacin
E) N.A mediante el cual partiendo de premisas se llega a
una conclusin en un razonamiento.
Nota: Tambin se puede aplicar la simplificacin Para los procesos de inferencias utilizamos leyes y
de equivalencias a los circuitos lgicos. reglas vlidas, las cuales nos permiten siempre
razonamiento correctos y adems detectar los
incorrectos o no vlidos.
10. El siguiente circuito:
A MECANISMOS PARA INFERIR
B &
C >1 Para encontrar la conclusin en un razonamiento,
&
utilizamos 2 mecanismos para inferir:
>1
&
INFERENCIAS POR DEFINICIN (LEYES DE
EQUIVALENCIA):
>1 En este grupo se encuentran todas las LEYES
de equivalencia conocidas.
Equivale a:
a) A B
& b) >1 Ejemplo 1:
C C
P1: La inflacin aumenta tal como aumenta el
desempleo .
C: Aumenta el desempleo aunque tambin
A A aumenta la inflacin
c) & d) >1
B B
Donde:
e) N.A P1: Premisa
C: Conclusin
CIRCUITOS LOGICOS
I. Simbolizar los siguientes esquemas lgicos:

Telf.: 252263
31
MATEMTICA BSICA
P1 : A B
P1 : A B P1 : A B
C: B A
C: A C: B
Inferencia por Definicin Ejemplo:
De la premisa:
Ejemplo 2: "Jos Flix y Arstides estudian medicina"
P1: Alejandra baj de peso, por tanto usar bikini
en verano . Se puede concluir en:
C: Si Alejandra no usa bikini en verano, "Jos estudia medicina"
entonces no baj de peso
De la premisa:
Donde: "Jos Flix y Arstides estudian medicina"
P1. Premisa
C: Conclusin Se puede concluir en:
"Arstides estudia Medicina"
P1 : AB
C: : B : A En la aplicacin de esta Regla de Inferencia
llamada SIMPLIFICACIN, debemos tener en
cuenta que el Conector Principal de la Premisa
Inferencia por Definicin debe ser necesariamente CONUNTOR ( ).
(Contraposicin)
Ejemplo 3:
P1: Es falso que el conjuntor y el disyuntor
son conectores mondicos . b. Conjuncin:
C: El conjuntor o el disyuntor no son
P1 : A
conectores mondicos
P1 : : (A B) P2 : B
C: : A: B
C: A B
Ejemplo:
Inferencia por Definicin Dadas las premisas:
(D' Morgan) P1: "Eduardo es Ingeniero"
P2: "Karina es profesora"
Como vemos, la aplicacin de EQUIVALENCIAS a
frmulas proposicionales, tambin nos sirven para Se puede concluir en:
INFERIR con validez. "Eduardo es Ingeniero y Karina es profesora"
A este grupo de INFERENCIAS, las que c. Adicin o Nuevo Factor:
involucran la aplicacin de todas las P1 : A
EQUIVALENCIAS, llamadas Inferencias por
C: A N F
Definicin, tambin son conocidas como
INFERENCIAS INMEDIATAS DE LGICA
PROPOSICIONAL. Ejemplo:
De la premisa:
"La Academia RECORD es una entidad
INFERENCIAS MEDIANTE REGLAS (REGLAS
educativa"
DE INFERENCIA)
Por el nmero de premisas podemos clasificarlas Se puede concluir en:
en: "La Academia RECORD es una entidad
educativa salvo que tenga docentes
1. Razonamientos a partir de una premisa titulados"
a. Simplificacin
Telf.: 252263
31
MATEMTICA BSICA
En la aplicacin de esta Regla de Inferencia
llamada ADICIN o NUEVO FACTOR, se P1 : A B P1 : A B
puede agregar cualquier variable a la P2 : A P2 : A
conclusin, siempre y cuando se utilice para
ello necesariamente DISYUNTOR (V). C: B C: B
EJEMPLO DE APLICACIN:
P1 : A B
Dada la premisa: P2 : B
"Manuel es ingeniero pero no ejerce su
C: A
profesin".
Se infiere: NO VLIDO
NO VLIDO
B. Manuel es ingeniero FALACIA FORMAL
FALACIA FORMAL
C. Manuel no ejerce su profesin
D. Manuel es ingeniero a menos que
sea arquitecto Ejemplo:
E. Manuel nunca ejercer su profesin A) Dadas las premisas: "Si Eduardo lee el
pero es ingeniero Comercio, entonces estar bien informado" y
F. Manuel es ingeniero o bien ejerce su "Eduardo lee el Comercio", se puede concluir
profesin que: "Eduardo estar bien informado"
Son ciertas solamente: B) Dadas las premisas: "Comprar un boleto de
A) 1 y 2 B) 1, 2 y 3 C) 1, 2 y 5 lotera siempre y cuando retire plata de!
D) todas E) 1 4 y 5 cajero" y "Compro mi boleto de lotera", se
puede concluir: "Retiro plata del cajero"
C) Dadas las premisas: "Cada vez que y solo
cada vez que una persona cometa un
Solucin: crimen, ir a la crcel" y 'Manuel ir a la
crcel", se puede concluir: "Manuel cometi
Formalizando a premisa: P1 : I E un crimen"
b. Modo Negando Niego (Modus Tollendo Tollens)
1. I (Por Simplificacin) (" ", " ")
2. E .(Por Simplificacin)
3. I v (A) (Por Simplificacin y Nuevo
Factor)
4. E I .....(Equivalencia por Definicin:
Conmutacin) P1 : A B P1 : A B
5. I v (E) .........(Por Simplificacin y Nuevo
P2 : B P2 : A
Factor)
CLAVE: D C: A C: B
RAZONAMIENTO A PARTIR DE DOS

PREMISAS:
P1 : A B P1 : A B
Se pueden clasificar en 2 grupos:
P2 : B P2 : A
1. MODOS DIRECTOS: Son aquellos que van C: A C: B
de:
NO VLIDO
FALACIA FORMAL
AFIRMAR AFIRMAR
NEGAR NEGAR
Ejemplos:
a. Modo Afirmando Afirmo (Modus
Ponendo Ponens) (" " , " ")
Telf.: 252263
31
MATEMTICA BSICA
a. Dadas las premisas: "Si Eduardo lee el tcnico", se puede concluir: "Adolfo es
Comercio, entonces estar bien informado" y Ingeniero".
"Eduardo no estar bien informado", se
puede concluir que: "Eduardo no lee el c. Silogismo Hipottico Puro (Esquema
Comercio" Transitivo) (" " , " ")
b. Dadas las premisas: "Estudiar Informtica si
y solo si estudiar en HARVAR" y "No P1 : A B P1 : A B
estudiar informtica", se, puede concluir:
"No estudiar en HARVAR. P2 : B C P2 : C A
c. Dadas las premisas: "Ser millonario cuando C: A C C: C B
y solo cuando trabaje arduamente" y "No
trabajo arduamente", se puede concluir que:
"No ser millonario" P1 : A B P1 : A B
P2 : A C P2 : C B
2. MODOS INDIRECTOS o C: B C C: A C
INVERSOS: Son aquellos que van de:
NO VLIDO NO VLIDO
AFIRMAR NEGAR
NEGAR AFIRMAR
Ejemplos:
a. Modo Afirmando Niego (Modus Ponendo a. Dadas las premisas: "Si estudio arduamente,
Tollens) ("v") ingreso a la Universidad" y "Si ingreso a la
P1 : A B P1 : A B universidad entonces ser profesional", se
P2 : A P2 : B puede concluir: "Si estudio arduamente
entonces ser profesional"
C: B C: A b. Dadas las premisas: "Si Eduardo es
inteligente entonces tiene el porvenir
Ejemplos: asegurado" y " Si Eduardo estudia en
HARVAR, entonces es inteligente", se puede
a. Dadas las premisas: "O Maruja es profesora concluir: "Si Eduardo estudia en HARVAR,
o es doctora" y "Maruja es profesora", se tiene el porvenir asegurado"
puede concluir que: "Maruja no es doctora".
b. Dadas las premisas: "Jos naci en Lima o 3. RAZONAMIENTOS A PARTIR DE TRES
solamente en Trujillo" y "Jos naci en PREMISAS (DILEMAS)
Trujillo", se puede concluir que: "Jos no Los DILEMAS independientemente si son
naci en ' Lima". constructivos o destructivos, se caracterizan por
tener UNA PRIMISA DBIL, la cual permite
b. Modo Negando Afirmo (Modus Tollendo separar sus variables para unirlas con las otras
Ponens) ("v") dos premisas:
P1 : A B P1 : A B Ejemplo:
P2 : A P2 : B
C: B C: A AB
B CD D
Ejemplos: A C Premisa debil
a. Dadas las premisas: "Los abogados son \ B D
doctores salvo que nicamente los mdicos
son doctores" y "Los abogados no son a. Dilema Constructivo: Un dilema es
doctores", se puede concluir: "Los mdicos Constructivo cuando las variables de la
son doctores" Premisa Dbil AFIRMAN a las Premisas
b. Dadas las premisas: "Adolfo es Ingeniero o Fuertes.
solamente es tcnico" y "Adolfo no es

Telf.: 252263
31
MATEMTICA BSICA
Ejemplo: "Abanto gana las elecciones siempre y cuando
P1 : A B se inscriba en los comicios" y "Si Abanto hace
P2 : C D obras, entonces el pueblo lo apoyar" y "Abanto
se inscribe en los comicios pero el pueblo no lo
P3 : A C apoya".
C: B D
Se puede inferir:
Ejemplo: "Abanto gana las elecciones pero no hace
obras"
Dadas las premisas:
"Si los animales son vertebrados luego se infiere
que tienen columna vertebral" y "Si los hombres
tienen crneo luego tienen esqueleto" y "Los
animales son vertebrados o los hombres tienen
crneo"
Se puede inferir en:

"Los animales tienen columna vertebral salvo
que los hombres tienen esqueleto"
b. Dilema Destructivo: Un dilema es Destructivo

cuando las variables de la Premisa Dbil NIEGAN 1. Dadas las premisas:
a las Premisas Fuertes. P1 : A B
P2 : B C
Ejemplo:
P1 : A B P3 : C
Podemos concluir en:
P2 : C D
a) A b) - A c) - B
P3 : : B : D d) C e) N.A.
C: : A : C
2. Partiendo de las premisas:
Ejemplo: P1 : A B
P2 : B D
Dadas las premisas: P3 : C D
"Si Carlos trabaja entonces tendr dinero" y "Si
Miguel trabaja luego ser millonario" y "Carlos no P4 : E C
tendr dinero salvo que Miguel no ser millonario" Llegamos a:
a) A b) - A b) - C
Se puede inferir: d) B e) - E
"Carlos no trabaja a menos que Miguel tampoco
lo hace" 3. Dadas las siguientes premisas formales:
c. Dilema Mixto: Un dilema es Mixto cuando las P1 : [( AB) (CD ) ]
variables de la Premisa Dbil AFIRMAN y P2 : [ ( A C ) ( B D) ]
NIEGAN a las Premisas Fuertes.
P3 : C
Ejemplo: Llegamos a concluir formalmente en:
P1 : A B a) A b) - B c) AC
d) CD e) N.A.
P2 : C D
P3 : B : D 4. Dadas las premisas formales:
C: A : C P1 : A (BC )
P2 : ( DG ) A
Ejemplo:
p3 : D
Dadas las premisas:
Telf.: 252263
31
MATEMTICA BSICA
Concluimos en:
a) B C b) BC c) B C
d) BC e) B
5. Deducir la conclusin del argumento:
p1 : A B
P2 : C A
P3 : B D
a) C D b) DC c) DC
d) ( DC ) e) D
6. Deducir la conclusin vlida del siguiente

argumento:
P1 : A B
P2 : A C
P3 : D C
P4 : D
a) A b) - A c) B
d) - B e) D
7. Dadas las premisas:

P1 : A B
P2 : B C

P3 : C D
P4 : E D
Podemos concluir en:
a) A b) - A c) - E
d) C e) - B
8. Dadas las siguientes premisas formales:

P1 : A B
P2 : [ ( AB )C ]
P3 : ( AC )
Se infiere deductivamente en la siguiente
conclusin:
a) A B b) - C c) AB
d) - A e) A C
9. De las premisas:
P1 : pq
P2 : qr
P3 : sr
Se concluye:
a) qs b) q r c) ps
d) s e) N.A.

Telf.: 252263
31
MATEMTICA BSICA
1. El mundo es ancho y ajeno
2. A rincn quita calzn
3. Acrcate
4. Rezando cambiar tu suerte
5. Bsame
No son proposiciones lgicas:
05.Cul de los siguientes enunciados no representa

a una proposicin lgica?
1) a + b + c = 100
3 2 2
2) (ab) =a 2ab+b
3) x + y = 50 ; Si x = 10, y = 30
2 2 2
4) h =a +b
5) Es el creador de la lgica matemtica
Son ciertas:
06.Dados los siguientes enunciados:

1. En tus ojos veo mi futuro
2. Ms vale pjaro en mano que ciento volando
3. El Coronel Aureliano muri en una profunda
soledad
4. Todos los caminos conducen a Roma
5. espero algn da llegar a conocerte mejor
Son proposiciones lgicas:..
I. INSTRUCCIONES: Lea y responda
07. De los siguientes enunciados, no representa a
01. De las siguientes oraciones son proposiciones
una proposicin lgica:
lgicas
a) George Boole fue el creador del lenguaje
1. Einstein es el creador de la fsica clsica
simblico
2. Rocinante es el caballo de Don Quijote
b) Aristteles fue el autor de la obra Organn
3. Francisco Pizarro fue natural de Inglaterra
c) Isaac Newton era una persona maravillosa
4. Ingresar a la universidad?
d) Carlos Marx fue un representante del
5. Ningn nmero par es divisible por dos
Materialismo Dialctico
Son correctas:.
e) N.A.
02.Cul de las siguientes oraciones no es una
08. Dadas las siguientes oraciones:
proposicin lgica?
1. Todos los caminos conducen a Roma
a) Vanessa es una mujer supersticiosa
2. El amor es el ms sublime sentimiento
b) Ella es una persona supersticiosa en el amor
3. Aristteles fue un filsofo de la antigedad
c) Es supersticiosa desde el terremoto del 70
4. Jess fue el primognito de Dios
d) Las supersticiones son ejemplos de
5. Isaac Newton nunca existi
proposiciones lgicas
Son proposiciones lgicas:..
e) Todas
09. Dada las siguientes oraciones:
03.Toda proposicin lgica puede ser:
I. Toda proposicin lgica debe ser verdadera
1. Oracin interrogativa
II. las proposiciones son expresiones lingsticas
2. Oracin aseverativa
de los juicios
3. Frmula cientfica
III. Toda proposicin est compuesta por concepto
4. Enunciado indefinido
Son verdaderos:
5. Oracin informativa
Son ciertas:
10.Son proposiciones lgicas:
1. Soldado Prez... cudrese!
04. De las siguientes expresiones:
Telf.: 252263
31
MATEMTICA BSICA
2. Todo nmero primo tiene slo dos divisiones 17.La siguiente frmula proposicional: [(A B) C]
3. Por favor, presten atencin transformndolo solo a operadores de Sheffer o
4. Todo tomo neutro tiene carga positiva Nicod, equivale a:
5. Posiblemente algn da los extraterrestres
gobernarn
Son ciertas:.. 18.La frmula: (A -B) (-A B) equivale a:
11. De las proposiciones:

1. Si llueve hoy, se suspende la funcin 19. Es falso afirmar que: "La hoja elimina anhdrido
2. Hace fro, si el lago se ha helado carbnico a no ser que tome el oxgeno del aire"
3. Pierdo el autobs, se supone que tendr que por D.M su equivalente es:
caminar
4. Como quiera que su produccin crece, por lo
cual Juan poda estabilizar el precio
II. INSTRUCCIONES: Formalizar los siguientes
5. Solo si el plomo flota en el agua, el mar es
circuitos lgicos.
helado A
Son frmulas implicativas:.
B
12.La proposicin: El que yo me autocritique est
implicado por el que yo sea honesto. Pero A B C
deduzco que soy honesto partiendo de que cada F
da me autocritico, se formaliza: A C
B D
13.Dada la frmula lgica: Si no es el caso de que

estudies, entonces no ingresars. Su F
formalizacin correcta es:
A C -D E -A B C
-H
14.La proposicin: Si los metales se dilatan,
entonces el oro se dilata, tiene la misma frmula A H
proposicional que: C D
1. Cada vez que los metales se dilatan B -I
obviamente el oro se dilata

2. Es falso que el oro se dilata o es cierto que El nombre de la funcin del siguiente diseo:
los metales se dilatan
3. Es indudable que el que los metales se A
dilatan es una condicin suficiente para que el
oro se dilate
4. Si el oro no se dilata, entonces los metales
no se dilatan
5. Los metales se dilatan tan solamente si el A
oro se dilata B
Son ciertas:
C
15. La frmula lgica: A (B A) equivale a:
D
E
16.Despus de aplicar las reglas correspondientes,
encontrar por contraposicin la frmula
equivalente a: (A - B)

Telf.: 252263
31
MATEMTICA BSICA
A
B &
C >1
&
>1
&
>1
04.Partiendo de las premisas:

P1 : ( pr) q
A
B & P2 : r s
>1 P3 : (sr) p
>1 & P4 : sq
B C
C
-A -B
III. Resolver las siguientes inferencias: 05. Si la frmula: -[(- p - q) (- r / s)], es

P1 , P2 , P3 y la conclusin verdadera, los valores de p, q, r, s; son:
C.
P1 : Siempre que A entonces B
06. Si: p = 1; - q = 0, - r = 1, qu frmulas
P2 : Dado que C es obvio que no B
conjuntivas son verdaderas?
P3 : ? 1. [(p - q) r] 2. [(p q) - r]
C : siempre que A es obvio que no D 3. [(p - q) r] 4. [(- r v p) q]
La premisa que completa la estructura vlida es: 5. (- p v q) r
a) Siempre que D, B Son no absurdamente falsas, excepto:
b) Siempre que D es obvio que C
c) Dado que no B, es no C 07. Si la formula: - [(p q) (- q p)] es falsa, qu
d) Porque no es D es no C conjuncin ser verdadera?
e) Ya que es D no es C A) (p q -p -q) D) (q v q v q) -q
B) (-p v p v q) -q E) (p q) v (-q -p)
02.Si tenemos las siguientes premisas: C) N.A.
P1 : A B
P2 : ( DB )C 08. Dado: - A = 1; B = 0; - C = 0, qu frmula ser
p3 : E C verdadera?
A) [(A -B) v C] D) (-C v B v A)
P4 : D A B) (A B) v C E) [(C -A) -B]
Se infiere deductivamente en: C) N.A.

Telf.: 252263
31
MATEMTICA BSICA
SOLUCIONARIO
I. INSTRUCCIONES: Lea y responda
01. De las siguientes oraciones son proposiciones
lgicas
1. Einstein es el creador de la fsica clsica
2. Rocinante es el caballo de Don Quijote
3. Francisco Pizarro fue natural de Inglaterra
4. Ingresar a la universidad?
5. Ningn nmero par es divisible por dos
Son correctas: 1, 3 y 5
02.Cul de las siguientes oraciones no es una

proposicin lgica?
a) Vanessa es una mujer supersticiosa
b) Ella es una persona supersticiosa en el amor
C) ES SUPERSTICIOSA DESDE EL
TERREMOTO DEL 70
d) Las supersticiones son ejemplos de
proposiciones lgicas
e) Todas
03.Toda proposicin lgica puede ser:

1. Oracin interrogativa
2. Oracin aseverativa
3. Frmula cientfica
4. Enunciado indefinido
5. Oracin informativa
Son ciertas: 2, 3 Y 5
04. De las siguientes expresiones:

1. El mundo es ancho y ajeno
2. A rincn quita calzn
3. Acrcate
4. Rezando cambiar tu suerte
5. Bsame
No son proposiciones lgicas: 1, 2, 3, 4 y 5
05. Cul de los siguientes enunciados no

representa a una proposicin lgica?
1) a + b + c = 100
3 2 2
2) (ab) =a 2ab+b
3) x + y = 50 ; Si x = 10, y = 30
2 2 2
4) h =a +b
5) Es el creador de la lgica matemtica
Telf.: 252263
31
MATEMTICA BSICA
Son ciertas: 1 y 5 5. Solo si el plomo flota en el agua, el mar es
helado
06.Dados los siguientes enunciados: Son frmulas implicativas: 1, 3 y 5
1. En tus ojos veo mi futuro
2. Ms vale pjaro en mano que ciento volando 12.La proposicin: El que yo me autocritique est
3. El Coronel Aureliano muri en una profunda implicado por el que yo sea honesto. Pero
soledad deduzco que soy honesto partiendo de que cada
4. Todos los caminos conducen a Roma da me autocritico, se formaliza:
5. espero algn da llegar a conocerte mejor
Son proposiciones lgicas: 3 y 4 (A H) ( H A)
07. De los siguientes enunciados, no representa a 13.Dada la frmula lgica: Si no es el caso de que
una proposicin lgica: estudies, entonces no ingresars. Su
a) George Boole fue el creador del lenguaje formalizacin correcta es:
simblico
b) Aristteles fue el autor de la obra Organn -E-I
C) ISAAC NEWTON ERA UNA PERSONA
MARAVILLOSA 14.La proposicin: Si los metales se dilatan,
d) Carlos Marx fue un representante del entonces el oro se dilata, tiene la misma frmula
Materialismo Dialctico proposicional que:
e) N.A. 1. Cada vez que los metales se dilatan
obviamente el oro se dilata
08. Dadas las siguientes oraciones: 2. Es falso que el oro se dilata o es cierto que
1. Todos los caminos conducen a Roma los metales se dilatan
2. El amor es el ms sublime sentimiento 3. Es indudable que el que los metales se
3. Aristteles fue un filsofo de la antigedad dilatan es una condicin suficiente para que el
4. Jess fue el primognito de Dios oro se dilate
5. Isaac Newton nunca existi 4. Si el oro no se dilata, entonces los metales
Son proposiciones lgicas: 1, 3, 4 y 5 no se dilatan
5. Los metales se dilatan tan solamente si el
09. Dada las siguientes oraciones: oro se dilata
I. Toda proposicin lgica debe ser verdadera Son ciertas: 1
II. las proposiciones son expresiones lingsticas
de los juicios 15. La frmula lgica: A (B A) equivale a:
III. Toda proposicin est compuesta por concepto
Son verdaderos: II y III - A V (B A)
A
10.Son proposiciones lgicas:
1. Soldado Prez... cudrese! 16.Despus de aplicar las reglas correspondientes,
2. Todo nmero primo tiene slo dos divisiones encontrar por contraposicin la frmula
3. Por favor, presten atencin equivalente a: (A - B)
4. Todo tomo neutro tiene carga positiva
5. Posiblemente algn da los extraterrestres -AB
gobernarn
Son ciertas: 2 y 4 17.La siguiente frmula proposicional: [(A B) C]
transformndolo solo a operadores de Sheffer o
11. De las proposiciones: Nicod, equivale a:
1. Si llueve hoy, se suspende la funcin [(A B) C]
2. Hace fro, si el lago se ha helado [ - (- A V B) V C]
3. Pierdo el autobs, se supone que tendr que [(A - B) - C]
caminar
4. Como quiera que su produccin crece, por lo
cual Juan poda estabilizar el precio
18.La frmula: (A -B) (-A B) equivale a:
Telf.: 252263
31
MATEMTICA BSICA
A
(A V - A) V (- B V B)
1V1 B
1
C
19. Es falso afirmar que: "La hoja elimina anhdrido
D
carbnico a no ser que tome el oxgeno del aire"
por D.M su equivalente es: E
HO OR
- ( - H V O)
A
II. INSTRUCCIONES: Formalizar los siguientes B & >1
C
circuitos lgicos. &
>1
&
>1
AND
AB A
B &
>1
>1 &
AND
A
{(A B C) V [(A V B) (C V D)]} F B C

C
-A -B
F
AND
A C -D E -A B C
-H III. Resolver las siguientes inferencias:

P1 , P2 , P3 y la conclusin
(A C D) (F V E V H) ( A B C)
C.
A H P1 : Siempre que A entonces B
C D P2 : Dado que C es obvio que no B
B -I P3 : ?
C : siempre que A es obvio que no D
(A V B) C D (H V I) La premisa que completa la estructura vlida es:
a) Siempre que D, B
El nombre de la funcin del siguiente diseo: b) Siempre que D es obvio que C
c) Dado que no B, es no C
A d) Porque no es D es no C
e) Ya que es D no es C
NOT 02.Si tenemos las siguientes premisas:

Telf.: 252263
31
MATEMTICA BSICA
P1 : A B
P2 : ( DB )C
p3 : E C
P4 : D A
Se infiere deductivamente en:
P1 : A B
P2 : ( DB )C
p3 : E C
P4 : D A
5. D B
6. C
7. E
04.Partiendo de las premisas:

P1 : ( pr) q
P2 : r s
P3 : (sr) p
P4 : sq
5. r V q
6. r V (p V r)
7. r V (- p - r)
8. r V p
9. r V (- s r)
10. r V s
11. r - s
05. Si la frmula: -[(- p - q) (- r / s)], es

verdadera, los valores de p, q, r, s; son:
p = 1; q = 1; r = 0; s = 1
06. Si: p = 1; - q = 0, - r = 1, qu frmulas

conjuntivas son verdaderas?
1. [(p - q) r] 2. [(p q) - r]
3. [(p - q) r] 4. [(- r v p) q]
5. (- p v q) r
Son no absurdamente falsas, excepto: 1, 2 y 4
07. Si la frmula: - [(p q) (- q p)] es falsa, qu

conjuncin ser verdadera?
D) (p q -p -q) D) (q v q v q) -q
E) (-p v p v q) -q E) (p q) v (-q -p)
F) N.A.
08. Dado: - A = 1; B = 0; - C = 0, qu frmula ser

verdadera?
D) [(A -B) v C] D) (-C v B v A)
E) (A B) v C E) [(C -A) -B]
F) N.A.
Telf.: 252263
31

Matematicas I Unidad

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Matematicas I Unidad

Hochgeladen von

Copyright:

Verfügbare Formate

MATEMTICA BSICA

TEMA: LOGICA PROPOSICIONAL

I. DEFINICIN: Es llamada tambin lgica de las Posee un verbo no copulativo (V.N.C)

NOTA: Algunas oraciones aseverativas que

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

4. De las siguientes proposiciones:

1. El primer da de la semana es el domingo.

Cuales son verdaderas:

1. El requisito fundamental de una proposicin lgica

Predicativa: Si presenta sujeto y

2.2. Compuestas o Moleculares: Tienen uno o

TEMA: PROPIEDADES Y CLASES -

02. La lgica proposicional estudia: 07. Son proposiciones compuestas negativa:

A) La estructura interna de las proposiciones A. No es cierto que Lisa no sea deshonesta

A) Cada vez que le gritan, se pone a llorar

A) Llevo un libro ya que tengo que estudiar

12. Qu tipo de proposicin es: TEMA: CONECTORES LGICOS

Smbolos: (,,,=, ) 3. Recomendaciones para Formalizar: A

III.4 El Disyuntor Fuerte : A B , A B , 6. Voy al cine y al teatro. Salvo que me queda en

8. Voy al cine y al teatro. Por lo tanto estoy de

Se traduce: Si A entonces B 9. Un cuerpo se calienta solo si se dilata.

13. Para que sea delgada es suficiente que haga

14. Para que un cuerpo se dilate es necesario que

Para que un cuerpo se caliente es necesario que

15. Si y solo si trabajo, sobrevivir.

El que un polgono sea regular implica que sea

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

Cada conector lgico est sujeto a ciertas reglas, las 2. EL CONJUNTOR

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

0 06. Cul es el estado de los focos para A, B, C y D

10. Se define el conector * mediante el esquema:

Cul de los siguientes enunciados representan a

TEMA: EQUIVALENCIAS LGICAS

Cundo se dice que dos frmulas son

Sea la frmula: - q - p, cuyos valores son:

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

Notacin: b. La proposicin: La fotosntesis es un medio de

a. La proposicin: Los enunciados abiertos no son

a. La proposicin: Es imposible que Urano al igual 8. ABSORCIN:

08.La simplificacin de la frmula:

* Del siguiente circuito:

TEMA: CIRCUITOS LOGICOS

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

* Del siguiente circuito: (A v B ) >1 NOT OR

2. CIRCUITOS A COMPUERTAS: Las compuertas

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

3. (-P Q) (-R /S) B

D 7. Qu frmula representa al siguiente circuito?

D a) [(A V B) -A] [(-B -C) V C]

8. Qu frmula representa al siguiente circuito?

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

RAZONAMIENTO A PARTIR DE DOS

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

Se puede inferir en:

b. Dilema Destructivo: Un dilema es Destructivo

5. Deducir la conclusin del argumento:

6. Deducir la conclusin vlida del siguiente

7. Dadas las premisas:

8. Dadas las siguientes premisas formales:

JR. Atahualpa N 521 COMPUTACIN E INFORMTICA

05.Cul de los siguientes enunciados no representa

06.Dados los siguientes enunciados: