LA LOGICA, BREVE RESEÑA HISTORICA

RESEÑA HISTORICA DE LA LOGICA

LOGICA, CLASICA, TRADICIONAL O El fundador y “Padre de la Lógica Moderna” es
ARISTOTELICA Gottlob Frege.

Comprende desde el S. IV a.C. hasta la Esta etapa se caracteriza por la incorporación

segunda mitad del S. XIX. Se considera al del cálculo matemático en la Lógica, además de
filosofo Aristóteles de Estagira (384 – 323) a.C.) estructurar conceptos nuevos y precisos en el
Como el fundador de esa etapa y “Padre de la objeto de la Lógica, sus principales aportadores
Lógica Tradicional”, cuyo merito fue el de haber fueron:
sistematizado y desarrollado la Lógica, codificó
las formas de argumentación correcta, donde  George Boole (Álgebra de clases
radica básicamente la naturaleza del Lógica formulación de las proposiciones
como ciencia. categóricas)
 Augustus de Morgan (Relaciones de
Esta etapa se caracteriza por el estudio del Inclusión o Exclusión, parcial o total
“Silogismo Categórico”, el cual es una inferencia entre class
compuesta por 3 proposiciones categóricas;  Venn (Diagramación de las clases y
denominados típicamente: A - E - I – O. representación de los procesos a

1. Todos los varones son inteligentes CONCEPTO DE LOGICA

......................... .............
....................................
2. Ningún político es honesto
.......................................
. . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . .
3. Algunos países son europeos
.......................................
.....................................
4. Algunos mamíferos no son cuadrúpedos
.......................................
. . . . . . . . .. . . . . . . . . . . .. . . . . . . . .. . . . . . . .
Es una ciencia formal cuyo objeto de estudio se
halla en las leyes, principios o métodos que
determinan la validez de las “inferencias” o
corrección de los razonamientos. La lógica es la
ciencia de la inferencia formalmente válida.
Se le considera “Ciencia Formal”, porque le
interesa la estructura, esquema o forma del
razonamiento, dejando de lado el significado o
semántica del mismo.
INFERENCIA
Es una estructura de proposiciones donde a
partir de una o mas de ellas llamadas
“Premisas” se obtienes otra posición que se
llama “Conclusión” inferencia es pasar de las
premisas a la conclusión en forma correcta.

Los estudios de Aristóteles están comprendidos Las inferencias tiene el carácter de ser “Validas”
en los libros: “Los Tópicos”, “Los o “invalidas”; serán validas cuando las
Predicamentos”, “Las Refutaciones Sofísticas” y premiasas impliquen a ala conclusión cuando
el mas importante de todos “Los Analíticos “, existe realción coherente entre sus
estos están agrupados en la obra: “El Organón” componentes es decir la conclusión se deduce
(instrumento del pensamiento) lógicamente de las premisas. La “Implicación”
significa lo siguiente :

LOGICA MODERNA, MATEMATICA O  De premissa verdaderas, se deduce

SIMBOLICA: necesariamente una conclusión
Su precursor fue Wilhelm Leibniz (S. XVII). verdadera.
Comprende desde la 2da. Mitad del S. XIX,  De premisas falsas, se deduce
hasta la actualidad. necesariamente una conclusión o bien
verdera o bien falsa

FUNCIONES BASICAS DEL LENGUAJE
El lenguaje es aquel conjunto de signos, señales
o formas convencionales que el sujeto utiliza
para comunicarse; gracias al lenguaje es posible
que el pensamiento se materialice y pueda estar
al alcance de todods los nombres.
Dependiendo de lo que se quiera comunicar.
El lenguaje cumple tres funciones básicas que
son:
A. F. Informativa Referencial o
descriptiva : Es aquella que se encarga
de comunicar información que proviene
de la realidad que nos rodea, hace
referencia o describe al mundo objetivo,
mediante el uso de oraciones
verdaderas o falsas (proposiciones). Es
el lenguaje utilizado por las ciencias.
B. F. Expresiva : Se encarga de
comunicar acontecimientos que ocurren
en el mundo subjetivo, es decir
vivencias que todo sujeto tiene mediante
ella informamos nuestros sentimientos,
emociones, pasiones, deseos, actitudes
y es el lenguaje utilizado por los poetas,
novelistas, oradores, etc.
C. F. Directiva, Apelativa o Actitudinal :
se encarga de modificar, inducir o
impedir la realización de acción
determinada utilizando para ello
oraciones exclamativas; clasificándose
en ordenes; pedidos, sugerencias,
preguntas, consejos, mandatos,
súplicas, insinuaciones, etc.
EVALUACION
01. ¿Quién es el autor del “Organón”?
A) Platón
B) Parménides
C) Heráclito
D) Tales de Mileto
E) Aristóteles
02. La Lógica estudia:
A) La validez de las inferencias
B) Las leyes que regulan la corrección de las
inferencias
C) Las estructuras válidas del razonamiento
D) La validez e invalidez de las proposiciones
E) Las condiciones de validez de las inferencias
03. ¿Cuál de las siguientes definiciones de
LOGICA es la correcta?
A) Facultad de discurrir, al entendimiento
B) Ciencia que expone las leyes, modos y
formas del conocimiento científico
C) Argumento o demostración que se aduce en
apoyo de una cosa
D) Ordenada serie de verdades y teoremas
E) Impulso natural de ánimo que sostiene y guía
la investigación de la verdad.
04. La construcción de cualquier inferencia
requiere necesariamente que:
A) Se usen al menos tres proposiciones
B) Se usen a lo mas tres proposiciones
C) Se usen a los mas dos proposiciones
D) Se usen al menos dos proposiciones
E) Se usen sólo una proposición
05. En la lógica moderna cuales son las
funciones fundamentales :
A) La inferencia, la implicación, y la validez
B) La condicional y la implicación
C) La conjunción, la disyunción y la negación
D) La negación, el condicional y lo valido
E) La forma de la inferencia, la validez y el
condicional
06. El lenguaje utilizado para persuadir o
convencer, preguntar o suplicar, sugerir, etc. Es
el :
A) Informativo
B) Activo
C) Expresivo
D) Referencial
E) Múltiple
07. Se considera proposición:
A) ¡No fastidies!
B) Tengo hambre
C) ¡Salud1
D) Jose dijo : ¿Qué edad tienes?
E) Estudia
08. Señale a que clase de inferencia pertenece
el siguiente ejercicio : Si Francisco esta
después de Raúl, entonces Mario no es el
primero:
A) Ralacionante
B) Predicativa
C) Mediata 14. La lógica es una disciplina formal porque :
D) Inmediata A) No se preocupa por los contenidos
E) N.A. B) Se preocupa por toda clase de formas
C) Se ocupa de las clases de formas
D) Se preocupa por las formas y contenidos
09. El lenguaje formalizado está compuesto por: E) Se preocupa por los contenidos
A) Proposiciones coligativas
B) Los operadores o conectivos
C) Variables y constantes 15. ¿Qué tipo de función básica del lenguaje
D) Variables proposicionales utiliza la lógica
E) Fórmulas lógicas A) Descriptiva B) Operativa
C) Expresiva D) Directiva
E) Exhortiva
10. ¿A que se llama verdades empiricas?
A) La verdad (o falsedad) de las proposicionales
no requieren confrontarse con la realidad 16. El lenguaje lógico es siempre:
B) La verdad (o falsedad) de las A) Fonético B) Hablado
proposiciones requiere confrontarse dcon la C) Oral D) Escrito
realidad E) Natural
C) Son las proposiciones que se derivan de la
verdad de otras proposiciones
D) Aquellas que resultan de la estructura interna 17. Uno de los siguientes personajes no guarda
de las proposiciones relación con la lógica:
E) Aquellas que resultan de la relación de dos o A) Russell B) Whitehead
más proposiciones C) Aristóteles D) Leibniz
E) James

11. ¿Quién es el autor de “Los primeros

analíticos libro en el que su autor desarrolla la 18. Una inferencia es valida, si:
teoría del silogismo? A) Es verdadera
A) Boecio B) Es empírica
B) Frege C) Tiene valor
C) Peano D) Es correcta
D) Aristóteles E) Es científica
E) Kant
19. La proporción lógica es:
A) Un enunciado verdadero
12. Los procesos de inferencia consisten: B) Un enunciado falso
A) En partir de una falsedad para llegar a una C) Un enunciado sin sentido
verdad D) Un enunciado que posee sentido de ser
B) En partir de la verdad de varias proposiciones verdadero o falso
y llegar a la verdad de otra proposición E) Un enunciado valido
C) Relacionar dos contenidos de conciencia
D) Pensar correctamente
E) Analizar los juicios 20. Señale la proporción:
A) Abra la puerta
B) Quizá se abra la puerta
13. Indicar, cual no es una característica del C) La puerta se abrió
lenguaje formalizado D) ¿Quién abrió la puerta?
A) Escritura ideográfica E) Abran la puerta
B) Simple
C) Fonético
D) Preciso
E) Simbólico CLASIFICACIÓN Y FORMALIZACIÓN DE LA
LOGICA PROPOSICIONAL

PROPOSICIONES
Son oraciones aseverativas, es decir se
caracterizan por ser “verdaderas” o “ falsas” y
que además cumplen una función informativa
señalando acontecimientos, hechos que se dan
en realidad objetiva.
1. CLASIFICACION DE LAS PROPOSICIONES
A) PROPOSICIONES SIMPLES, ATÓMICAS O
ELEMENTALES:
Son aquellas que carecen de enlaces
logicos o conjunciones gramaticales y no
presentan adverbio de negación y sólo
tienen un verbo.
- Proposiciones simples predicativas
Están formadas por un sujeto un verbo y un
predicado. El predicado funciona como
adjetivo que señala la característica del sujeto.
Ejm:
* Alberto es un alumno estudioso
S V P 
* Nataly estudia filosofía
S V P Sus formas gramaticales son “si y solo si”, “si
- Proposiciones simples relacionales
Cuando están formadas por dos sujetos que
se relacionan entre si de manera determinada,
encontrándose una relación de afinidad,
ubicación o grado
Ejemplo :
* Ana y Rocío son hermanas (por afinidad)
S S
* Juan vive a dos cuadras de Carlos
S S
(por ubicación)
* Susy es más estudiosa que Carlos
S S
(por grado)
B) PROPOSICIONES COMPUESTAS,
MOLECULARES O COLIGATIVAS
Son aquellas que están formadas por dos o
más proposiciones simples, llevan enlaces
lógicos o conjunciones gramaticales, pueden
o no tener adverbio de negación y presentan
más de un verbo.
Enlace
Lógico
Pedro estudia Derecho y María estudia Cor
S V P S V P
P. Simple P. Simple
Proposición Compuesta
Clases de proposiciones compuestas, según sus
enlaces lógicos principales tenemos:
Conjuntivas:
Sus formas gramaticales son “y”, “pero”, “Sin
embargo”, “además”, etc.
Ejemplo:
Pedro baila marinera y Carmen canta
- Disyunción Inclusiva o Débil
Cuando sólo uno de sus miembros puede ser
aceptado, el otro queda invalido.
….o….o… , …o bien….o bien….
Ejemplo:
 Vallejo o murió en Paris o en Lima
Rosario es casada o es soltera
- Bicondicional
solamente si”, “cuando y solo cuando”,
“entonces y solo entonces”
Ejemplo:
 Aprobare química si y solo si aprendo la
tabla Periodica.
- Condicionales
1. Condicional Directo (p — q)
Cuando el antecedente es condición necesaria
y suficiente para que se pueda dar el
consecuente. La conclusión o consecuente
aparece después de los siguientes términos.
- Si p entonces q
- P por lo tanto q
- P conclusión q
- P luego q
Ejemplo:
 Si hoy hace Frío entonces me abrigo
2. Condicional Indirecto (q — p)
Cuando el consecuente es condición
necesaria y suficiente para que se pueda dar
 el antecedente. La conclusión aparece antes Se refieren a los enlaces lógicos que se hallan
de los siguientes términos. uniendo a las proposiciones simples. Son
- p si q constantes lógicas (conjunción; disyunción;
- p ya que q bicondicional; condicional)
- p puesto que q
- p porque q  Pueden ser Diádicos y Gonádicos
Ejemplo:
 Me abrigo, si hoy hace frío O D --- y --- ∧
P I ---o --- ∨
- La Negación E A o --- o --- ≡↔↔∨
La negación no es un enlace lógico pues su R D
función no es la unir proposiciones simples y A I si--- entonces --- →‫→ כ‬
de esta manera formar los compuestos; pero D C --- sí y sólo si --- ≡↔↔
si es un operador proposicional. O O
Pueden ser R S no es cierto que
E ---
~ __
 Negación Ligada S
Cuando afecta a proposiciones simples OPERADOR
utilizando generalmente la forma gramatical --- no ---
MONÁDICO
“no”. Ejemplo :
- Pedro no es un buen deportista
- Vanesa no estudia computación Forma Lógica : Es reordenar la sintaxis
gramatical del enunciado con un sentido lógico,
 Negación Libre explicitando lo implícito, para ello hay que leer,
Cuando afecta a proposiciones compuests y leer y leer, luego preguntarse por el sujeto.
en tal sentido, al simbolizarse deberá Ejemplo :
anteceder a signos de agrupación. Sus
formas gramaticals más usuales son : “es  Tanto Miguel como Andres van a la
falso que”, “no es cierto que”, “no se da el biblioteca, si Teresa no trabaja hoy
caso que”; 2es posible que”, etc. Ejemplo :
- No es cierto que vas al cine y al teatro F.L. : Si Teresa no trabaja hoy entonces Miguel
- Es falso que viajes al extranjero y si sólo va a la biblioteca y Andrés va a la biblioteca
si no tienes dinero
- No se da el caso que seas profesional si Fórmula Lógica : Son los esquemas lógicos
no ingresaste a la universidad que resultan de reemplazar las proposiciones
simples por sus respectivas variables
 La Binegación proposicionales y las conjunciones gramaticales
Es la negación conjunta es decir es una como el adverbio de negación por sus
conjunción de negaciones. Forma gramatical operadores proposicionales
es representada por el término “NI”. Se
simboliza como (~p ^ ~q)
Proposiciones Formulas Lectura
Compuestas Lógicas
FORMALIZACION DE PROPOSICIONES Conjuntiva p∧q “p y q”
Llamada también “formalización de Disyuntiva p∨ q “p o q”
proposiciones” y viene a ser la representación Débil
de las proposiciones y sus enlaces mediante Disyuntiva p≡ q “o p o q”
variables y operadores proposicionales Fuerte
Condicional p→q “si p
Variables Proposicionales : entonces q”
Son letras minusculas que representan a las Bicondicional p≡ q “p si y solo si
proposiciones simples. Se les puede asignar q”
cualquier contenido (p; q; r; s; t; etc.)
Negación ~ (p ∧ q) “no es cierto
Libre que p y q”
Operadores Proposicionales :
Negación ~p “no p”
Ligada ................................

 Daysi es una alumna – estudiosa

Ejemplo :
...............................
FOLO :
 Es falso que no seas estudioso
p = Teresa trabaja hoy
q = Miguel va a la biblioteca ................................
r = Andrés va a la biblioteca
 Las leyes son para cumplirlas, sin
→ Si Teresa no trabaja hoy entonces embargo nadie les hace caso
~p →
|. . . . . . . . . . . . . . . . . . . . . . . . . . . . …..
Miguel va a la biblioteca y
q ∧  La situación económica cambiaría si
todos los peruanos trabajasen
Andres va a la biblioteca
. . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . .
r
 El indulto será permitido si y solo si los
~ p → (q ∧ r)
presos se reforman

........................ ..... .
TABLAS DE VALORES
 Caminaremos hacia la playa durante el
día o la noche
Llamada también método de las matrices, son
gráficos en los que se representan todos los
............. ......... .........
valores de verdad o falsedad que pueden asumir
las distintas interpretaciones de un esquema
lógico  Es falso que seas diputado si eres
abogado

. . . . . . . . . . . . . . . . . . . . . . .. . . . . . .. . . .

 La lógica no es una ciencia del

pensamiento

......................... ......

 Ni tu ni Pedro entendieron el ejercicio de

aritmética

................................
Margen Cuerpo
2. Toda negación ligada afectará siempre:
A) Una proposición coligativa
EVALUACION B) Todas las proposiciones
C) Una proposición molecular
1. En la siguiente relación indique las clases D) Las inferencias
de proposiciones : E) Una proposición atómica

 Juan y Pedro son primos

3. Toda negación ligada afectara siempre
 A) Admiten ejemplos de sustitución G) ~q → ~(~r → ~p)
B) Son los llamados enlaces lógicos
C) No admiten ejemplo de sustitución
D) Funcionan como nexo entre las 09. Formalizar e indicar el nombre de las
proposiciones simples siguientes proposiciones
E) Pueden reemplazar cualquier A) Hay clase de lógica o hay clase de
proposición simple aritmética; pero no hay clase de lógica. En
consecuencia hay clase de aritmética

4. La expresión equivalente a la binegación es .............. ....................

A) ~ p ∧ ~ q . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . .
B) p . ~ q
C) ~ p ∨ ~ q . . … . . . … . . . . . . . . . . .. . . … … . ..
D) ~ p . q
E) ~ q ∨ p B) Si hoy es miércoles y no hace calor hay
clase de lógica si hace frió.

05. Las variables proposicionales se diferencias .......................... .... ...

de las constantes lógicas, porque
..................................
aquellas:
A) Admiten ejemplos de sustitución ...............................
B) son los llamados enlaces lógicos
C) No admiten ejemplo de sustitución
C) Cossette es francesa, además vive en
D) Funcionan como nexo entre las
París si es una pintora consagrada
proposiciones simples
E) Pueden reemplazar cualquier proposición
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. .
simple
. . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . .
.............................
06. El pueblo estará feliz porque bajarán el
precio de los alimentos”. Es una proposición:
A) Conjuntiva
B) Disyuntiva
C) Atómica D) Si el motor funciona, entonces si la pista
D) Condicional está libre, Marcos volará el aeroplano.
E) Bicondicional
..................................
..................................
07. ¿Cuál de los siguientes operadores tiene
mayor jerarquía? ...............................
A) .
B) v
E) Ni Carlos es músico ni Lucho es poeta, si
C) ≡
carlos y Lucho son ejecutivos.
D) ≡
E) ‫כ‬
..................................
..................................
08. Jerarquizar e indicar el tipo de esquema
...............................
lógico:
A) p ∧ [(r v s) → ~ q
B) ~(r ∨ p) ≡ ~(q → ~r) F) La lógica es una ciencia formal si su objeto
de estudio es ideal. La lógica no es una
C) [(p → q) v (p ∧ r)] ↔ (p v q)
ciencia formal. Por lo tanto su objeto de
D) {[(p ‫ כ‬q) v (r . s) ‫ כ‬p] ≡ s } ‫ ~ כ‬t
estudio no es ideal.
E) [(p vq . r) v ~ p] . ~(~p ∧ ~q)
F) ~[~(p → ~q) v ~(r . ~q) . ~p
 ..................................
..................................
. . . . . . . . . . . .. . . .. . . .. . . . . . . . .. . . .

10. Aplique proceso de jerarquización y

6)
determine la matriz principal o cifra tabular
de los siguientes esquemas o fórmulas [p → (q v p)] ∧ ~q
lógicas:

1)
[(p ∧ q) ∧ (p v q)] ‫( כ‬p ‫ כ‬q)

7) t v r . ∧ . r : → : ~r v ~t

2)
[(p ∧ q) → (p v q)] → [(p v q) → (p ∧ q)]

8)
s → ~t : ≡ : t → ~s . v . ~t

TIPOS DE ESQUEMA LOGICOS. METODO DE

3)
REDUCCION AL ABSURDO
[(p → q) ∧ q] ≡ p
ESQUEMAS LOGICOS
Los esquemas lógicos son fórmulas lógicas
(proposiciones formalizadas) los cuales pueden
asumir funciones variativas determinadas. Estas
pueden ser :

1. Esquemas Lógicos tautológicos (T) : Son

fórmulas lógicas formalmente verdaderas,
4) es decir que el orden de sus componentes y
[(p ≡ q) → (q → p)] v (p ∧ p) no los valores de los mismos, determinan
que la matriz principal de su tabla veriativa
contenga valores unicamente verdaderos.
Se les llama también “principios lógicos”.
Ejemplo :

3 2 1
pq [ ( p → q) ∧ p] → q

5) VV V V V V V
[(p ∧ ~p) ≡ ~p] v ~q VF F V V V F
 FV V V F V V EL METODO ABREVIADO :
Es un procedimiento decisorio, es decir nos
FF V V F V V
permite determinar la validez o la invalidez de un
Matriz Principal razonamiento o inferencia. Se utiliza con el
propósito de abreviar el método de las Tablas de
Verdad.
E.L. Condicional tautológico Reglas

A. Se coloca el valor de verdad a las premisas y

2. Esquemas Lógicos Consistentes (Q) : el valor falso a la conclusión, es decir :
Llamados también esquemas contingentes. En
estas formulas lógicas, la matriz principal de su P1 ∧ P2 ∧ P3 ∧ . . . . . . . . . Pn → C
tabla veritativa presenta por lo menos un valor
de verdad y uno de falsedad. V V V V F
Ejemplo :

3 2 3 1 2 B. Se debe deducir el valor de las variables y

operadores del esquema, trasladando los
p q [ ( p → q) ∧ ~ p ] ≡ ~ q
valores encontrados. Ejm. :
VV V F F V F
 P(1) : p ≡ q
VF F F F F V
FV V V V F F P(2) : r → [(p ≡ q) ∧ r] → (r ‫ כ‬q)

FF V V V V V C:r ‫ כ‬q
Matriz Principal
C. Si cada una de las variables y operadores del
esquema cumple una sola función veriativo,
F.L. Bicondicional consistente es monovalente (V o F todo el tiempo)
entonces la inferencia será inválida o no
correcta.
3. Esquemas Lógicos Contradictorios (┴) :
Son formulas formalmente falsas, la matriz D. Si cualquiera de las variables u operadoras
principal de su tabla de verdad sólo contiene del esquema cumple un doble valor
valores falsos. Se les llama también veriativo, es bivalente ( V y F al mismo
inconsistentes. tiempo) entonces la inferencia es válida o
Ejemplo : correcta.

3 2 1 2  Nótese que todas las variables y

operadores son monovalentes, es decir
p q [ ( p ∧ q) ≡ p ] ≡ ( p → q ) cumplen una sola función veriativa. Por
VV V V V F V lo tanto, dicha inferencia es invalida o no
correcta.
VF F F V F F Otro ejemplo :
FV F V F F V
 Nótese que la variable “p” cumple un
FF F V F F V doble valor a la vez (bivalencia), por lo
Matriz Principal tanto la inferencia es válida.

E.L. Disyuntivo exclusivo contradictorio EVALUACION

1. Cuando las fórmulas lógicas pueden

EL METODO ABREVIADO O METODO DE asumir distintas funciones veriativas,
REDUCCION AL ABSURDO estamos hablando de :
A) Esquemas lógicos
B) Silogismo D) Condicional inconsistente
C) Falsedades E) Bicondicional consistente
D) Falacias
E) Verdades 08. Cuando uno afirma que un esquema
lógico por la veracidad de su matriz es
2. Esquema lógico, cuya matriz resultante tautológico también podemos llamarlo:
es totalmente verdadera: A) Inconsistente
A) Tautológico B) Consistente
B) Consistentes C) Principios Lógicos
C) Contradictorios D) Contingente
D) Inconsistente E) Contradictorio
E) AyB
09. ¿Cómo se les llama a los esquemas
3. ¿Cómo se llama el esquema en el cual lógicos cuyo resultado de su matriz es
los elementos son verdaderos pero hay totalmente falso?
tambien elementos falsos? A) Tautológico falso
A) Tautológicos B) negación de la verdad
B) Consistentes C) consistente
C) Inconsistentes D) Conjuntivo
D) Falsos E) Contradictorio
E) Verdaderos
10. ¿Cómo podría yo llamarle al esquema
del ejercicio [(p ∧ q) ≡ p] ≡ (p → q) cuya
4. ¿Cuál es el otro nombre de los matriz es FFFF
esquemas lógicos contingentes? A) Bicondicional consisitente
A) Veritativos B) Disyuntivo exclusivo contradictorio
B) Correctos C) Condicional contradictorio
C) Incorrectos D) Bicondiconal inconsistente
D) Consistentes E) Tautológico incorrecto
E) Contradictorios
11. ¿Qué nos permite observar el Método
5. Los esquemas lógicos cuyos valores Abreviado al abreviar la tabla de la verdad?
son totalmente verdaderos, se A) Validez o invalidez
denominan : B) Condicional o bicondicional
A) Principios incorrectos C) Consistente o inconsistente
B) Principios reales D) Falsedad o veracidad
C) Normas de verdad E) Lo congruente o incongruente
D) Principios lógicos
E) Tablas de verdad 12. Cuando un razonamiento constituido por
variables y operadores que cumplen
6. En el ejercicio [(p → q) ∧ p] → q cuya simplemente una función veritativa podemos
matriz principal es verdadera en todos afirmar que es una inferencia:
sus componentes podemos decir que es A) Válida – correcta
un esquema lógico B) Válida – incorrecta
A) Conjunción de principios lógicos C) No Válida – monovalente
B) Conjunción tautológica D) Verdadera
C) Condicional tautologico E) Completamente falsa
D) Consistente tautológico
E) B y C 13. Cuando en una inferencia o
razonamiento al comprobar sus variables y
07. Como le podemos llamar al esquema enlaces por el método de reducción al
lógico del ejercicio [(p → q) ∧ ~ p] ≡ ~ q absurdo vemos que una variable cumple
cuya matriz tiene un resultado : VFFV doble función, decimos que es correcta y
A) Bicondicional inconsistente válida por lo tanto es:
B) Condicional doble veritativo A) Bivalente
C) Conjunción consistente B) Totalmente verdadera
C) Es falsa en su estructura
D) Conjuntiva en su matriz
E) Monovalente o única

14. Aplicar las tablas de verdad y descubrir

qué esquema lógico se cumple :
(p ∧ q) ≡ ~q
A) FFVF (Contingente)
B) FVFF (Contingente)
C) FFFF ( Contradictorio)
D) VVVV ( Tautologico)
E) FFFV (Consistente)

15. Descubrir si el esquema lógico del

siguiente ejercicio (~ p v q) ≡ (p v ~q) es :
A) Contradictorio
B) Tautológico
C) Consistente
D) Contingente
E) C y D

16. Descubrir cuál es el esquema lógico

(~ q → ~ r) ∧ ~ p
A) VVFFFFVV (Consistente)
B) FFFFFFFF ( Contradictorio)
C) FVFVFVFV(Consistente)
D) VVVVVVVV ( Tautológico)
E) VVFVVVVV (Contigente9

17. Descubrir cuál es el esquema lógico del

siguiente ejercicio : [(q → p) ∧ r] → (q → p)
A) Consistente (FFFFFFFV)
B) Contradictorio (FFFFFFFF)
C) Consistente (FFVVVVFF)
D) Contingente (FVVVVVVV)
E) Tautológico (VVVVVVVV)

18. Desarrollar por el medio de Reducción al

absurdo :
[(p → q)} → [(p v q) ∧ ~ q]

19. Desarrolle el siguiente ejercicio

aplicando el Método de Reducción al
Absurdo :
[(~ p v q) ∧ ~q] → (p → q)

20. Desarrolle el siguiente ejercicio

aplicando el Método de reducción al
Absurdo.
[(p → q) ∧ p] → q