LogicaProposicional

MATEMÁTICA BÁSICA
TEMA: LOGICA PROPOSICIONAL presentan significación real, y, en consecuencia,

pueden ir acompañados de modificadores o
I. DEFINICIÓN: Es llamada también lógica de las prescindir de ellos. Estos se subdividen en:
proposiciones sin analizar, tiene por objeto de
estudio a las proposiciones y su formalización  Verbos Transitivos, son aquellos que
con la finalidad de determinar sus valores presentan objeto directo: la acción que realiza el
lógicos. sujeto recae en alguien o en algo; Ejem:
II. PROPOSICIÓN (LÓGICA):

 En el lenguaje científico, una proposición se Cierto soldado levanto elfusil
    
refiere a un enunciado que puede ser s V.TRANS O.O

verdadero o falso, generalmente una P (Rosa realiza la
oración enunciativa. Es el elemento unidad
acción de
sobre el que se construye el lenguaje
Él
 nos
 observó
  mucho
 “amar” pero yo
formal de la Lógica.
A O.D V.TRANS CIRC la recibo)
 Es la expresión lingüística del juicio cuya 
propiedad principal es de ser verdadera o P
falsa y que generalmente se expresa a
través de una oración enunciativa
(aseverativa o declarativa). Rosa
 me
 ama 
 Para nosotros, proposición es el significado S O
.D
V.TRANS

de toda oración aseverativa con sentido P
que pone de manifiesto la función
informativa del lenguaje y del que se puede  Verbos Intransitivos, son aquellos en
predicar su verdad o falsedad. donde la acción verbal no recae en nadie, ni
en nada; es decir, carecen de objeto directo,
III. CARACTERISTICAS: aunque pueden tener o carecer de objeto
 Toda proposición es una oración indirecto y/o circunstancial ¡VEAMOS!
aseverativa, pero no toda oración es una
proposición. Los cerros han ennegrecid o
   
 Toda proposición o es verdadera (V) o es S V.INTRANS
falsa (F) (no puede tener ambos valores al (La acción de “amar”
mismo tiempo). no recae en nadie.)
 Toda proposición tiene un sujeto (S), un Rosa
 ama
 mucho
verbo o cópula (V) (por lo general es el verbo S V
.INTRANS

ser o estar) y un predicado (P). P
 La proposición verdadera o falsa se puede
afirmar o negar. Shakespear e nacio , vivio y murio
 en inglaterra
     
 Dentro del razonamiento la proposición S V.INTR . V.INTR . V.INTR . CIRCUNST .
puede ser premisa o conclusión.
 Los enunciados matemáticos tienen el rango  Verbos Reflexivos o Reflejos, son aquellos
de proposición. cuya acción recae o se refleja sobre el
mismo sujeto que la realiza. Estos verbos
Ejemplo: llevan como objeto directo u objeto indirecto
un pronombre personal de la misma persona
 La botánica estudia a las plantas. (V) que del sujeto: me, te, se ¡VEAMOS!
 Todo asiático es africano. (F)
Yo
 me
 baño
  
NOTA: Algunas oraciones aseverativas que S O .D V .REFL
aparentemente no tienen la estructura
   . (Yo realizo y
P recibo a la vez la
proposicional (S – V – P), poseen dicha
Tu
 te vas a peinar acción de “bañar”)
estructura de manera implícita. Ejemplo: Las  
S O.D. V.REFL
oraciones PREDICATIVAS, como:    
P
Eliezer Rosa
 se
 ama (“Así misma”)

  estudia

 
Sujeto V.N.O S O
.D
.V
 .REFL

P
Posee un verbo no copulativo (V.N.C)

OJO: Los Verbos No – Copulativos, son aquellos  Verbos Recíprocos, son aquellos que tienen
que por sí solos constituyen un predicado, pues varios sujetos (o un sujeto plural) que
COMPUTACIÓN E INFORMÁTICA
JR. Atahualpa Nº 521 Telf.: 252263 2
MATEMÁTICA BÁSICA
ejercen una acción verbal mutua entre ellos incógnita o variable no satisface un único valor
mismos. Estos verbos utilizan como O.D. u de verdad.
O.I. los pronombres “se”, “nos”, “os”.  x + 4 = 15
¡VEAMOS!  x2 + y = 4 ; x = 1
 Consiguió un empleo (¿Quién?)
Esos gatitos se
 
persiguen
  
 Fue un gran científico
S.PLURAL O.D

. V.
RECIPR
   x + 1 = x (Si es proposición, por repetirse
P ”x”)
(Esos gatitos realizan y reciben entre sí la
acción de “perseguir”) 8. Verbos en infinitos: Terminación en AR, ER, IR
 Amar
Tu amiga y yo nos guiñábamos  Sonreír
    
O.D. V.RECIPR
S.COMPUESTO .    
P 9. Doxas o juicios valorativos:
(Tu amiga me guiñaba y yo guiñaba a tu amiga)  Para mí el profesor me aprobará el examen
 Los mejores jugadores son de la “U”
Laura y Teresa se dijeron sus verdades
       10. Refranes y/o proverbios:
O.D.V.RECIPR
S.COMPUESTO .  O .D  Al pan, pan y al vino, vino
P
 A quien madruga Dios lo ayuda
A veces, para reforzar el matiz de reciprocidad
es conveniente añadir ciertas palabras o 11. Creencias populares:
locuciones: “mutuamente”, “recíprocamente”,  Báñate con ruda para que tengas suerte en
“entre sí”, “el uno al otro”, etc. el examen de matemática básica
 Los duendes llevan niños.
La madre y su hijo se abrazan  entre si.
    12. Sinsentidos:
O.D V .RECIPR
COMPUESTO     Las mariposas cuadradas tienen
P
hipotenusa
ORACIONES QUE NO REPRESENTAN
13. Oraciones que encierran ambigüedades:
PROPOSICIONES:
 El perro de mi vecino se murió
1. Oraciones interrogativas:
 ¿Qué hay hoy de almuerzo?
 ¿Cómo llegó a tu casa?
2. Oraciones exclamativas:
 ¡Gol de universitario!
 ¡Por fin ingresé a estudiar a Harvar!
3. Oraciones dubitativas: (Dudas)

 ¿Viajo a Lima o a Cajamarca?
 ¿Perderé mi empleo?
4. Oraciones desiderativas: (Deseos)

 Ojalá termine mi carrera de informática
 Quisiera casarme con un profesor
5. Oraciones que utilizan personajes ficticios:

 Batman es el hombre murciélago
 Ulises cegó a Polifemo
6. Oraciones donde no se hacen uso correcto

de los niveles de lenguaje: Esto para que
sean una proposición deben de llevar comillas
para identificar lo que se quiere identificar.
 Queso es bisilábico
 La nieve es blanca consta de 4 palabras
7. Enunciados abiertos: Cuando el valor de la

MATEMÁTICA BÁSICA
01. El requisito fundamental de una proposición 05. De los enunciados:

lógica es de ser:
1. Por el amor a nuestra existencia: la vida.
A) Aseverativa B) Explicativo 2. Por el elixir de la piedra filosofal: la química.
3. Por el más bello capitulo humano: la
C) Declarativo D) Descriptivo
felicidad.
E) Verdadera o Falsa. 4. Por el avance del pensamiento científico: la
creatividad.
02. La proposición se caracteriza porque: 5. Por el pensamiento correcto: la lógica.
1. Es el significado o el contenido de una Son proposiciones:

oración aseverativa. A) Sólo 1,2 y 3 B) Sólo 2, 3 y 4
2. Afirma o niega algo de algo. C) Sólo 3, 4 y 5 D) Todas
3. La oración que lo expresa debe tener E) Ninguna
sentido.
4. Se puede atribuir un solo valor veritativo.
5. Tiene como atributo la verdad o falsedad. 06. No es una proposición:
Son ciertas: A) Todos los peruanos son mestizos.

A) 1,2 y 5 B) 1, 4 y 5 C) 2, 3 y 5 B) Ningún europeo es africano.
D) 2,4 y 5 E) 2, 3 ,4 y 5 F) Todas C) Algunos científicos son excéntricos.
D) No por mucho madrugar se amanece más
03. Son proposiciones: temprano.
E) El primer astronauta fue soviético.
1. Epístemes. 2. Reglas.
3. Leyes. 4. Principios.
5. Enunciados que son universalmente
verdaderos.
Son ciertas:
A) Sólo 1y 5 B) 3,4 y 5 C) 2,3 y 4
D) 1, 3, 4 y 5 E) Todas F) Sólo 4 y 5
04. De las siguientes proposiciones:
1. El primer día de la semana es el domingo.

2. El presidente de Bolivia es Hugo Chávez.
3. “New York” es la capital de los Estados
Unidos de Norte América.
4. La Universidad Nacional Agraria La Molina
está ubicada en la provincia de Lima.
5. Alan García en las elecciones del 2006
derroto por segunda vuelta a Antauro
Humala.
6. Los términos se pueden formalizar en la
lógica proposicional.
Cuales son verdaderas:

A) 1,4 y 6 B) 4, 5 y 6 C) 1,2, 3 y
6
D) Sólo 1 y 4 E) 3 ,4 y 5 F) 1,4 y 5
MATEMÁTICA BÁSICA
TEMA: PROPIEDADES Y CLASES -

PROPOSICIÓN
1. PROPIEDADES:
3.1. Cantidad:
01. Son proposiciones simples:
 Universales: cuando el sujeto se refiere a
todos los de la clase que indica o está en I.La radio es un medio de comunicación y
toda su extensión; o el predicado se distracción
atribuye a toda la extensión del sujeto. II. Esta proposición no es verdadera
(Llevan los términos sin categoremáticos. III. El Perú es un continente
Todos, ninguno, nadie, etc.) IV. La historia es una ciencia fáctica
Ejem: Todo ser humano es racional V. Todas las aves son verdaderas
A) I y II B) II y III C) III y
 Particulares: cuando el sujeto se refiere a IV
parte del grupo o clase (llevan los términos D) III, IV y V E) IV y V
sin categoremáticos: alguno (a), algo, cada,
ciertos, unos, muchos, pocos.etc.) 02. La lógica proposicional estudia:
Ejem: Algunos hombres son filósofos
A) La estructura interna de las proposiciones
 Individuales: Se asigna a una sola B) La relación entre dos o más clases
persona C) La función de las conjunciones
Ejem: Rosa es ingeniera proposicionales
D) La inclusión entre dos conjuntos
3.2. Cualidad: E) Los diagramas de Venn
 Afirmativas: el predicado expresa una
señal del sujeto. El predicado forma 03. “............. es un método decisorio empleado
parte de la comprensión del sujeto. por la lógica proposicional”: ¿Qué completaría
Ejem: El cobre es metal (afirma una lo anterior?
cualidad: metal)
A) La lógica predicativa
 Negativas: El predicado no conviene al B) Las fórmulas booleanas
sujeto. La negación afecta a la copula. C) Los diagramas de conjuntos
Ejem: El día no es soleado (niega una D) La lógica de clases
cualidad) E) Las tablas de verdad
2. CLASES: 04. La expresión:

“Víctor y Raquel son compañeros de aula”
2.1. Simples o Atómicas: Carecen de Indica una proposición:
conectores lógicos. Estas pueden ser:
 Relacional: Si presenta algún término A) Atómica relacional
relacional. B) Simple relacional
Ejem: Juan y Ángel son amigos. C) Molecular conjuntiva
T.R. D) Compuesta disyuntiva
E) AyB
 Predicativa: Si presenta sujeto y
predicado. 05. Señale la proposición conjuntiva:
Ejem: “Euclides es un geómetra”.
S P A) Oscar y Julián son enemigos
B) Pablo o Ronald son vecinos de Inés
2.2. Compuestas o Moleculares: Tienen uno C) Es falso que Adrián sea homosexual
o más conectores. D) Violeta es comerciante así mismo es
Ejem: “Saturno no es una estrella” estudiante universitaria
“El ornitorrinco es ave y mamífero”. E) No ocurre que Juan y Carmen sean
obreros de la fábrica D’onofrio
MATEMÁTICA BÁSICA
07. Señale aquella proposición que no es
condicional: 11. No es una proposición condicional inversa:
A) Cada vez que le gritan, se pone a llorar A) Llevo un libro ya que tengo que estudiar
B) No asistió a clase, debido a que está B) Mañana vamos al cine porque hoy tengo
enfermo examen
C) Es materialista por ello no cree en Dios C) Enrique trabaja sin embargo no tiene
D) Estudia con ahínco de modo que pronto dinero
ingresará D) No salgo de noche pues tengo miedo
E) Es atleta del mismo modo que abogado E) Sacarás la beca dado que estudiaste
07. Son proposiciones compuestas negativa: 12. ¿Qué tipo de proposición es:
“Es el caso que eres cantante si participas en
A. No es cierto que Lisa no sea deshonesta el festival de la canción criolla.”
B. Ya que no salí temprano, no llegué a
tiempo A) Conjuntiva
C. No llueve, puesto que es verano B) Bicondicional
D. Luis y Carmen no son hermanos C) Condicional directa
D) Disyuntiva
A) A y D B) B y C C) A y C E) Condicional inversa
D) B y D E) Todas
12. No corresponde a una condicional:
08. Son proposiciones moleculares:
A) De modo que
I.Juan se encuentra entre Rosa y Luisa B) De ahí que
II. El traje es de dos piezas así también este C) También
poema tiene dos estrofas D) En consecuencia
III. Jimena es maestra tanto de Carlos como E) Por consiguiente
de Corina
IV. Se tranquilizará toda vez que le compren la 14. “Rorty pertenece a la escuela pragmatista, no
muñeca obstante es un gran filósofo”.
A) II, III y IV B) I, II y III C) I, III y IV La expresión anterior es:
D) I, II y IV E) Ninguno
A) Compuesta disyuntiva
09. En las siguientes expresiones encontramos B) Compuesta condicional
proposiciones distintas: C) Compuesta conjuntiva
D) Compuesta Bicondicional
I. Fernando y Manuel son contemporáneos. E) Simple relacional
II. Manuel es contemporáneo con Fernando.
III. Los osos y los delfines están en peligro de
extinción.
IV. Fernando es contemporáneo con Manuela.
V. Los delfines están en peligro de extinción así
como los osos también.
A) Dos B) Tres C) Cuatro

D) Cinco E) Indeterminadas
10. “Lalo fue al mercado en compañía de Lola;

además porque tienen dinero, irán al parque
de las leyendas”. Cuántas proposiciones
simples hay en la afirmación anterior:
A) Uno B) Dos
C) Tres D) Cuatro E) Más de
cinco
MATEMÁTICA BÁSICA
16. A si mismo B
TEMA: CONECTORES LÓGICOS 17. A sino B
Formas Lingüísticas o explicitaciones 18. A a pesar de B
verbales de los conectores lógicos. 19. A a la vez B
20. A igualmente B
21. A e incluso B
22. A a ambos a la vez B
NEGADOR 23. Sin que A tampoco B
“No…” 24. Tanto A cuando B
Símbolos: (, , , Ā, A’ ) 25. A tal como B
26. A al igual que B
27. Sin que A tampoco puede ser B
01. No A 28. A del mismo estilo también ocurre B
02. Ni A 29. Es cierto que A sino incluso B
03. Nunca, A 30. No sólo A inclusive B
04. Jamás se cumple que A 31. Cierto es que A lo mismo que B
05. Es falso que A
06. Es inconcebible que A
07. Es imposible A
08. No ocurre que A DISYUNTOR INCLUYENTE
09. No es verdad que A Débil o Alternador: “….o…”
10. No es el caso que A Símbolos: (, +, )
11. Es mentira que A
12. Es inadmisible que A 01. AoB
13. No acaece que A 02. A a menos que B
14. No es innegable que A 03. A salvo que B
15. Carece de todo sentido que A 04. A o también B
16. De ninguna forma se da A 05. A excepto que B
17. Es incierto que A 06. A o a la vez B
18. Nadie que sea A 07. A o en todo caso B
19. Es absurdo que A 08. A o de lo contrario B
20. No se concibe de que A 09. A o en su efecto B
21. No es que A 10. A ya bien B
22. No se admite que A 11. A a no ser que B
23. No es auténtico el que A 12. A o aunque también B
24. No es evidente que A 13. A ya sea que B
25. No es posible de que A 14. A y bien o también B
26. Es contradictorio que A 15. A o incluso B
27. En modo alguno se da que A 16. A o puede que B
17. A o es B
18. A menos que A, B
CONJUNTOR
“……….y………..”
Símbolos: (  , , x, , ) DISYUNTOR EXCLUYENTE
Disyuntor fuerte, bialternador,
01. AyB Contravalorador o bidisyuntor
02. A pero B (“o…o…”)
03. A aunque B Símbolos: ,,   , 
 , , 
04. A sin embargo B
05. A incluso B 01. O A o B
06. A es compatible con B 02. O bien A o bien B
07. A así como B 03. A o B (en sentido excluyente)
08. A también B 04. A excluye a B
09. A del mismo modo B 05. A se contrapone a B
10. A de la misma manera B 06. A no equivale a B
11. A de la misma forma B 07. A no se define como B
12. Siempre ambos A con B 08. A no es igual a B
13. A no obstante B 09. Ya bien A ya bien B
14. A empero B 10. A o solamente B
15. No sólo A sino también B 11. A o necesariamente B
MATEMÁTICA BÁSICA
12. A salvo que solamente B 04. A siempre que B
13. A ya bien sólo B 05. A es condición necesaria para B
14. A y bien o también solamente B 06. Es condición necesaria A para B
15. A o prioritariamente B 07. A cada vez que B
08. A dado que B
IMPLICADOR 09. A puesto que B
Condicional: “Si…entonces…” 10. A supone que B
Símbolos: (, , ) 11. A a condición de que B
12. A pues B
01. Si A entonces B 13. A en vista de que B
02. Ya que A bien se ve que B 14. A ya que B
03. Cuando A así pues B 15. A es insuficiente para B
04. Siempre que A por consiguiente B 16. En el único caso en que A entonces B
05. Toda vez que A por eso B 17. Si tan solamente se da A entonces B
06. Dado que A por eso B 18. Una condición suficiente para A es B
07. En la medida que A de allí B 19. Para que ocurra A es suficiente B
08. En cuanto A por tanto B 20. En el único y necesario caso de A inducimos B
09. Con tal que A es obvio que B 21. A es condición necesaria para que B sea
10. Como quiera que A por lo cual B suficiente.
11. En el caso de que A en tal sentido B
12. De A inmediatamente B
13. En virtud de A es evidente que B BIIMPLICADOR
14. De A deviene B Bicondicional: “…si y solo sí…”
15. En el caso que A en este caso B Símbolos: ( , , , , )
16. De A derivamos B
17. De A deducimos B 01. A si y sólo si B
18. De A inferimos en B 02. A es equivalente a B
19. De A concluimos en B 03. A es equipotente a B
20. De A llegamos a B 04. A siempre que y solo cuando B
21. A es la condición suficiente para B 05. A equivale lógicamente a B
22. Si A, B 06. A por lo cual y según lo cual B
23. Si A solo si B 07. A se define como B
24. La cuestión es que A de allí B 08. A es lo mismo que B
25. De ocurrir A necesariamente ocurre B 09. A si es de la misma forma que B
26. En el supuesto caso de que A en tal sentido B 10. A es idéntico a B
27. A penas A se da B 11. A igualmente entonces B
28. Desde el momento que A inmediatamente B 12. A cada vez que y sólo si B
29. Teniendo en cuenta que A bien se ve que B 13. A cuando y sólo cuando B
30. Con que A según lo cual B 14. A entonces y sólo entonces B
31. Todo está en que A, por lo cual se da B 15. Si solo si A, entonces B
32. Según se A, por lo expuesto B 16. A es suficiente y necesario para B
33. Si se verifica A bien se ve que B 17. A es necesaria y suficiente para B
34. A da lugar a B 18. Cada vez que sólo si A entonces B
35. Para A es necesario B 19. A es de la misma forma que B
36. A es suficiente para que B sea necesario 20. A es de la misma manera que B
37. Siempre que A luego B 21. Una condición suficiente y necesaria para A es
B
REPLICADOR
En realidad no existe esta conectiva, pero es
muy frecuente su uso por muchos estudios
profesionales. Esta conectiva no viene a ser
sino el implicador apuntando hacia la
izquierda.
“…………. Si…………….”
Símbolos: ( , ,  )
01. A si B
02. A porque B
03. Sólo si A, B
MATEMÁTICA BÁSICA
o bien B, no es equivalente, no es lo mismo
TEMA: FORMALIZACIÓN DE PROPOSICIONES que.
1. DEFINICIÓN: Es el procedimiento mediante el 3.5 El Condicional: A  B, A  B

cual se identifican proposiciones simples y
estructuras lógicas proposicionales, asignándoles  Se lee : “ Si A entonces B”
a cada uno un determinado símbolo del lenguaje
de lógica proposicional organizándolos con  Se traduce: Si A entonces B
signos de agrupación
Dado que en consecuencia
2. Procedimiento de Formalización: ya que por lo tanto
siempre que es obvio que
porque llegamos a
2.1. Identificar proposiciones simples y cuando es evidente que
asignarles variables en orden alfabético. es suficiente para necesariamente
2.2. Identificar el operador
2.3. Escribir la formula lógica 3.6 El Bicondicional: A  B, A  B
3. Recomendaciones para Formalizar: A  Se lee : “A si y solo si B”
continuación te presentamos un conjunto de
Recomendaciones que puedes utilizar para  Se traduce: Siempre que y solo cuando,
formalizar. porque y solo porque, cuando y solo
cuando, siempre y solo siempre, es
3.1. El Negador: (,  ,  , A’ ) equivalente, es lo mismo, es igual que.
a. La doble negación de una proposición simple

la convierte en una compuesta.
b. La formulación debe ser literal (tal y como
esta escrita), no valen las
equivalencias.
c. Las experiencias lingüísticas de doble 1. Es falso que voy al cine y es cierto que voy al
negación (innegable, inobjetable, no es teatro.
inadmisible, etc.) se formalizan como tal. Formalización: ¬p  q
d. Las negaciones por prefijos se
formalizan. 2. Es falso que, si un metal se calienta entonces
se dilata
3.2. El Conjuntor: ( ,  , x, , ) Formalización: ¬ ( p  q )
a.Cuando se usan las comas (,) y el 3. Si un metal es falso que se calienta entonces
ultimo operador es "y", las comas
no se dilata Formalización: ¬ p  ¬ q
se formalizan como conjunciones.
b.Excepción: cuando una proposición
4. Dado que es cierto que, un metal se calienta
utiliza términos relacionales aunque
entonces es incierto que no se dilata
utilice el término "y" se considera
proposición simple. Formalización: p  ¬ ¬ q
5. Voy al cine y al teatro. Excepto que me queda

3.3. El Disyuntor Incluyente: (, +,  )
en casa.
a. Al igual que la conjunción, las comas
seguidas de una "o", se formalizan como Formalización: ( p  q )  r
tal, nota: los demás operadores se
formalizan de acuerdo a su sentido, en los 6. Voy al cine y al teatro. Salvo que me queda en
casos tal y como se presento en la unidad casa viendo televisión.
anterior. Formalización: ( p  q )  r
3.4 El Disyuntor Fuerte : A  B , A  B , 7. Voy al cine y al teatro. Dado que tengo dinero
A  B, A  entonces iré a cenar.
 B
Formalización: ( p  q )  ( r  s )
 Se lee : “A o B” (en sentido excluyente)
 Se traduce: amenos que solamente, salvo 8. Voy al cine y al teatro. Por lo tanto estoy de
que únicamente, excepto que solo, o bien A vacaciones.
Formalización: ( p  q )  r
MATEMÁTICA BÁSICA
9. Un cuerpo se calienta solo si se dilata.
Formalización: p  q
10. un cuerpo se dilata si se calienta.

Formalización……………………………
11. Es suficiente que trabaje para mantenerme.

12. Es necesario que no coma para que sea

delgada.
13. Para que sea delgada es suficiente que haga

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

se caliente.
Para que un cuerpo se caliente es necesario

que se dilate.
15. Si y solo si trabajo, sobreviviré.

El que un polígono sea regular implica que sea

convexo, equilátero y equiángulo.
MATEMÁTICA BÁSICA
TEMA: LA VERDAD FORMAL II. REGLAS DE LOS CONECTORES LÓGICOS
1. EL NEGADOR
Sabemos que el cálculo proposicional hace un
análisis de la estructura de las proposiciones y
A ¬A
razonamientos o inferencias; y para ello dispone de
un procedimiento que permite hallar la verdad o 1 0
falsedad de la función, dependiendo de los valores 0 1
que independientemente tomen cada uno de sus
variables componentes y la regla válida aceptada “Si una proposición es verdadera, su negación
convencionalmente de cada uno de los conectores. será falsa y viceversa”
Wittgenstein ideó un método para determinar la 2. EL CONJUNTOR

autenticidad, o interpretación semántica de fórmulas
o esquemas proposicionales denominado TABLAS p q p q
DE VERDAD.
1 1 1
Cada variable que represente a una proposición
1 0 0
verdadera (V) le asignaremos el valor 1 y a cada 0 1 0
variable falsa (F) se le asignará el valor O. 0 0 0
Cada conector lógico está sujeto a ciertas reglas, las “Una proposición conjuntiva es verdadera
cuales son derivadas principalmente de tres cuando todos sus componentes son
principios lógicos o fórmulas tautológicas
verdaderos. Es falsa cuando por lo menos uno
denominadas: “LEYES DEL PENSAMIENTO”
de sus componentes es falso”
I. LAS TRES LEYES DEL PENSAMIENTO 3. EL DISYUNTOR DÉBIL
1. Principio de Identidad: (Parménides 515 A.C.)

p q p v q
1 1 1
1 0 1
“Si un enunciado es verdadero entonces es 0 1 1
verdadero”
0 0 0
Esto significa que toda proposición se implica así
misma: “Una proposición disyuntiva es falsa cuando
todos sus componentes son falsos. Es
PP verdadera cuando por lo menos uno de sus
componentes es verdadero”
2. Principio de no contradicción:(Platón 428 4. EL DISYUNTOR FUERTE

A.C.)
p q p v q
“Es imposible que un enunciado sea 1 1 0
verdadero y falso a la vez” 1 0 1
0 1 1
Esto significa que no puede ser cierto que una 0 0 0
proposición se acepte simultáneamente con su
contrario: “Una fórmula bidisyuntiva es verdadera cuando
 (p   p) sus componentes tienen valores diferentes. Es
falso si sus componentes tienen valores
3. Principio del Tercio Excluido: (Aristóteles 384
A.C.) iguales”.
“Un enunciado es verdadero o falso, no cabe 5. EL CONDICIONAL

una tercera posibilidad” p q p q
1 1 1
Esto significa que una proposición lógica es de 1 0 0
carácter bivalente; solo puede ser verdadera o 0 1 1
falsa. 0 0 1
MATEMÁTICA BÁSICA
“Una proposición condicional solo es falsa
cuando el antecedente es verdadero y el NOTA: Una fórmula proposicional será válida si es
consecuente falso. En los demás casos la Tautológica y se dirá que es falsa en toda
interpretación si es contradictoria.
proposición será verdadera”.
6. EL BICONDICIONAL Como vemos: El método de las tablas de verdad

puede ser aplicado en la demostración de la validez
p q p q de fórmulas proposicionales; sin embargo existen un
procedimiento que evita el laborioso trabajo de
1 1 1 combinar todos los valores para obtener el resultado
1 0 0 veritativo de una fórmula proposicional denominado
0 1 0 el método de las tablas abreviadas.
0 0 1
IV. EL MÉTODO DE LAS TABLAS ABREVIADAS
“Una proposición Bicondicional es verdadera Gracias a este método podemos averiguar de
cuando todo sus componentes son iguales. Es manera más directa si una fórmula es
falsa si sus componentes tienen valores tautológica, contradictoria o consistente.
diferentes”.
Procedimiento para averiguar si una fórmula es
III. TABLAS DE VERDAD tautológica o no:
Es una gráfica que sirve para analizar 1. Se supone la falsedad del operador o
esquemas moleculares. Estos esquemas conector principal de la fórmula proposicional
dependen de los valores de las proposiciones que se está analizando.
componentes y la correcta aplicación de las 2. Asignamos los valores correspondientes a las
variables para satisfacer las condiciones de
reglas veritativas correspondientes a sus nuestra suposición.
conectores. Dichos esquemas pueden ser: 3. Se sigue el mismo proceso encadenado hasta
obtener el valor veritativo de cada proposición
1. TAUTOLOGICOS: Si su matriz principal está simple teniendo en cuenta el principio del
conformado solo de valores verdaderos. “Tercio Excluido”
Ejemplo: 4. Si en el resultado final por lo menos una
proposición atenta contra el principio de “La
p q (p q) (p v q) no contradicción”; entonces cometimos un
error al suponer inicialmente la existencia de
1 1 1 1 1
1 0 0 1 1 la falsedad del operador o conector principal.
0 1 0 1 1 5. Como no es posible hacer dicha suposición,
0 0 0 1 0 entonces todos los valores deben ser
Matríz principal
verdaderos; es decir las tablas de verdad
representaría a un esquema tautológico y la
fórmula proposicional será válida.
2. CONTRADICTORIOS: Si en su matriz principal
todo los valores son falsos. Si el paso número 4 no atenta contra el principio
Ejemplo: citado entonces nuestra suposición fue correcta y
p q (p v q) (¬p ¬q)
la fórmula proposicional por lo menos no sería
1 1 1 0 0 tautológico; puede ser consistente o
1 0 1 0 0 contradictorio, para eso hay que empezar
0 1 1 0 0
0 0 0 0 1
suponiendo la verdad del operador o conector
principal y seguir cada uno de los pasos
Matríz principal
anteriores.
3. CONTINGENTES: Si en su matriz principal Ejemplo nº 1: Analizar la validez de la siguiente
aparece por lo menos un valor verdadero y un
falso. fórmula proposicional:
Ejemplo:
p q (p v q) (p q)
1 1 1 1 1 p  q   (q  r)  p  r 
1 0 1 0 0
0 1 1 0 0 Solución:
0 0 0 1 0 Desarrollaremos los pasos 1,2 y 3
Matríz principal
MATEMÁTICA BÁSICA
p  q   (q  r )   p  r 
V V V V V F
V V 01. Si la proposición formal p  q es falsa; luego la

F fórmula proposicional que representa a una
V
proposición siempre verdadera no es:
a) - p  - q b) -p  q c) - q  p
d) - p  q e) - q  - p
 F Solución:
La fórmula p v q es falsa solamente en el caso
Vemos que el valor de “r” es verdadero dentro que las dos variables sean falsas; luego p = 0 y
del corchete y falso en el tercer paréntesis q = 0. Sustituyendo cada variable la única falsa
atentando al principio de no Contradicción; es la CLAVE B.
llegamos a un absurdo, luego todos los valores
de la matriz principal serán verdaderos, la 02. La función de verdad principal de la fórmula
fórmula proposicional es válida. proposicional:
- [- (p v q)  p]
Ejemplo nº 2: ¿Será contradictoria la siguiente Es:
a) 1111 b) 0000 c) 1000
fórmula proposicional?
d) 0111 e) N.A.
Solución:
[p  ( q   r)]   [p  (r   q)] Observamos que es una fórmula proposicional
de tipo negativo.
Ejemplo nº 3:
p q ¬[¬( p v q ) p]
Analizar la siguiente fórmula e indique a qué
esquema pertenece 1 1 1 0 0 1
1 0 1 0 0 1
[(p  q)  (r  s)  - (q  s)]  (r  - p) 0 1 1 0 0 0
0 0 1 1 0 0
V. ¿QUIÉN ES EL MENTIROSO? Matríz principal
Un chico y una chica con ganas de hacer una CLAVE A.
broma, están sentados uno junto al otro; no se
03. Dado el esquema proposicional falso:
saben nombres, solo se sabe que un individuo
(A v ¬B)  (C  B); los valores de verdad de A,
tiene los cabellos negros y el otro los cabellos
B y C son respectivamente:
rubios. a) 011 b) 100 c) 010
d) 101 e) N.A.
“Yo soy un chico” - dice el individuo de cabellos Solución:
negros Observamos que es una fórmula proposicional
de tipo negativo.
“Yo soy una chica” - dice el individuo de ( A   B )  (C  B)
cabellos rubios.
1

Si se sabe que por lo menos uno de los dos 0 0 0 1
MIENTE; haciendo uso de las tablas de certeza
0 0
averiguar el sexo de los chicos de cabellos
negros y rubios respectivamente. 0
Entonces los valores de verdad de las variables
Rpta.: ......…………………………………… A, B y C son: 010 CLAVE C
04. De las siguientes fórmulas proposicionales es

una tautología:
a) (p  q)  (-q  -p) b) (p  q)  (p  q)
c) (p  [p  q]  q) d) p  [p . (p  q)]
e) (p . q) . (p  - q)
Solución:
MATEMÁTICA BÁSICA
Para desarrollar cual de las alternativas son Solución:
tautologías se tienen en cuenta las fórmulas Se desarrolla por el método del cangrejo:
que son equivalentes En la alternativa a es [(B v C) (C D)] v (A B)
equivalente por contraposición CLAVE A 0 1 1 0
05. Si la siguiente fórmula proposicional: 1 0 1 0

- [(A  B)  -C] es verdadera. Los valores de 0 0
verdad de los enunciados:
I) (A  B)  - C II) (-B  C)  A 0
III) C  (-B  -C) La única posibilidad de que el valor de “C” sea
Son ciertas: es “1”, entonces es la CLAVE A
a) 111 b) 101 c) 010
d) 000 e) N.A. 08. Las fórmulas (¬A  ¬B)  (¬A v ¬B) al ser
¬[(A B) ¬ C] activadas simultáneamente en un circuito; el
1 1 1 foco se encenderá:
 a) En el 1er. caso
1 0 b) Solo en el 2do. Caso
c) En todos los casos
0 d) solo en el 4to. Caso
e) En ningún caso
1 NOTA: Se resuelve teniendo en cuenta las
Los valores de verdad de las variables A, B y C tablas de verdad.
son: 111. Entonces determinando los valores de
verdad de los enunciados: 09. Dado el esquema verdadero:
(p  q)  [(-p  r)  (q  - r)]
I. (A B) ¬C II. (¬B v C) v ¬ A El valor proposicional de la fórmula: p  q  r
1 0 1 1 será:
0 1 1 a) Verdadero b) falso

0 0 1 0 c) indeterminado d) A y B
e) N.A.
0 1 Solución:
Se desarrolla por el método del cangrejo como
III. C (¬B v ¬ C) ejemplo del ejercicio 5.
1
1 0 1
 10. Se define el conector “*” mediante el esquema:
0 0
p q p * q
0
1 1 1
Los valores de los enunciados son: 000,
entonces la alternativa correcta es la CLAVE D 1 0 1
0 1 1
06. ¿Cuál es el estado de los focos para A, B, C y 0 0 0
D en el siguiente esquema verdadero:
(A  B)  (C  D) ¿Cuál de los siguientes enunciados representan
a) A = 1, B = 0, C = 0, D = 1 a fórmulas equivalentes?
b) A = 0, B = 1, C = 1, D = 1 I. (p  ¬q) * q II. ¬[(p * q) * q]
c) A = 1, B = 0, C = 1, D= 0 III. p * (p*q)
d) A = 1, B = 1, C = 1, D = 0 Son ciertas:
e) N.A. a) I y II b) II y III c) I y III
Solución: d) Todas e) N.A.
Se desarrolla por el método del cangrejo. Solución:
Para este caso se tiene que basarse en las
07. ¿Qué valor debe tomar la variable “C” para que tablas de verdad formal. En el esquema
la fórmula proposicional molecular “*” representa una disyunción “v”.
[(B  C)  (C  D)]  (A  B) Entonces las fórmulas equivalentes mediante
Sea falsa? las tablas de verdad serían al ser evaluadas la
a) Verdadero b) falso c) alternativa I y III. La CLAVE C
indefinido
d) verdadero o falso e) N.A. 11. Dados los enunciados:
MATEMÁTICA BÁSICA
p(x) = 2 x  3
q(x) = 3x - 1 = 6
r(x) = x  2  1
Y las proposiciones compuestas:
1) p(2)  q(3) 2) q(3)  r(2)
3) p(5)  r(2)
Los valores de verdad son como se indican en
el orden siguiente:
a) VVF b) FFV c) VFV
d) VVV e) FFF
12. Si tenemos los siguientes esquemas

moleculares, en qué casos se ha producido un
corto circuito
1) (A  B)  (A  B)
2) - (-A  B)  (A  B)
3) [(AB) & B]  A
4) (A  B)  (B  A)
5) - {[(AB) & -B]  - A}
Son ciertas:
a) 1, 2, 3 b) 3, 4, 5 c) 1, 2, 5
d) 2, 5 e) N.A.
MATEMÁTICA BÁSICA
TEMA: EQUIVALENCIAS LÓGICAS
¿Cuándo se dice que dos fórmulas son EJEMPLO:

equivalentes?
La proposición: “la radio así como la
Solución: televisión son medios de comunicación y
Sea la fórmula: p  q, cuyos valores son: distracción respectivamente” equivale a:
p q p q a) La radio es un medio de distracción no
obstante la televisión es un medio de
1 1 1 comunicación.
1 0 0 b) Ni la televisión es un medio de distracción
0 1 1 ni la radio es un medio de comunicación.
c) Tanto la televisión como la radio son
0 0 1 medios de comunicación y distracción
Matríz principal respectivamente
d) La televisión es un medio de distracción o
Sea la fórmula: - q  - p, cuyos valores son: incluso la radio también es un medio de
comunicación.
p q ¬q ¬p e) No solo la televisión es un medio de
distracción sino que también la radio es
1 1 1 un medio de comunicación.
1 0 0
0 1 1
0 0 1
a. El equivalente de la proposición: “A menos que
Matríz principal EE.UU. sea capitalista, Rusia es comunista”
a) Ni Rusia es comunista ni EE.UU. es
Como se ve los valores de verdad de (p  q) y (- q capitalista
 - p) coinciden en cada uno de los casos, b) Rusia es capitalista amenos que EE.UU. sea
entonces diremos que "p  q es equivalente a – q comunista
 - p" c) Si Rusia es comunista, EE.UU. es capitalista
d) Rusia es comunista salvo que solo EE.UU.
Por lo tanto diremos: sea capitalista
e) N.A.
1) Dos fórmulas son equivalente siempre y cuando
tengan la misma interpretación semántica. b. La proposición: “La fotosíntesis es un medio de
2) Dos fórmulas son equivalente si coinciden en alimentación pero la fisión es falso que sea un
cada uno de sus valores. medio de digestión”. Es lo mismo que decir:
3) Dos fórmulas son equivalentes si al unir con el a) Es falso que la fisión sea un medio de
corrector Bicondicional resulta ser un esquema digestión sin embargo es verdad que la
fotosíntesis sea un medio de alimentación.
Notación: b) Ni la fisión es un medio de digestión ni la
fotosíntesis es un medio de alimentación.
Si la fórmula "A" equivale a la fórmula "B" su c) La fisión es falso que sea un medio de
notación será "A  B" digestión no obstante la fotosíntesis si es un
medio de alimentación.
EQUIVALENCIAS NOTABLES: Son aquellas que d) La fisión no es un medio de alimentación sin
ya han sido demostradas, mediante las tablas de embargo la fotosíntesis es un medio de
verdad formal; y son las siguientes: digestión
e) a y c
1. LA CONMUTACIÓN: A * B  B * A
Conectores: , , V, , , /
Casos: 2. LA CONTRAPOSICIÓN: A * B  - B * - A
ABBA Conectores:  , , V
ABBA Casos:
A VB  B V A A  B  - B  -A
ABBA AB-B-A
A  B  B A A V B-B V -A
A/BB/A
MATEMÁTICA BÁSICA
EJEMPLO: 3. LA LEY DE MORGAN: - (A * B)  - A # - B

La proposición: “Dado que la oferta Conectores:  , 
favorece a la demanda es obvio que el Casos:
precio desfavorecerá a las ventas”. Es - (A  B)  - A  - B
como decir: - (A  B)  - A  - B
a) El precio favorece a las ventas porque A  B  - (- A  - B)
la oferta desfavorece a la demanda A  B  - (- A  - B)
b) Como las ventas favorecen al precio en
consecuencia la demanda no
favorecerá a la oferta. EJEMPLO:
c) Para que el precio favorezca a las La proposición: “A menos que la vida se
ventas, es suficiente que la oferta no organice en la tierra, se organizó en el
favorezca a la demanda. espacio”, es equivalente a:
d) Siempre que la oferta desfavorezca a la a) La vida se organizó en la tierra y en el
demanda es obvio que los precios espacio.
favorezcan a las ventas. b) La vida ni se organiza en la tierra, ni se
e) Es condición necesaria para que los organizó en el espacio.
precios favorezcan a las ventas, que la c) Es falso que, no sólo en el espacio sino
oferta desfavorezca a la demanda. también en la tierra se organizó la vida.
d) en forma alguna, la vida no se organizó
en el espacio tal como tampoco en la
tierra.
e) N.A.
a. La proposición: “Los enunciados abiertos no son

proposiciones lógicas ya que las leyes a. La proposición: “Es inadmisible que Andrómeda,
científicas si lo son”. Equivale a: la vía láctea sean constelaciones” equivale a:
a) Dado que las leyes de la ciencia no son a) Es inobjetable que la vía láctea al igual que
proposiciones lógicas es obvio que los Andrómeda son constelaciones.
enunciados abiertos si lo son. b) La vía láctea además Andrómeda no son
b) Porque las leyes científicas no son constelaciones.
proposiciones lógicas, es falso que los c) La vía láctea excepto que Andrómeda, es
enunciados cerrados tampoco lo sean imposible que sean constelaciones.
c) Los enunciados cerrados no son d) Ni Andrómeda ni la vía láctea son
proposiciones, en consecuencia las leyes constelaciones.
científicas tampoco lo son. e) N.A.
d) Es innecesaria que los enunciados abiertos
sean proposiciones lógicas para que b. La proposición: “No obstante que hay crisis
suficientemente las leyes científicas no lo también hay personas adineradas en el Perú”.
son. Es lo mismo que:
e) N.A. a) No hay adinerados en el Perú ni tampoco
crisis
b. El equivalente de la proposición: “El tener una b) Cuando hay crisis así pues también hay
buena preparación es consecuencia de haberse adinerados en el Perú
esforzado lo suficiente para ingresar”. c) Es absolutamente absurdo que no haya
a) Porque no se tuvo una buena preparación, no crisis salvo que tampoco hayan adinerados
se puso el esfuerzo suficiente para ingresar. en el Perú
b) Es necesario para haberse esforzado lo d) No es falso que hayan en el Perú adinerados
suficiente para ingresar, tener una buena sin embargo si es cierto que hay crisis
preparación. e) c y d
c) No se ha esforzado lo suficiente para
ingresar porque no se tuvo una buena 4. LA IMPLICACIÓN MATERIAL:
preparación.
Correctores: , 
d) Si es falso que se ha esforzado lo suficiente
Casos:
para ingresar por lo tanto si se ha tenido una
AB-AB
buena preparación
e) Todas AB-AB
MATEMÁTICA BÁSICA
5. IDEMPOTENCIA:
AAA
EJEMPLO: AAA
El equivalente de la proposición: “Los
peces serán voladores solo si los 6. ASOCIACIÓN:
mamíferos fueran acuáticos”.
1. Los mamíferos no son acuáticos salvo A  (B  C)  (A  B)  C
que los peces sean voladores. A  (B  C)  (A  B)  C
2. Es cierto que los mamíferos son A  (B  C)  (A  B)  C
acuáticos o de lo contrario los peces es A  (B  C)  (A  B)  C
falso que sean voladores
3. Es mentira que los mamíferos sean 7. DISTRIBUCIÓN:
acuáticos no obstante los peces no son
voladores A  (B  C)  (A  B)  (A  C)
4. Es objetable decir que, los peces sean A  (B  C)  (A  B)  (A  C)
voladores sin embargo los mamíferos A  (B  C)  (A  B)  (A  C)
es falso que sean acuáticos A  (B  C)  (A  B)  (A  C)
5. Porque, los mamíferos son acuáticos,
los peces son voladores. 8. ABSORCIÓN:
Son ciertas:
a) 1, 2, 3 b) 2, 3, 4 c) 2, 4 A  (A  B)  A
d) 2, 4, 5 e) N.A. A  (A  B)  A
A  (-A  B)  A  B
A  (-A  B)  A  B
a. La proposición: “Es imposible que Urano al igual
que Júpiter sean constelaciones” equivale a: 9. LEY DEL COMPLEMENTO:
1. Dado que Urano es constelación luego
Júpiter no lo es A  -A  0
2. Porque Júpiter es constelación por ello A  -A  1
Urano no lo es
3. Ni Júpiter ni Urano son constelaciones 10. LEY DE IDENTIDAD:
4. Anoser que Urano no sea constelación,
Júpiter tampoco lo será A1A
5. Urano si es constelación porque Júpiter no lo A00
es.
Son ciertas: A11
a) 1, 2, 4 b) 3, 5 c) 1, 2, 3 A0A
d) 3, 4, 5 e) N.A.
b. La proposición: “Siempre que la pedagogía sea NOTA: Para la simplificación de fórmulas; además
ciencia más técnica, se derivará que no es de las leyes especiales mencionadas; también se
hechicería”, equivale a: usan las otras leyes de equivalencia estudiadas
1. Siempre que sea hechicería la pedagogía se anteriormente: conmutación, definición,
concluirá que no es ciencia ni técnica contraposición, etc.
2. No es verdad que la ciencia y la técnica sean
compatibles con la hechicería
3. La ciencia tal como la técnica pedagógica no
se definen como hechicería.
4. No es hechicería a menos que también no se
ciencia ni técnica la pedagogía.
5. Es absurdo que sea ciencia al igual que
técnica la pedagogía, o también no sea
hechicería.
Son inciertas:
a) 1, 3, 4 b) 2, 3, 4 c) 3, 4, 5
d) 2, 3, 5 e) N.A.
MATEMÁTICA BÁSICA
10. “A menos que Javier sea profesor, es
pedagogo”, equivale a:
01. La fórmula simplificada de: a) Javier no es profesor o pedagogo
(A  B)  (A  -B) b) Javier es pedagogo también profesor
Es: c) Al no ser profesor en consecuencia es
a) A b) B c) -A pedagogo, Javier
d) -B e) 1 d) No sólo es profesor sino también pedagogo,
el tal Javier
02. La simplificación de la fórmula: e) N.A.
[p  (q  -r) ]  -(p  -q)
Es: 13. La contraposición de la definición de : “Hay
a) -q  -p b) -q  p c) p  -q recalentamiento más cambios climáticos en la
d) q  p e) N.A. Tierra”, es:
a) –q  p b) –(q  -p) c) p  -q
03. La siguiente fórmula: d) –(-p  -q) e) –(-q  -p)
{[(A  B)  -C]  (C  B)}  C
a) A b) B c) C 14. La proposición : “Es inadmisible que Urano,
d) A  -A e) B  -B Júpiter sean constelaciones”, equivale a :
a) Si Urano es constelación en tal sentido
04. La fórmula: Júpiter también lo es.
[(-p  -q  -r)  p]  (p  q) b) Júpiter excepto que Urano de ningún modo
Equivale a: son constelaciones
a) p  q b) p  q c) p  q c) Es inobjetable que Júpiter al igual que Urano
d) q  p e) p son constelaciones
d) Júpiter además Urano no son constelaciones
05. Simplificar: e) N.A.
[(-A  B)  -(A  B)]  A 15. La contraposición de la definición de : “No es
innegable que, la existencia de la pobreza es
a) -A  B b) A  -B c) -A  A
compatible con la justicia”, es :
d) -B  B e) N.A.
a) A  -B b) –B  -A c) –(-B  A)
06. La fórmula: d) B  -A e) N.A.
[(A  B)  A]  A
16. La proposición: “No sólo las matemáticas son
Es:
ciencias formales sino también la lógica”,
a) Tautológico b) contradictorio
implica que :
c) consistente d) indeterminado
1. En modo alguno las Matemáticas son
e) N.A.
ciencias antiformales si la Lógica lo es.
2. La Lógica es ciencia formal pero las
07. La siguiente fórmula:
Matemáticas no lo son.
[(A  -B)  (A  B)]  [(-A  B)  (-A  -B)]
3. No es evidente que siendo las Matemáticas
Tiene como valores matriciales:
ciencias formales, suficientemente sea falso
a) 0000 b) 1111 c) 1100
que la Lógica lo es.
d) 1010 e) 1001
4. Ambas son ciencias formales: La Lógica, las
Matemáticas.
08. La simplificación de la fórmula:
5. Carece de sentido que sean ciencias
-(p  q)  (q  -r) formales las Matemáticas y/o Lógica.
Es equivalente a: Son ciertas:
I. [p  (p  -r)]  -q a) 2 y 5 b) 1, 3, 4 c) 1 y 3
II. (p  -q)  -(q  r) d) 3, 5, 2 e) 2, 4, 5
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 fórmula:
[(A  B)  A]  [(A / B) / A]
Equivale a:
a) B  A b) -B  -A c) B  -A
d) -B  A e) N.A.
TEMA: CIRCUITOS LOGICOS
MATEMÁTICA BÁSICA
Este es uno de los temas de la lógica aplicada a la
1
informática.
Un circuito, es un dispositivo electrónico utilizado 1
por la informática con fines de toma de decisiones, 1
es decir para ejecutar tareas ordenadas por un
computador. 1
Los ordenadores o computadoras utilizan la lógica 1
digital para efectuar operaciones. La lógica digital 0
implica tomar sucesivas decisiones de verdadero o
falso, que se representan como 1 y 0,
respectivamente. 0
Los circuitos lógicos que están en el corazón de los 1
chips de la computadora, están diseñadas para 1
tomar series de este tipo de decisiones a través de
juntas denominadas COMPUERTAS. 0
En este tema un CIRCUITO LÓGICO es la 0
representación gráfica de un esquema lógico
formal. Los más comunes son: 0
1. CIRCUITOS A CONMUTADORES: Pueden ser: * Del siguiente circuito:

a) Circuitos en serie: Se denomina circuitos en
serie cuando los conmutadores (variables) están ¬A
dispuestos en SERIE, es decir horizontalmente
distribuidos. ¬B
Para formalizar un circuito en serie debemos Se formaliza: ¬A v ¬B
tener en cuenta lo siguiente:
* Del siguiente circuito:
1 1 1 A
1 0 0 ¬B
Se formaliza: ¬A v ¬B
0 1 0
Ejemplos de circuitos con conmutadores en
0 0 serie y en paralelo:
0
* Del siguiente circuito:
Si disponemos de dos conmutadores en serie A ¬B
combinando la totalidad de estados que pueden
tener, vemos que corresponden a la misma
función de un conector conjuntivo, es por esta ¬C
razón que al formalizar utilizamos el Conjuntor. Se formaliza: (A  ¬B) v ¬C
Ejemplo:
* Del siguiente circuito: * Del siguiente circuito:
A B A B
Su fórmula es: A  B
* Del siguiente circuito: ¬A ¬B

Se formaliza: (A  B) v (¬A  ¬B)
A ¬B ¬C
Su fórmula es: A  ¬B  ¬C
2. CIRCUITOS A COMPUERTAS: Las compuertas
b) Circuitos en paralelo: Se denomina circuitos en lógicas son dispositivos que procesan la entrada
paralelo cuando los conmutadores (variables) de datos (que están dados por las variables de
están dispuestos en PARALELO, es decir esquemas) y permiten una sola salida.
verticalmente distribuidos.
Para formalizar un circuito en paralelo primero Existen dos sistemas, y son las siguientes:
debemos de tener en cuenta lo siguiente:
a) Sistema ASA o americano
b) Sistema ISO o europeo
MATEMÁTICA BÁSICA
F ó rm u la S istem a S istem a Función u e) N.A
ló g ica ASA IS O Operador
2. -[(p  q) V (-r V s)]
¬A 1 NOT
A B & AND
A v B >1 OR
A v B =1 XOR
A B = NXOR
A / B >1
A B &
¬(A B) & NOT AND
¬(A v B ) >1 NOT OR 3. (-P  Q)  (-R /S)
Ejemplo:
Av B ¬A (.......)
A compuerta
principal
“=”
B
C
¬A = ¬B C v (......)
Se formaliza: ¬A  (A v B) = [(¬B = ¬C) v C]
4. [-(-A  -B  -C)  (D  -A)]
1. ¿A qué circuito con compuertas, corresponden,

las siguientes fórmulas?
1. (A V -B)  (B V -A)
a)
5. [(A  -B)  (-C  D)]  [(-A  B)]
MATEMÁTICA BÁSICA
a) [-(A  B)  -(B  C)]  [(-C  B)  C]
b) [-(-A V B)  (B  -C)]  [(C V B)  C]
c) [(A -B)  -(-B V C)]  [-C-C  -B) C]
d) Todas
E) N.A
Nota: También se puede aplicar la

simplificación de equivalencias a los circuitos
lógicos.
10. El siguiente circuito:
6. ¿Qué fórmula representa el siguiente circuito?
a) [(p  -q)  (s  r)]  -p Equivale a:

b) [(-q  p)  (r  s)] V -p
c) [(-q  p) V (s  r) V -p
d) [p  -q)  (r  s)] -p
e) N.A
7. ¿Qué fórmula representa al siguiente circuito?
CIRCUITOS LOGICOS
a) [(A V B)  -A]  [(-B  -C) V C] I. Simbolizar los siguientes esquemas lógicos:

b) [(A V B)  -A]  [(B  -C)  C]
c) [(A V B)  -A]  [(-B  -C) V C] 11. A  B
d) Todas
e) N.A 12. A  ( B  C )
8. ¿Qué fórmula representa al siguiente circuito? 13. A  B  C
14. ( A  B )  C
15. ( A  B ) / ( A / B )
16. [( A B )C ] { [ A (pF)] [-B (F/D)] }

a) -[-(A  B) V (C  D)]  -(C  D)
b) [-(A  -B) V (C  D)]  -(C  D) 17. [ ( ( A  B )  E ]  ( A  B C )
c) -[-A  -B) V (C  D)]  -(C  -D)
d) Todas 18. ( - A  - C )  - B
e) N.A
19. A  B  C  D  F ) - G
9. Qué fórmula(s) es equivalente al siguiente
circuito? 20. [ ( p  q )   q
TEMA: INFERENCIAS LÓGICAS
Una inferencia, es un proceso, actividad u

operación mediante el cual partiendo de premisas
se llega a una conclusión en un razonamiento.
MATEMÁTICA BÁSICA
Para los procesos de inferencias utilizamos leyes y Como vemos, la aplicación de
reglas válidas, las cuales nos permiten siempre EQUIVALENCIAS a fórmulas proposicionales,
razonamiento correctos y además detectar los también nos sirven para INFERIR con validez.
incorrectos o no válidos.
A este grupo de INFERENCIAS, las que
MECANISMOS PARA INFERIR involucran la aplicación de todas las
EQUIVALENCIAS, llamadas Inferencias por
Para encontrar la conclusión en un razonamiento, Definición, también son conocidas como
utilizamos 2 mecanismos para inferir: INFERENCIAS INMEDIATAS DE LÓGICA
 INFERENCIAS POR DEFINICIÓN (LEYES PROPOSICIONAL.
DE EQUIVALENCIA):
En este grupo se encuentran todas las LEYES  INFERENCIAS MEDIANTE REGLAS
de equivalencia conocidas. (REGLAS DE INFERENCIA)
Por el número de premisas podemos
Ejemplo 1: clasificarlas en:
P1: La inflación aumenta tal como aumenta el
desempleo . 1. Razonamientos a partir de una premisa
C: Aumenta el desempleo aunque también a. Simplificación
aumenta la inflación
P1 : A  B P1 : A  B
Donde: C: A C: B
P1: Premisa
C: Conclusión Ejemplo:
 De la premisa:
P1 : A  B "José Félix y Arístides estudian
C: B  A medicina"
Se puede concluir en:

Inferencia por Definición "José estudia medicina"
Ejemplo 2:  De la premisa:
P1: Alejandra bajó de peso, por tanto usará "José Félix y Arístides estudian
bikini en verano . medicina"
C: Si Alejandra no usa bikini en verano,
entonces no bajó de peso Se puede concluir en:
"Arístides estudia Medicina"
Donde:
P1. Premisa En la aplicación de esta Regla de Inferencia
C: Conclusión llamada SIMPLIFICACIÓN, debemos tener en
cuenta que el Conector Principal de la Premisa
P1 : A B debe ser necesariamente CONUNTOR (  ).
C: B A
Inferencia por Definición

(Contraposición) b. Conjunción:
P1 : A
Ejemplo 3:
P1: Es falso que el conjuntor y el disyuntor P2 : B
son conectores monádicos C: A  B
.
C: El conjuntor o el disyuntor no son Ejemplo:
conectores monádicos  Dadas las premisas:
P1 : (A  B) P1: "Eduardo es Ingeniero"
C: A B P2: "Karina es profesora"
Se puede concluir en:

Inferencia por Definición "Eduardo es Ingeniero y Karina es
(D' Morgan) profesora"
MATEMÁTICA BÁSICA
1. MODOS DIRECTOS: Son aquellos que
c. Adición o Nuevo Factor: van de:
P1 : A
C: A  N F AFIRMAR  AFIRMAR
NEGAR  NEGAR
Ejemplo:
 De la premisa: a. Modo Afirmando Afirmo (Modus
"La Academia RECORD es una entidad Ponendo Ponens) ("  " , "  ")
educativa"
P1 : A  B P1 : A  B
Se puede concluir en: P2 : A P2 : A
"La Academia RECORD es una entidad C: B C: B
educativa salvo que tenga docentes
titulados"
En la aplicación de esta Regla de Inferencia P1 : A  B

llamada ADICIÓN o NUEVO FACTOR, se P2 : B
puede agregar cualquier variable a la C: A
conclusión, siempre y cuando se utilice para
ello necesariamente DISYUNTOR (V).
NO VÁLIDO
EJEMPLO DE APLICACIÓN: FALACIA FORMAL
 Dada la premisa: Ejemplo:

"Manuel es ingeniero pero no ejerce su A) Dadas las premisas: "Si Eduardo lee el
profesión". Comercio, entonces estará bien informado"
y "Eduardo lee el Comercio", se puede
Se infiere: concluir que: "Eduardo estará bien
B. Manuel es ingeniero informado"
C. Manuel no ejerce su profesión B) Dadas las premisas: "Compraré un boleto
D. Manuel es ingeniero a menos que sea de lotería siempre y cuando retire plata de!
arquitecto cajero" y "Compro mi boleto de lotería", se
E. Manuel nunca ejercerá su profesión puede concluir: "Retiro plata del cajero"
pero es ingeniero C) Dadas las premisas: "Cada vez que y solo
F. Manuel es ingeniero o bien ejerce su cada vez que una persona cometa un
profesión crimen, irá a la cárcel" y 'Manuel irá a la
Son ciertas solamente: cárcel", se puede concluir: "Manuel cometió
A) 1 y 2 B) 1, 2 y 3 C) 1, 2 y 5 un crimen"
D) todas E) 1 4 y 5 b. Modo Negando Niego (Modus Tollendo
Tollens) ("  ", "  ")
Solución:
Formalizando ¡a premisa: P1 : I  ¬E
P1 : A  B P1 : A  B
1. I ……………(Por Simplificación)
P2 : ¬B P2 : ¬A
2. ¬E ………….(Por Simplificación)
3. I v (A) ……(Por Simplificación y Nuevo C: ¬A C: ¬B
Factor)
4. ¬E  I …….....(Equivalencia por
Definición: Conmutación)
5. I v (E) .........(Por Simplificación y Nuevo P1 : A  B
Factor) P2 : ¬B
CLAVE: D
C: ¬A
 RAZONAMIENTO A PARTIR DE DOS NO VÁLIDO

PREMISAS: FALACIA FORMAL
Se pueden clasificar en 2 grupos:
Ejemplos:
MATEMÁTICA BÁSICA
a. Dadas las premisas: "Si Eduardo lee el P1 : A  B P1 : A  B

Comercio, entonces estará bien
P2 : B  C P2 :C  A
informado" y "Eduardo no estará bien
informado", se puede concluir que: C: A  C C: C  B
"Eduardo no lee el Comercio"
b. Dadas las premisas: "Estudiaré Informática
si y solo si estudiaré en HARVAR" y "No
estudiaré informática", se, puede concluir:
"No estudiaré en HARVAR”.
c. Dadas las premisas: "Seré millonario
cuando y solo cuando trabaje arduamente" NO VÁLIDO NO VÁLIDO
y "No trabajo arduamente", se puede
concluir que: "No seré millonario"
Ejemplos:
2. MODOS INDIRECTOS o INVERSOS: Son a. Dadas las premisas: "Si estudio
aquellos que van de: arduamente, ingreso a la Universidad" y "Si
ingreso a la universidad entonces seré
AFIRMAR  NEGAR profesional", se puede concluir: "Si estudio
NEGAR  AFIRMAR arduamente entonces seré profesional"
b. Dadas las premisas: "Si Eduardo es
a. Modo Afirmando Niego (Modus Ponendo inteligente entonces tiene el porvenir
Tollens) ("v") asegurado" y " Si Eduardo estudia en
P1 : A  B P1 : A  B HARVAR, entonces es inteligente", se
puede concluir: "Si Eduardo estudia en
P2 : A P2 : B
HARVAR, tiene el porvenir asegurado"
C: ¬B C: ¬A
3. RAZONAMIENTOS A PARTIR DE TRES
Ejemplos: PREMISAS (DILEMAS)
Los DILEMAS independientemente si son
a. Dadas las premisas: "O Maruja es constructivos o destructivos, se caracterizan
profesora o es doctora" y "Maruja es por tener UNA PRIMISA DÉBIL, la cual
profesora", se puede concluir que: "Maruja permite separar sus variables para unirlas con
no es doctora". las otras dos premisas:
b. Dadas las premisas: "José nació en Lima o
solamente en Trujillo" y "José nació en Ejemplo:
Trujillo", se puede concluir que: "José no
nació en ' Lima". AB
B CD D
b. Modo Negando Afirmo (Modus Tollendo
Ponens) ("v") A C Premisa debil
\ B D
P1 : A  B P1 : A  B
P2 : ¬A P2 : ¬B a. Dilema Constructivo: Un dilema es
Constructivo cuando las variables de la
C: B C: A
Premisa Débil AFIRMAN a las Premisas
Fuertes.
Ejemplos:
a. Dadas las premisas: "Los abogados son
Ejemplo:
doctores salvo que únicamente los médicos
P1: A  B
son doctores" y "Los abogados no son
doctores", se puede concluir: "Los médicos P2: C  D
son doctores" P3: A  C
b. Dadas las premisas: "Adolfo es Ingeniero o C: B  D
solamente es técnico" y "Adolfo no es
técnico", se puede concluir: "Adolfo es Ejemplo:
Ingeniero".
Dadas las premisas:
c. Silogismo Hipotético Puro (Esquema "Si los animales son vertebrados luego se
Transitivo) ("  " , "  ") infiere que tienen columna vertebral" y "Si los
MATEMÁTICA BÁSICA
hombres tienen cráneo luego tienen
esqueleto" y "Los animales son vertebrados o
los hombres tienen cráneo"
Se puede inferir en: 1. Dadas las premisas:

"Los animales tienen columna vertebral salvo P1 : A   B
que los hombres tienen esqueleto" P2 : B  C
P3 :  C
b. Dilema Destructivo: Un dilema es Destructivo
cuando las variables de la Premisa Débil Podemos concluir en:
NIEGAN a las Premisas Fuertes. a) A b) - A c) - B
d) C e) N.A.
Ejemplo:
P1: AB 2. Partiendo de las premisas:
P1 : A  B
P2: C D
P 2 : B  D
P3: B D
P3 : C  D
C: A C P4 : E  C
Ejemplo: Llegamos a:
a) A b) - A b) - C
Dadas las premisas: d) B e) - E
"Si Carlos trabaja entonces tendrá dinero" y "Si
Miguel trabaja luego será millonario" y "Carlos 3. Dadas las siguientes premisas formales:
no tendrá dinero salvo que Miguel no será P1 : (A  B)  (C  D) 
millonario" P 2 : (A  C)  (B  D) 
P3 :  C
Se puede inferir:
"Carlos no trabaja a menos que Miguel tampoco Llegamos a concluir formalmente en:
lo hace" a) A b) - B c) A  C
c. Dilema Mixto: Un dilema es Mixto cuando las d) C  D e) N.A.
variables de la Premisa Débil AFIRMAN y
NIEGAN a las Premisas Fuertes. 4. Dadas las premisas formales:
P1 :  A  (B  C)
Ejemplo: P 2 : (D  G)   A
P1: A  B p3 : D
P2: C  D Concluimos en:
P3: B  D a) B  C b) B  C c) B  C
C: A  C d) B  C e) B
Ejemplo: 5. Deducir la conclusión del argumento:

Dadas las premisas:
"Abanto gana las elecciones siempre y cuando p1 : A  B
se inscriba en los comicios" y "Si Abanto hace P2 : C  A
obras, entonces el pueblo lo apoyará" y P3 :  B  D
"Abanto se inscribe en los comicios pero el
a) C  D b) D  C c) DC
pueblo no lo apoya".
d) (D  C) e) D
Se puede inferir:
"Abanto gana las elecciones pero no hace 6. Deducir la conclusión válida del siguiente
obras" argumento:
P1 : A  B
P2 : A  C
P3 : D   C
P4 :  D
a) A b) - A c) B
d) - B e) D
MATEMÁTICA BÁSICA
7. Dadas las premisas:

P : A  B
1
P : B

C
2
P3 : C  D
P : E  D
4
Podemos concluir en:
a) A b) - A c) - E
d) C e) - B
8. Dadas las siguientes premisas formales:

P1 : A  B
P 2 : (A  B)  C 
P 3 :  (A  C )
Se infiere deductivamente en la siguiente
conclusión:
a) A  B b) - C c)  A  B
d) - A e) A  C
9. De las premisas:
P1 : p  q
P :q  r
2
P 3 :  s  r
Se concluye:
a)  q  s b) q  r c) ps
d)  s e) N.A.
I. INSTRUCCIONES: Lea y responda

01. De las siguientes oraciones son proposiciones
lógicas
1. Einstein es el creador de la física clásica
2. Rocinante es el caballo de Don Quijote
3. Francisco Pizarro fue natural de Inglaterra
4. ¿Ingresaré a la universidad?
5. Ningún número par es divisible por dos
Son correctas:………………………………….
MATEMÁTICA BÁSICA
02. ¿Cuál de las siguientes oraciones no es una Son proposiciones lógicas:………………………..
proposición lógica?
a) Vanessa es una mujer supersticiosa 09. Dada las siguientes oraciones:
b) Ella es una persona supersticiosa en el amor I. Toda proposición lógica debe ser verdadera
c) Es supersticiosa desde el terremoto del 70 II. las proposiciones son expresiones
d) Las supersticiones son ejemplos de lingüísticas de los juicios
proposiciones lógicas III. Toda proposición está compuesta por
e) Todas concepto
Son verdaderos:…………………………………
03. Toda proposición lógica puede ser:
1. Oración interrogativa 10. Son proposiciones lógicas:
2. Oración aseverativa 1. ¡Soldado Pérez... cuádrese!
3. Fórmula científica 2. Todo número primo tiene sólo dos divisiones
4. Enunciado indefinido 3. Por favor, presten atención
5. Oración informativa 4. Todo átomo neutro tiene carga positiva
Son ciertas:…………………………………… 5. Posiblemente algún día los extraterrestres
gobernarán
04. De las siguientes expresiones: Son ciertas:…………………………………………..
1. El mundo es ancho y ajeno
2. A rincón quita calzón 11. De las proposiciones:
3. Acércate 1. Si llueve hoy, se suspende la función
4. Rezando cambiará tu suerte 2. Hace frío, si el lago se ha helado
5. Bésame 3. Pierdo el autobús, se supone que tendré
No son proposiciones lógicas:……………… que caminar
4. Como quiera que su producción crece, por
05.¿Cuál de los siguientes enunciados no lo cual Juan podía estabilizar el precio
representa a una proposición lógica? 5. Solo si el plomo flota en el agua, el mar es
1) a + b + c = 100 helado
3 2 2 Son fórmulas implicativas:……………………….
2) (a  b)  a  2ab  b
3) x + y = 50 ; Si x = 10, y = 30 12.La proposición: “El que yo me autocritique está
4) h 2  a 2  b 2 implicado por el que yo sea honesto. Pero
5) Es el creador de la lógica matemática deduzco que soy honesto partiendo de que
Son ciertas:…………………………………… cada día me autocritico”, se formaliza:
06. Dados los siguientes enunciados:

1. En tus ojos veo mi futuro 13.Dada la fórmula lógica: “Si no es el caso de
2. Más vale pájaro en mano que ciento volando que estudies, entonces no ingresarás”. Su
3. El Coronel Aureliano murió en una profunda formalización correcta es:
soledad
4. Todos los caminos conducen a Roma
5. espero algún día llegar a conocerte mejor 14.La proposición: “Si los metales se dilatan,
Son proposiciones lógicas:………………….. entonces el oro se dilata”, tiene la misma
fórmula proposicional que:
07. De los siguientes enunciados, no representa a 1. “Cada vez que los metales se dilatan
una proposición lógica: obviamente el oro se dilata”
a) George Boole fue el creador del lenguaje 2. “Es falso que el oro se dilata o es cierto que
simbólico los metales se dilatan”
b) Aristóteles fue el autor de la obra “Organón” 3. “Es indudable que el que los metales se
c) Isaac Newton era una persona maravillosa dilatan es una condición suficiente para que
d) Carlos Marx fue un representante del el oro se dilate”
Materialismo Dialéctico 4. “Si el oro no se dilata, entonces los metales
e) N.A. no se dilatan”
5. “Los metales se dilatan tan solamente si el
08. Dadas las siguientes oraciones: oro se dilata”
1. Todos los caminos conducen a Roma Son ciertas:………………………………………
2. El amor es el más sublime sentimiento
3. Aristóteles fue un filósofo de la antigüedad 15. La fórmula lógica: A  (B  ¬A) equivale a:
4. Jesús fue el primogénito de Dios
5. Isaac Newton nunca existió
MATEMÁTICA BÁSICA
16. Después de aplicar las reglas correspondientes,
encontrar por contraposición la fórmula
equivalente a: (A  - B)
17. La siguiente fórmula proposicional: [(A  B) 

C] transformándolo solo a operadores de
Sheffer o Nicod, equivale a:
…………………………………………………
18. La fórmula: (A -B)  (-A  B) equivale a: A
B &
>1
19. Es falso afirmar que: "La hoja elimina anhídrido >1 &
carbónico a no ser que tome el oxígeno del aire"
por D.M su equivalente es:
…………………………………………………
A
II. INSTRUCCIONES: Formalizar los siguientes
circuitos lógicos. B C
A C
-A -B
B
B C
…………………………………………………
A
F III. Resolver las siguientes inferencias:

A C
01. Dadas las premisas: P1 , P 2 , P 3 y la conclusión
B D
C.
P : Siempre que A entonces B
…………………………………………… 1
P 2 : Dado que C es obvio que no B
F
P3 : ¿?
A C -D E -A B C
-H C : siempre que A es obvio que no D

La premisa que completa la estructura válida es:
………………………………………………
A H a) Siempre que D, B
C D b) Siempre que D es obvio que C
B -I c) Dado que no B, es no C
………………………………………………… d) Porque no es D es no C
El nombre de la función del siguiente diseño: e) Ya que es D no es C
A 02. Si tenemos las siguientes premisas:

P1 : A  B
P 2 : (D  B)  C
………………………………………………… p3 : E   C
A P4 : D  A
B
Se infiere deductivamente en:
…………………………………………………
MATEMÁTICA BÁSICA
04. Partiendo de las premisas:

P1 : (p  r)  q
P2 : r  s
P 3 : (s   r)  p
P4 : s  q
05. Si la fórmula: -[(- p  - q)  (- r / s)], es

verdadera, los valores de p, q, r, s; son:
………………………………………………………
06. Si: p = 1; - q = 0, - r = 1, ¿qué fórmulas

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:………
07. Si la formula: - [(p q)  (- q  p)] es falsa,

¿qué conjunción será verdadera?
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)
C) N.A.
08. Dado: - A = 1; B = 0; - C = 0, ¿qué fórmula será

verdadera?
A) –[(A  -B) v C] D) –(-C v –B v –A)
B) –(A  B) v –C E) –[(C  -A)  -B]
C) N.A.
SOLUCIONARIO
I. INSTRUCCIONES: Lea y responda
01. De las siguientes oraciones son proposiciones
lógicas
1. Einstein es el creador de la física clásica
2. Rocinante es el caballo de Don Quijote
3. Francisco Pizarro fue natural de Inglaterra
4. ¿Ingresaré a la universidad?
5. Ningún número par es divisible por dos
Son correctas: 1, 3 y 5
MATEMÁTICA BÁSICA
02. ¿Cuál de las siguientes oraciones no es una 4. Jesús fue el primogénito de Dios
proposición lógica? 5. Isaac Newton nunca existió
a) Vanessa es una mujer supersticiosa Son proposiciones lógicas: 1, 3, 4 y 5
b) Ella es una persona supersticiosa en el amor
C) ES SUPERSTICIOSA DESDE EL 09. Dada las siguientes oraciones:
TERREMOTO DEL 70 I. Toda proposición lógica debe ser verdadera
d) Las supersticiones son ejemplos de II. las proposiciones son expresiones
proposiciones lógicas lingüísticas de los juicios
e) Todas III. Toda proposición está compuesta por
concepto
03. Toda proposición lógica puede ser: Son verdaderos: II y III
1. Oración interrogativa
2. Oración aseverativa 10. Son proposiciones lógicas:
3. Fórmula científica 1. ¡Soldado Pérez... cuádrese!
4. Enunciado indefinido 2. Todo número primo tiene sólo dos divisiones
5. Oración informativa 3. Por favor, presten atención
Son ciertas: 2, 3 Y 5 4. Todo átomo neutro tiene carga positiva
5. Posiblemente algún día los extraterrestres
04. De las siguientes expresiones: gobernarán
1. El mundo es ancho y ajeno Son ciertas: 2 y 4
2. A rincón quita calzón
3. Acércate 11. De las proposiciones:
4. Rezando cambiará tu suerte 1. Si llueve hoy, se suspende la función
5. Bésame 2. Hace frío, si el lago se ha helado
No son proposiciones lógicas: 1, 2, 3, 4 y 5 3. Pierdo el autobús, se supone que tendré
que caminar
05. ¿Cuál de los siguientes enunciados no 4. Como quiera que su producción crece, por
representa a una proposición lógica? lo cual Juan podía estabilizar el precio
1) a + b + c = 100 5. Solo si el plomo flota en el agua, el mar es
3 2 2 helado
2) (a  b)  a  2ab  b
Son fórmulas implicativas: 1, 3 y 5
3) x + y = 50 ; Si x = 10, y = 30
4) h 2  a 2  b 2 12.La proposición: “El que yo me autocritique está
5) Es el creador de la lógica matemática implicado por el que yo sea honesto. Pero
Son ciertas: 1 y 5 deduzco que soy honesto partiendo de que
cada día me autocritico”, se formaliza:
06. Dados los siguientes enunciados:
1. En tus ojos veo mi futuro (A ← H) Λ (– H ← A)
2. Más vale pájaro en mano que ciento volando
3. El Coronel Aureliano murió en una profunda 13.Dada la fórmula lógica: “Si no es el caso de
soledad que estudies, entonces no ingresarás”. Su
4. Todos los caminos conducen a Roma formalización correcta es:
5. espero algún día llegar a conocerte mejor
Son proposiciones lógicas: 3 y 4 -E→-I
07. De los siguientes enunciados, no representa a 14.La proposición: “Si los metales se dilatan,
una proposición lógica: entonces el oro se dilata”, tiene la misma
a) George Boole fue el creador del lenguaje fórmula proposicional que:
simbólico 1. “Cada vez que los metales se dilatan
b) Aristóteles fue el autor de la obra “Organón” obviamente el oro se dilata”
C) ISAAC NEWTON ERA UNA PERSONA 2. “Es falso que el oro se dilata o es cierto que
MARAVILLOSA los metales se dilatan”
d) Carlos Marx fue un representante del 3. “Es indudable que el que los metales se
Materialismo Dialéctico dilatan es una condición suficiente para que
e) N.A. el oro se dilate”
4. “Si el oro no se dilata, entonces los metales
08. Dadas las siguientes oraciones: no se dilatan”
1. Todos los caminos conducen a Roma 5. “Los metales se dilatan tan solamente si el
2. El amor es el más sublime sentimiento oro se dilata”
3. Aristóteles fue un filósofo de la antigüedad Son ciertas: 1
MATEMÁTICA BÁSICA
15. La fórmula lógica: A  (B  ¬A) equivale a: A H

C D
- A V (B Λ – A)
–A B -I
16. Después de aplicar las reglas correspondientes, (A V B) Λ C Λ D Λ (H V – I)

encontrar por contraposición la fórmula
equivalente a: (A  - B) El nombre de la función del siguiente diseño:
-A←B A
17. La siguiente fórmula proposicional: [(A  B) 

C] transformándolo solo a operadores de NOT
Sheffer o Nicod, equivale a:
[(A  B)  C] A
[ - (- A V B) V C] B
[(A ↓ - B) ↓ - C]
C
18. La fórmula: (A -B)  (-A  B) equivale a: D
E
(A V - A) V (- B V B)
1V1 OR
1
19. Es falso afirmar que: "La hoja elimina anhídrido

carbónico a no ser que tome el oxígeno del aire"
por D.M su equivalente es:
HΛO
- ( - H V – O)
II. INSTRUCCIONES: Formalizar los siguientes AND

circuitos lógicos.
A
B &
>1
>1 &
AND
AΛB A
B C
C
-A -B
AND
{(A Λ B Λ C) V [(A V B) Λ (C V D)]} Λ F III. Resolver las siguientes inferencias:

01. Dadas las premisas: P1 , P 2 , P 3 y la conclusión
C.
F P : Siempre que A entonces B
1
P 2 : Dado que C es obvio que no B
A C -D E -A B C
P3 : ¿?
-H C : siempre que A es obvio que no D
(A Λ C Λ – D) Λ (F V E V – H) Λ (– A Λ B Λ C) La premisa que completa la estructura válida es:
MATEMÁTICA BÁSICA
a) Siempre que D, B F) N.A.
b) Siempre que D es obvio que C
c) Dado que no B, es no C
d) Porque no es D es no C
e) Ya que es D no es C
02. Si tenemos las siguientes premisas:

P1 : A  B
P 2 : (D  B)  C
p3 : E   C
P4 : D  A
Se infiere deductivamente en:

P1 : A  B
P 2 : (D  B)  C
p3 : E   C
P4 : D  A
5. D Λ B
6. C
7. E
04. Partiendo de las premisas:

P1 : (p  r)  q
P2 : r  s
P 3 : (s   r)  p
P4 : s  q
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 fórmula: -[(- 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é fórmulas

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 fórmula: - [(p q)  (- q  p)] es falsa,

¿qué conjunción 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é fórmula será

verdadera?
D) –[(A  -B) v C] D) –(-C v –B v –A)
E) –(A  B) v –C E) –[(C  -A)  -B]

LogicaProposicional

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

LogicaProposicional

Загружено:

Авторское право:

Доступные форматы

MATEMÁTICA BÁSICA

TEMA: LOGICA PROPOSICIONAL presentan significación real, y, en consecuencia,

II. PROPOSICIÓN (LÓGICA):

Posee un verbo no copulativo (V.N.C)

3. Oraciones dubitativas: (Dudas)

4. Oraciones desiderativas: (Deseos)

5. Oraciones que utilizan personajes ficticios:

6. Oraciones donde no se hacen uso correcto

7. Enunciados abiertos: Cuando el valor de la

01. El requisito fundamental de una proposición 05. De los enunciados:

1. Es el significado o el contenido de una Son proposiciones:

Son ciertas: A) Todos los peruanos son mestizos.

04. De las siguientes proposiciones:

1. El primer día de la semana es el domingo.

Cuales son verdaderas:

TEMA: PROPIEDADES Y CLASES -

2. CLASES: 04. La expresión:

A) Dos B) Tres C) Cuatro

10. “Lalo fue al mercado en compañía de Lola;

1. DEFINICIÓN: Es el procedimiento mediante el 3.5 El Condicional: A  B, A  B

a. La doble negación de una proposición simple

5. Voy al cine y al teatro. Excepto que me queda

10. un cuerpo se dilata si se calienta.

11. Es suficiente que trabaje para mantenerme.

12. Es necesario que no coma para que sea

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

15. Si y solo si trabajo, sobreviviré.

El que un polígono sea regular implica que sea

Wittgenstein ideó un método para determinar la 2. EL CONJUNTOR

I. LAS TRES LEYES DEL PENSAMIENTO 3. EL DISYUNTOR DÉBIL

1. Principio de Identidad: (Parménides 515 A.C.)

2. Principio de no contradicción:(Platón 428 4. EL DISYUNTOR FUERTE

“Un enunciado es verdadero o falso, no cabe 5. EL CONDICIONAL

6. EL BICONDICIONAL Como vemos: El método de las tablas de verdad

V V 01. Si la proposición formal p  q es falsa; luego la

04. De las siguientes fórmulas proposicionales es

05. Si la siguiente fórmula proposicional: 1 0 1 0

12. Si tenemos los siguientes esquemas

¿Cuándo se dice que dos fórmulas son EJEMPLO:

EJEMPLO: 3. LA LEY DE MORGAN: - (A * B)  - A # - B

a. La proposición: “Los enunciados abiertos no son

1. CIRCUITOS A CONMUTADORES: Pueden ser: * Del siguiente circuito:

* Del siguiente circuito: ¬A ¬B

¬(A B) & NOT AND

¬(A v B ) >1 NOT OR 3. (-P  Q)  (-R /S)

4. [-(-A  -B  -C)  (D  -A)]

1. ¿A qué circuito con compuertas, corresponden,

5. [(A  -B)  (-C  D)]  [(-A  B)]

Nota: También se puede aplicar la

10. El siguiente circuito:

6. ¿Qué fórmula representa el siguiente circuito?

a) [(p  -q)  (s  r)]  -p Equivale a:

7. ¿Qué fórmula representa al siguiente circuito?

a) [(A V B)  -A]  [(-B  -C) V C] I. Simbolizar los siguientes esquemas lógicos:

8. ¿Qué fórmula representa al siguiente circuito? 13. A  B  C

16. [( A B )C ] { [ A (pF)] [-B (F/D)] }

TEMA: INFERENCIAS LÓGICAS

Una inferencia, es un proceso, actividad u

Se puede concluir en:

Inferencia por Definición