Asignatura: Matemática I

UNIDAD I LOGICA PROPOSICIONAL Y SISTEMA DE

NUMEROS REALES
La lógica cuyo objeto de estudio son los distintos principios de demostración que permitan comprobar que
una afirmación pueda ser considerada como valida.

Todos los tópicos relativos a las matemáticas se razonan desde el punto de vista lógico y por lo tanto hay que
tener en cuenta el enunciado de las proposiciones matemáticas y su consecuente validez.

NOTA

Significa que una Proposición es Verdadera o Falso, pero nunca debe ocurrir que sea verdadera y falso a la
vez
 Se llama enunciado a toda frase u oración. Algunos enunciados son mandatos o interrogaciones o son
expresiones de emoción ;otros en cambio son afirmaciones o negaciones que tienen las características
de ser verdadero o falso.

1. ¿Qué curso te has matriculado? 7. Paris es la capital de Francia

2. ¡vaya rápido! 8. 5>8

3. ¡viva el Perú! 9. 3+5=8

4. Prohibido hacer bulla 10. X2 < 4y

5. Dos mas tres es igual a cinco 11. 𝑿𝟐 + 𝒀𝟐 ≤9

6. Todas las gallinas son aves

Los enunciados que expresan una exclamación, una interrogante, una emoción, son expresiones no
proposicionales tales como los ejemplos 1,2,3 y 4.

1. ¿Qué curso te has matriculado?

2. ¡vaya rápido!

3. ¡viva el Perú!

4. Prohibido hacer bulla

Llamamos proposición a todo enunciado que tiene la cualidad de ser verdadera (V) o de ser (F), pero

nunca puede ser “V” y “F” a la vez. La proposición es un elemento fundamental de la lógica matemática.

los ejemplos: 5,6,7,8 y 9 son proposiciones.

5. Dos mas tres es igual a cinco 8. 5>8

6. Todas las gallinas son aves 9. 3+5=8

7. Paris es la capital de Francia

 Denotaremos a las proposiciones con letras minúsculas p, q, r, s y t. si son muchas proposiciones,
entonces usaremos subíndices tales como:

𝒑𝟏 , 𝒑𝟐 , 𝒑𝟑 , , … . , 𝒑𝒏 𝒒𝟏 , 𝒒𝟐 , 𝒒𝟑 , , … . , 𝒒𝒏

. s: cuatro multiplicado por tres, es igual a doce

p: dos más tres, es igual a 5

t: cuatro y diez son múltiplos de dos

q: ocho es menor que tres

r: cinco es diferente que cero

u: 2 es menor que tres y tres es múltiplo de 5
En las matemáticas las Proposiciones Fundamentales son:

Los axiomas
Los lemas
Los teoremas
Los corolarios

❖ LOS AXIOMAS O POSTULADOS. ❖ LOS TEOREMAS

Son proposiciones cuya VALIDEZ se aceptan sin Son proposiciones que, para ser VALIDAS, necesitan
demostración de su demostración. Se muestran usando los axiomas
y algunas tautologías lógicas.

❖ LOS LEMAS ❖ LOS COROLARIOS

Son proposiciones previas a la demostración de Son proposiciones que son consecuencias de

algunos teoremas. algunos teoremas.
Son expresiones que contienen variables y que no tiene la propiedad de ser verdadero o falso

P(x): “x < 5” es un enunciado abierto porque no podemos afirmar que es V o es F.

Solo cuando la variable “x” toma un valor numérico se hace V o F.

Así tendremos:

P(3) : 3 < 5 es (v) P(9) : 9 < 5 es (F)

 Son las proposiciones que tienen un solo sujeto y un solo predicado. No llevan ningún conectivo lógico.

p: “9 es múltiplo de 3”

q :”3 es mayor que dos”

r : “2x5 = 12”
Son aquellas proposiciones que se obtienen de la combinación de dos más proposiciones simples , las
cuales son enlazadas por los símbolos ˄ ,˅ ,→, ↔,llamados conectivos lógicos.

Donde :

“y” se representa por “˄”

“o” se representa por “˅”

si …..entonces….” se representa por p → q

si …. y solo si……” se representa por p ↔ q

A: “José llego tarde ,sin embargo dio examen” C: “si 9 es múltiplo de 3 y 12 es múltiplo de
3,entonces 9+12 es múltiplo de 3”

A≡p˄q
C ≡ (p ˄ q)→ r

B: “Maradona jugo ,aunque estuvo lesionado” D: “no es el caso que pedro baile y no cante”

B≡p˄q D ≡ ᷈(p ˄ ᷈q)

 Sean 𝑝: 8 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 ; 𝑞: 8 𝑒𝑠 𝑢𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 .Traducir en símbolos
cada una de las siguientes proposiciones:

▪ 8 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑜 𝑒𝑠 𝑢𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 2 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑒𝑡𝑟𝑒𝑜𝑠

▪ 8 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑦 𝑒𝑠 𝑢𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 2 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑒𝑡𝑟𝑒𝑜𝑠

▪ 8 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑦 𝑒𝑠 𝑢𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 2 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑒𝑡𝑟𝑒𝑜𝑠 𝑜 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝑦 𝑛𝑜 𝑢𝑛 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜

𝑑𝑒 2 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠
Los conectivos lógicos son símbolos que enlazan proposiciones atómicas ,sin formar parte de ellas. Dichos
símbolos también toman el nombre de operadores.

Los conectivos lógicos que usaremos en Matemáticas son:

❑ La conjunción “˄” ❑ La bicondicional p ↔ q

❑ La disyunción “˅” ❑ La negación ᷈

❑ La condicional p → q
La VERDAD O FALSEDAD de una proposición se denomina su VALIDEZ (o su valor de verdad).

La validez de la conjunción, de la disyunción, de la condicional, de la bicondicional y de la negación pueden

representarse en TABLAS.

En consecuencia, dadas dos o mas proposiciones simples cuyos valores de verdad son conocidas, el VALOR DE
VERDAD de una PROPOSICION COMPUESTA depende de la verdad de cada uno de las proposiciones
componentes y se determina mediante TABLAS DE VERDAD.
Existe una correspondencia entre una proposición y valor de verdad ,así tenemos:

U f
P
V
q V

r F
.
.
.
.

Si 𝑈 = 𝑝, 𝑞, 𝑟, … es el conjunto de proposiciones y V= 𝑉, 𝐹 es el conjunto de valores de verdad ,entonces

la correspondencia establecida entre los elementos de U y de los elementos de V es:
𝑉, 𝑠𝑖 𝑝 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎
𝑓 𝑝 =ቊ
𝐹 , 𝑠𝑖 𝑝 𝑒𝑠 𝑓𝑎𝑙𝑠𝑜

“ A cada proposición 𝒑 le corresponde solo un valor, que puede ser verdadero(V) o falsa (F).
 V
1) Para una proposición “p” le corresponde 21 = 2 posibles valores: p
F

2) Para dos proposiciones p y q le corresponde 22 = 4 combinaciones de valores.

P VVFF
q VFVF

3) Para tres proposiciones p, q y r le corresponde 23 = 8 combinaciones

P VVVVFFFF
q VVFFVVFF
R VFVFVFVF

n) Para "𝑛" proposiciones 𝑝1 , 𝑝2 , … , 𝑝𝑛 habrán 2𝑛 combinaciones de valores.

Las tablas de verdad de la conjunción, disyunción, condicional ,bicondicional y negación se explica a continuación
Dada dos proposiciones p y q, la conjunción es el resultado de reunir estas proposiciones con el conectivo “˄”.

P q P˄q NOTACION
V V V
V F F La conjunción se denota de dos formas :
F V F
F F F p ˄ q se lee p y q

La conjunción "𝒑 ∧ 𝒒“ es V solo cuando "𝒑 𝒆𝒔 𝑽 𝒚 𝒒 𝒆𝒔 𝑽“.Si uno de ellos es F, el resultado es F

NOTA

En todo párrafo , las palabras: “pero” , “sin embargo” , “además” , “no obstante” ,”aunque” , “ a la
vez” , ,etc. Equivale al conectivo “˄”.
 Traducir en símbolos cada una de las siguientes proposiciones:

❑ La bandera peruana es blanca y roja

❑ Manuel es juez pero honesto

❑ Las computadoras son caras, sin embargo son muy útiles

❑ 3 es menor que 5,pero mayor que 1

La disyunción de dos proposiciones p y q es la proposición compuesta que resulta de unir p y q por el conectivo “o”.

Débil o inclusiva
Como el sentido del conectivo “o” es excluyente, se puede interpretar de dos
maneras: Fuerte o exclusiva

La disyunción inclusiva o débil de p y q se denota por “p ˅ q” y se lee “p o q”.

P q P˅q
V V V
V F V
F V V
F F F

El principio lógico de la disyunción lógica es: la disyunción inclusiva "p∨q" es V,cuando por lo menos una de
las proposiciones componentes es V . Es falso solo cuando los dos son falsas
 Traducir en símbolos cada una de las siguientes proposiciones:

❑ "𝑥 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑞𝑢𝑒 3"

❑ " 𝑥−1 2 ≤ 0"

❑ “Ingles y francés ,Juan habla por lo menos un idioma ”

Se denota por “pΔq” y se lee de dos maneras:

" 𝒐 𝒑, 𝒐 𝒒"
𝒑△𝒒
"𝒑 𝒐 𝒒, 𝒑𝒆𝒓𝒐 𝒏𝒐 𝒂𝒎𝒃𝒐𝒔" El principio lógico de la disyunción exclusiva es: La
disyunción exclusiva pΔq es verdadera solo
cuando una de sus componentes es verdadera
P q pΔq
V V F
V F V
F V V
F F F

La disyunción exclusiva, tiene varias equivalencias lógicas ,que nos permite operar de mejor forma:

pΔq ≡ ᷈ (p ↔q) ≡ (p V q) ˄ ᷈ (p˄ q) ≡ (p ˄ ᷈ q ) V (q ˄ ᷈ p )

 Traducir en símbolos cada una de las siguientes proposiciones:

❑ El profesor ordeno hacer la tarea A o B pero no ambos

❑ Juan habla ingles pero no francés o Juan habla francés pero no ingles
Es la combinación de dos proposiciones por el conectivo “si p, entonces q ”.

P q P→q La proposición p se llama antecedente(HIPOTESIS)

V V V
V F F La proposición q se llama consecuente(TESIS O CONCLUSION)
F V V
F F V
" 𝒔𝒊 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒒"

𝐋𝐚 𝐜𝐨𝐧𝐝𝐢𝐜𝐢𝐨𝐧𝐚𝐥 𝐩 → 𝐪 " 𝒑, 𝒔𝒐𝒍𝒐 𝒔𝒊 𝒒"

Se lee de tres maneras
" 𝒒, 𝒔𝒊 𝒑"

EQUIVALENCIAS:
p→q≡ ᷈pVq
 Traducir en símbolos cada una de las siguientes proposiciones:

❑ El numero entero b es primo , si b es divisible por 1 y por si mismo

❑ Iré de viaje y me divertiré , si me saco la lotería

La conjunción de los condicionales “p → q” y “q → p ”, denotado por (p → q) ˄ (q → p),se denomina el
bicondicional de p y q.

El bicondicional de las proposiciones p y q se simboliza por p ↔ q, que se lee “p si, y solamente si q”.

p q P↔q

V V V Una proposición bicondicional es V si ambas componentes

V F F
F V F son V o son F, en otro caso es F
F F V
 Traducir en símbolos cada una de las siguientes proposiciones:

❑ 𝑎2 = 4 si, solo si a = 2 ∨ 𝑎 = −2

❑ 𝑥 2 < 4 𝑠𝑖, 𝑠𝑜𝑙𝑜 𝑠𝑖 − 2 < 𝑥 < 2

Dada una proposición “p” ,la negación de p es otra proposición que se denota por “ ᷈ p ” y se lee “no p” o
“no es cierto que p”.

La negación “no”, cumple la función de negar una afirmación y de afirmación una negación.

p ᷈p
V F
F V
 Traducir en símbolos cada una de las siguientes proposiciones:

❑ “Es falso que Pele jugo en Asia y no estudio en África ”

❑ No es el caso que un libro caro es bueno

❑ Es falso que una buena bicicleta no es barata

En un párrafo que se presentan proposiciones simples, conectivos lógicos, comas y puntos se
requiere, para su representación simbólica ,el buen uso de los signos de agrupación (paréntesis,
corchetes, llaves).

Los signos de agrupación se usan para indicar la jerarquía de los conectivos lógicos y así evitar las
ambigüedades en las formulas.

Cuando no se usan correctamente los signos de agrupación las formulas carecen de sentido.
❑ Si me aumentan el sueldo y ahorro, viajaré al Cusco

❑ O cubillas juega si le contrata el Alianza Lima , o habrá protesta si no juega

❑ Las personas nadaran en el mar si la municipalidad da el permiso, sí y solo si el clima no esta frio
La evaluación de esquemas moleculares consiste en HALLAR LOS VALORES DEL OPERADOR
PRINCIPAL a partir de la validez de cada una de las proposiciones simples (variables
proposicionales).

El numero de valores que se asigna a cada variable proposicional depende de la formula 𝟐𝒏 ,donde
“n” indica el numero de proposiciones simples que existe en el esquema molecular y 2 es una
constante que indica los dos valores (V) o (F) que tiene una proposición simple.

Luego en una tabla rectangular que la llamaremos TABLA DE VERDAD ,se escriben horizontalmente todas
las variables proposicionales y el esquema molecular ;debajo de las variables proposicionales se
escriben, en columna, todas las combinaciones posibles de verdad y falsedad.

A continuación se aplica la regla a cada uno de los operadores (conectivos) empezando por el de menor
alcance y terminando con el de mayor jerarquía.
 Denominamos tautología a toda proposición compuesta que es siempre verdadera,
cualquiera sean los valores de verdad de las proposiciones componentes .
𝒑˄(𝒑 → 𝒒) → 𝒑

Nota

Las siguientes proposiciones son tautológicas:

𝒑→𝒑 , 𝒑˅ ∼ 𝒑 , ∼ (𝒑˄ ∼ 𝒑)
 Diremos que una proposición compuesta es una contradicción ,si es siempre falsa,
cualesquiera sean los valores de verdad de las proposiciones componentes.

(∼ 𝒑˄𝒒) →∼ 𝒓 ↔ 𝒓˄ ∼ (𝒑˅ ∼ 𝒒)
 Un esquema molecular es contingente cuando en su resultado hay por lo menos
una verdad y una falsedad

𝒒 → 𝒓 𝑽 (~𝒑 → 𝒓)
Son los esquemas moleculares o formulas proposicionales (o simplemente proposiciones compuestas)

𝐴 = ~𝑝∆~𝑟 B= ~(𝑝 ∧ 𝑞) ∨∼ 𝑟 C= ~(𝑝 ∧ 𝑞 ∧ 𝑟)

Debemos distinguir los conceptos de EQUIVALENCIA E IMPLICACIÓN de los conceptos BICONDICIONAL Y

CONDICIONAL respectivamente

La EQUIVALENCIA y la IMPLICACIÓN son relaciones entre formulas proposicionales

La BICONDICIONAL y la CONDICIONAL son relaciones entre proposiciones

Dos formulas B y C son equivalentes cuando unidos por el bicondicional " ↔ " el resultado es una TAUTOLOGÍA

B= ~(𝑝 ∧ 𝑞) ∨∼ 𝑟 C= ~(𝑝 ∧ 𝑞 ∧ 𝑟)
Una FORMULA “A” IMPLICA A “B” ,cuando unidos por el CONDICIONAL " → " siendo A antecedente y B consecuente , el
resultado es una TAUTOLOGÍA

𝐴 = ~𝑝∆~𝑟 B= ~(𝑝 ∧ 𝑞) ∨∼ 𝑟
La inferencia lógica es el proceso de pasar de un conjunto de premisas a una conclusión .La
inferencia es una condicional de la forma:
𝑝1 ˄𝑝2 ˄𝑝3 ˄ … ˄𝑝𝑛 → 𝑞 Esta condicional ,se le llama también, argumento lógico

Donde
Originan como consecuencia otra proposición “q” llamada
𝒑𝟏 , 𝒑𝟐 , 𝒑𝟑 , … , 𝒑𝒏 son llamadas PREMISAS
CONCLUSIÓN.

El resultado de la condicional puede ser una TAUTOLGIA,UNA CONTINGENCIA O UNA

CONTRADICCION:

1) Si la condicional es una TAUTOLOGIA, entonces se tiene una INFERENCIA VALIDA(o argumento valido).

2) Si la condiciónal es FALSO, entonces se tiene la llamada FALACIA

Si Maradona es argentino entonces es aficionado al futbol. Pero, Maradona no es aficionado
al futbol. Por lo tanto, no es argentino.
Como es hora de clases , se concluye que en el aula hay profesores y alumnos , dado que , si
es hora de clases , en el aula hay profesores ,y hay alumnos si en el aula hay profesores
Si Juan decía la verdad , entonces Sócrates corrompía a la juventud y si el tribunal lo condeno
equivocadamente , entonces Juan no es el culpable . Pero , Sócrates no corrompía a la
juventud o Juan es el culpable . Por lo tanto Juan no decía la verdad o el tribunal no condeno
a Sócrates equivocadamente.
En la lógica existen los llamados “PRINCIPIOS LOGICOS” o “LEYES LOGICAS” que vienen hacer FORMAS
PROPOSICIONALES TAUTOLOGICAS de carácter general.

A partir de las LEYES LOGICAS se puede generar otras tautologías y a la vez cualquier TAUTOLOGIA se puede
reducir a una de las LEYES LOGICAS.

Las principales LEYES LOGICAS las podemos clasificar en tres grupos:

Leyes lógicas clásicas

GRUPOS Equivalencias notables

Implicancias notables
𝑝→𝑝
Una proposición solo es idéntica a si mismo
𝑝↔𝑝

~(𝑝 ∧ ~𝑝) Una proposición no puede ser verdadera y falsa a la vez

𝑝 ∨ ~𝑝 Una proposición o es verdadera o es falsa ,no hay una tercera posibilidad

~(~𝑝) ≡ 𝑝 “ La negación de la negación es una afirmación”

𝑝∧𝑝≡𝑝 𝑝 ∧ 𝑝 ∧ 𝑝 ∧ 𝑝 ∧ 𝑝 … .∧ 𝑝 ≡ 𝑝 Las variables redundantes una cadena

En general: de conjunciones o en una cadena de
𝑝∨𝑝≡𝑝 𝑝 ∨ 𝑝 ∨ 𝑝 ∨ 𝑝 ∨ 𝑝…∨ 𝑝 ≡ 𝑝 disyunciones, sé eliminan

𝑝∧𝑞 ≡𝑞∧𝑝

𝑝∨𝑞 ≡𝑞∨𝑝 La conjunción, la disyunción y la bicondicional de dos proposiciones son

conmutativas
𝑝↔𝑞≡𝑞↔𝑝
 𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟

𝑝 ∨ (𝑞 ∨ 𝑟) ≡ (𝑝 ∨ 𝑞) ∨r

𝑝 ↔ (𝑞 ↔ 𝑟) ≡ (𝑝 ↔ 𝑞) ↔ 𝑟

𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)

𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)

𝑝 → (𝑞 ∧ 𝑟) ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)

𝑝 → (𝑞 ∨ 𝑟) ≡ (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)

∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞

∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
 𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞

∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞

𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

𝑝 ↔ 𝑞 ≡ ~ (𝑝 ∨ 𝑞) ∧∼ (𝑝 ∧ 𝑞)

𝑝 ↔ 𝑞 ≡∼ (𝑝 △ 𝑞)

𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝

𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ≡ 𝑝 ∧ 𝑞 𝑝 ∨ (∼ 𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
 𝑝 → 𝑞 ≡∼ 𝑞 →∼ 𝑝

𝑝 ↔ 𝑞 ≡∼ 𝑞 ↔∼ 𝑝

Si V(Verdadero) y F(Falso)

𝑝∧𝑉 ≡𝑝 "𝑉“ es el neutro en la conjunción

𝑝∨𝐹 ≡𝑝 "𝐹“ es el neutro en la disyunción

Aplicando las equivalencias lógicas , simplificar las siguientes proposiciones
𝑝 → 𝑞 ∧∼ 𝑟 ∧ 𝑝∧ 𝑞 →𝑟 ∨ 𝑝∧𝑞∧ 𝑝∨𝑞 ∨ 𝑟∨ ∼𝑟∨𝑞 ∧𝑝
Hallar una proposición equivalente a: Simplificar el esquema

𝑃= ∼ 𝑝 ∧ 𝑞 → 𝑟 ∧∼ 𝑟 ∧ ∼𝑞 𝐴= ∼𝑝∧𝑞 → 𝑞 →𝑝
Si definimos "#“ como 𝒑#𝒒 ≡ 𝒑 ∨ 𝒒 ∧∼ 𝒑 ∧ 𝒒 . Hallar una expresión
equivalente a 𝒑#𝒒
Si 𝑻 es una tautología y 𝒑 𝒚 𝒒 son proposiciones ,cuales de las siguientes
afirmaciones son verdaderas.

❑ 𝒑 ∧ 𝑻 ∨ 𝒒 ∧∼ 𝑻 ∧ 𝒑 ∨ 𝒒 ↔𝒑

❑ 𝒑 ∨ 𝒒 ∨ ∼ 𝒑 ∧∼ 𝒒 ∧ 𝒑 ∨ 𝒒 ↔𝑻

❑ 𝒑 ∨ 𝒒 ∨∼ 𝑻 ∧∼ 𝑻 ∨ ∼ 𝒑 ∧ 𝑻 ∨ 𝑻 ↔𝑻
 Las implicancias notables se pueden escribir de dos formas: forma horizontal y vertical

A) FORMA HORIZONTAL Cuando la conjunción de las premisas que implican a la conclusión:

𝑝1 ˄𝑝2 ˄𝑝3 ˄ … ˄𝑝𝑛 → 𝑞

se escriben horizontalmente en forma explicita usando los conectivos lógicos
"˄, → "

B) FORMA VERTICAL(FORMA CLASICA) En este caso no se escriben, en forma explicita los conectivos: "˄, → "

𝑝1 La conjunción de premisas se escriben verticalmente uno

𝑝2
𝑝3
después de otra y al termino de la ultima premisa se escribe una
. raya horizontal y tres puntos para luego escribir la conclusión.
.
.
𝑝𝑛 El razonamiento es “si ocurren 𝒑𝟏 ˄𝒑𝟐 ˄𝒑𝟑 ˄ … ˄𝒑𝒏 ; por lo tanto
ocurre 𝒒
∴𝑞
"𝑥 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑜 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 5"

"𝑥 𝑛𝑜 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 "

∴ "𝑥 𝑒𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 5 "