“AÑO DE LA LUCHA CONTRA LA CORRUPCIÓN E IMPUNIDAD”

FACULTAD CIENCIAS DE LA SALUD

ESCUELA PROFESIONAL DE OBSTETRICIA

ASIGNATURA:
MATEMÁTICA Y LÓGICA

ESTUDIANTES:
GUERRERO HUAMAN KEILY MIRELLA
PARIHUAMAN PARIHUAMAN GINA EYVI
PARIHUAMAN PARIHUAMAN PAMELA

DOCENTE:
SANDOVALICH CALDERON HUGO ALEXIS

SECCIÒN:
“D”

CICLO:
2019 – I

PIURA – 2019
INTRODUCCIÓN:
La lógica nace en el seno de la filosofía, pero tal como ocurrió con otras disciplinas su ámbito
de estudio y de conocimiento dejó de ser parte exclusiva de la filosofía, para integrarse al
campo general de la ciencia. Sin embargo, hoy por hoy el discurso argumentativo es el
vehículo de expresión básico en el que hacer filosófico, por lo tanto, se puede decir que la
lógica es una de las pocas herramientas de análisis y crítica de que dispone el filósofo.
La Lógica tiene por objeto de estudio fundamental determinar si un razonamiento deductivo
es válido y correcto o no lo es, un razonamiento deductivo será válido, y correcto cuando la
proposición final o conclusión se deduce necesariamente de las proposiciones de partida
llamadas premisas, cuando la conclusión del razonamiento no se deduce necesariamente de
las premisas estaríamos ante un falso razonamiento, es decir, no estaríamos ante un
razonamiento deductivo propiamente dicho.
En el presente informe descubriremos acerca de los temas que temas abarca y cuál es el
objeto de estudio de la lógica formal.
La lógica formal, se dedica al estudio de los razonamientos correctos, desarrollándolos de
manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte
de los razonamientos correctos conocidos para desarrollar una teoría lógica y
consecuentemente, razonamientos más complejos que no se utilizan normalmente en la vida
cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar
argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no
debe ser confundido con la lógica simbólica ni con la lógica matemática, que son tipos de
lógica que se encuentran dentro del campo de la lógica formal.
A continuación, se presentan las características más particulares que diferencian a la lógica
formal de los otros tipos de lógica:
 Es una ciencia que estudia la forma de la premisa, a diferencia de otros tipos de lógica
que estudian solo lo material.
 Aplica métodos tan eficientes que a través de la lógica formal puede distinguirse lo
incorrecto de lo correcto.
 Las conclusiones del razonamiento correcto o con validez surgen debido a que se
analiza la estructura de las premisas verdaderas.
 Estudia y analiza a las personas para llegar directamente al pensamiento, y así poder
establecer nuevos patrones en la mente de cada individuo.
 Desde el punto de vista de una ciencia formal, juega un papel importante en las
matemáticas, la filosofía, la informática y las estadísticas.
 También se relaciona con la psicología debido a que se enfoca en el estudio del
pensamiento de cada individuo.
Con esta investigación hemos obtenido un amplio conocimiento sobre la Lógica y aunque con
este material no es suficiente por lo amplio que es este tema, pero nos dio una iniciación en
desarrollo del tema, estos temas nos han parecido indispensables para nuestro crecimiento
intelectual, ya que ellos nos sirven de herramienta para cualquier actividad en nuestra
existencia.
 LOGICA FORMAL
La lógica formal es la ciencia que estudia el pensamiento humano considerando sólo su
estructura, y clasifica las expresiones en: Enunciado, sólo enunciado, enunciado abierto,
seudo – proposición, proposición y enunciado cerrado.
a. ENUNCIADO: Es toda frase u oración

Ejemplos:
 ¿Cómo estás amiga?
 ¡Viva la ULADECH!
 Todo hombre es mortal.
 x +3 ≥2 y−5

b. SOLO ENUCIADO: Enunciado que no tiene valor de verdad (mitos, leyendas,

personajes literarios, refranes, creencias religiosas; etc.)

Ejemplos:
 2 y−5
 “Los gatos negros traen mala suerte”
 ¡Estoy feliz!

c. ENUNCIADO ABIERTO: Enunciado que posee una o más variables no definidas que
no posee la propiedad de ser verdadero o falso, pudiendo llegar a ser una proposición
lógica cuando las variables asuman un valor determinado. También se le llama
función proposicional.

Ejemplos:
 x +3 ≥2 y−5
 “Él es matemático”
 ( x + y )( x− y )=x 2+ y2 + y 3

d. SEUDO PROPOSICIÒN: Son oraciones en donde el sujeto se le atribuye un

predicado que no corresponde con la realidad, en tal sentido no es correcto afirmar que
es verdadero o falso. Representan algo irreal pues no se puede comprobar en la
realidad.

Ejemplos:
 Los elefantes cantan.
 El celular es honesto.
 La pizarra habla chino.

e. PROPOSICIÒN (proposición lógica): Enunciado que puede ser verdadero o falso,

pero no ambos a la vez. Se considera proposiciones las oraciones aseverativas,
fórmulas lógicas matemáticas, esquemas lógicos y leyes científicas.
 Ejemplo:
 El agua hierve a 100 grados Celsius
 cos ( x + y )=cos x cos y −Sen x Sen y
 3+ 4=2+ 5
 Carlos y Willy son hermanos
NOTA: No son proposiciones las oraciones interrogativas, exclamativas, dubitativas,
desiderativas, enunciados abiertos, proverbios, refranes, hechos o personajes literarios,
supersticiones y mitos, creencias.

Ejemplo:
 ¿El agua hierve 100 grados Celsius?
 ¡Dios mío, sálvame!
 Ojalá ingreses a la UNP.
 ¿
 Superman es el hombre de acero.
 En boca cerrada no entran moscas

f. ENUNCIADO CERRADO: Es una proposición que se admiten como verdad

universal sin demostración. Aquí están las identidades matemáticas, lógicas,
definiciones y leyes científicas.

Ejemplo:

 El ángulo recto mide 90°. (V) Es por las definiciones elementales de la

geometría.
 “ p →q= q → p” (V) Es una ley lógica
 log ( A . B )=log ( B ) . (V) Es una identidad matemática

PROPIEDADES DE LA PROPOSICIÓN
Toda proposición tiene tres propiedades:
1. CANTIDAD: Por el número de elementos

a. Universales (generales): Toma los elementos (extensión) de un conjunto ya sea

para incluir o excluir.

Ejemplo:
 “Los hombres son fieles”
 “Todo animal es mortal”
 “Ningún abogado es honesto”

b. Particulares (existenciales): Toma algunos (como mínimo un elemento y como

máximo todos menos uno) elementos ya sea para incluir o excluir un conjunto.
 Ejemplo:
 “La mayoría de celulares son coreanos”
 “Hay policías que no son honestos”
 “Casi todo abogado es corrupto”

c. Individuales (Singulares): Toma elementos específicos, conocidos o puntuales de

un conjunto.

Ejemplo:
 Angelina Jolie es actriz americana.
 Facebook es una red social.
 Steve Jobs fue fundador de Apple.

2. CALIDAD (cualidad): Cuando analizamos el verbo de la proposición

a. Afirmativas: Verbo afirmado (son, es, están)

Ejemplo:
 Todo Smartphone es tecnología de punta.
 Vancouver está en Canadá.

b. Negativas: Verbo negado (no son, no es, no están)

Ejemplo:
 La tierra no es esfera.
 El pez no es carnívoro.
 Ningún país tiene armas químicas.

3. MODALIDAD: Cuando analizamos el valor de la verdad (V O F) de la proposición.

a. Asertóricas (reales, fácticas, empíricas): Cuando su valor de verdad se verifica

comparado con la realidad material inmediata. Estas proposiciones describen
hechos concretos. (La mayoría son proposiciones relacionadas con las ciencias
fácticas).

Ejemplo:
 El Perú tiene 1, 285.215,60 km2 de superficie (V) (Geografía).
 “Harvard” es nombre de una universidad inglesa (F) (Historia).
 Los ribosomas se encargan de la digestión celular (V) (Biología).

b. Apodícticas (formales, necesarias, analíticas): Estas proposiciones expresan

verdades o hechos evidentes. Su valor de verdad se verifica mediante análisis
lógico (cosas obvias) o matemático. (Son proposiciones relacionadas con las
ciencias formales).
 Ejemplo:
 La suma de los ángulos internos de un polígono de n lados es 180° (n – 2)
(V) (Geometría).
 “Los millonarios tienen mucho dinero” (V) (Lógica)
 “La sangre es color rojo” (V) (Lógica)

c. Problemáticas (posibles, probables, plausibles, futuras): Son oraciones futuras.

Ejemplo:
 “Dentro de 1000 años el agua se extinguirá”
 “Aprobaré el simulacro de examen”

CLASES DE PROPOSICIONES

A. PROPOSICIÓN SIMPLE (ATÓMICA O ELEMENTAL): Son oraciones que no se

pueden dividir, no tiene conector. Estas proposiciones a su vez pueden ser predicativas y
relacionales.

1. PROPOSICIONES PREDICATIVAS: Atribuyen o afirman una característica respecto

a un solo sujeto.

Ejemplo:
 La ULADECH es una institución privada.
 CNN es un medio de información internacional.
 13 es número primo.

2. PROPOSICIONES RELACIONALES: Establecen una relación entre dos o más

sujetos que tienen una misma categoría gramatical (hermanos, primos, gemelos, juntos
consecutivos, <, >, =, norte, sur, este).

 Hermanos OJO
 Amigos
 Enamorados La “y” no siempre es conjuntor
Términos Relacionales  Primos (conector lógico), pues a veces sólo
 Gemelos actúa como un relacionante.
 Consecutivos
 <, >, =
 Norte, sur, este, etc.
 Ejemplo:
 30−4=10+ 4
 Luisa y Karla son primas.
 Chile está al norte del Perú.
 Tacna está al sur de Lambayeque (relación espacial).
 Juan y Sara se aman (relación afectiva).
 El puente Bolognesi comunica Piura y Castilla.

B. PROPOSICIONES COMPUESTAS (MOLECULARES O COMPLEJAS): Son

aquellas que se obtienen al combinar las proposiciones simples unidas por uno o más
conectores lógicos. Tienen por lo menos un conector lógico.
Ejemplo:
 Es mentira que, 17 es número compuesto.
 El 25 es número impar y un cuadrado perfecto.
 Tg 45 ° ≠ sen 45 °
Conector Lógico: Es un operador o constante lógica que sirve para enlazar, conectar o unir
proposiciones
CLASES DE CONECTORES: Según el conectivo lógico dominante, las proposiciones
compuestas pueden ser:
1. CONECTOR LÓGICO MONÁDICOS: Es el conector que enlaza una sola
proposición.
Ejemplo:
 “ ” se lee (no). La negación es un conector monádicos.

PROPOSICIONES NEGATIVAS ( ): Se denomina así a la proposición

que presenta conector monádico “NO” el cual permite cambiar el valor de veracidad
de la proposición. Algunas traducciones verbales de la negación son:

No A No ocurre que A De ninguna forma se da

Nunca A No es verdad que A que A
Jamás A No es el caso que A Es erróneo que A
Tampoco A Es mentira que A Es incorrecto que A
Es absurdo que A Es inadmisible que A Es incierto que A
Es inconcebible que A No acaece que A En forma alguna A
Es imposible que A En modo alguno A

Ejemplo:
1. Es imposible que el presidente sea reelegido.
2. Nunca ocurre que aprenda cuando me distraigo en clase.
3. √ 36 ≠ 4+5
2. CONECTOR LÓGICO BINÁDICOS (diádicos): Conectores que enlazan dos o más
proposiciones. Son todos los conectores menos la negación (↔ ,→ , ← ,˅ ,˄).

1. PROPOSICIÓN CONJUNTIVA (˄¿: “p ˄ q” se lee “p y q”

Se denomina así a la proposición que presenta el conector binario “y” el cual,
desempeña el papel compatibilizador de dos proposiciones.
Algunas traducciones verbales del conjunto son:
AyB A de la misma manera B A también B
A del mismo modo que B Tanto A como, cuanto B A aunque B
A sin embargo B No sólo A también B A pero B
A al igual que B Siempre ambos A con B A tal como B
A así como B A incluso B
A no obstante B A es compatible con B

Ejemplo:
 No sólo Jennifer estudia en la ULADECH, también Mary,
 La historia es una ciencia fáctica, así como las matemáticas es una ciencia
ideal.
 Angelina Jolie es actriz no obstante es directora de cine.

2. Disyuntivas: Conector que tiene alternativa.

2.1. PROPOSICIÓN DISYUNTIVA INCLUYENTE (˅¿: “p ˅ q” se lee

“p o q”
Se denomina así a la proposición que presenta el conector binario “o” el cual
da la posibilidad de dos o más proposiciones a la vez. Para aclarar mejor esto,
se puede agregar el termino final “o ambos”. Algunas traducciones verbales de
la disyunción incluyente son:

AoB A excepto que B

A salvo que B A a menos que B
A menos que A, B A o también B

Ejemplo:
 Harold postula a la universidad a menos que postule a la Escuela
Tecnológica.
 El sir Kings es matemático o filosofo.
 La historia salvo que la geografía sean ciencias fácticas.

2.2. PROPOSICIÓN DISYUNTIVA EXCLUYENTE (⊕, V): “p ⊕ q” se

lee “o p o q”
Se denomina así a la proposición que presenta el conector binario “o” y
excluye la posibilidad de que se den ambas proposiciones a la vez.
Algunas traducciones verbales de la disyunción excluyente son:
 bien A o bien B Ya bien A ya bien B
OAoB A o solamente B
AoB A o sólo B
A o únicamente B

Ejemplo:
 Armando es alto o bajo. Olga, o estudia enfermería o derecho.
 Adriana Lima es casada o soltera. (sentido excluyente).
 O estudias en la ULADECH o estudias en la UDEP.

3. Condicionales: Es un conector que tiene relación de dependencia (causa – efecto).

3.1. PROPOSICIÓN IMPLICATIVA O DIRECTA (→): “p → q” se lee

“Si p entonces q”.
Se denomina así a la proposición que presenta el conector binario “Si A
entonces B”, el cual enlaza a una proposición que es el antecedente con otra
proposición que es el consecuente o conclusión.
Algunas traducciones verbales de la implicación son:

Si A entonces B De A deducimos (inferimos, llegamos, concluimos)

Cuando A así pues B en B.
Con tal que A es obvio que B A es condición suficiente para B.
En el caso de que A en tal sentido Ya que A bien se ven que B.
B Siempre que A por consiguiente B.
En virtud de que A es evidente B Toda vez que A en consecuencia B.
Dado A por eso B En la medida que A de allí B.
En cuanto A por tanto B En el caso de A en este caso B.
De A deviene B De A derivamos B.
A sólo si B A impone a B.

Ejemplo:
 Si hace calor en la noche, entonces lloverá.
 Que , 5<8 es suficiente para que 5<7.
 Si estudio entonces apruebo mis exámenes.
 Ya que estudiamos en ULADECH, seremos buenas obstetras.

3.2. PROPOSICIÓN REPLICATIVA O INDIRECTA (← ¿: “p ← q” se lee

“p si q”
Se denomina así a la proposición que presenta el conector binario “Si”. Es un
caso especial de proposición implicativa el cual resulta cuando el “Si” o sus
sinónimos están entre A y B.
Algunas traducciones verbales del replicador son:

A porque B. A cada vez que B

A es condición necesaria para B. A dado que B
 A, si B. A ya que B
A se concluye de B. A puesto que B
A siempre que B. A es condición de que B
A es insuficiente para B. A en vista de que B
A pues B
A no implica a B

Ejemplo:
 Sara ingresará a la UNP, porque ha estudiado mucho.
 Viajó a Hawai dado que tengo dinero.
 Obtengo nota 20 en vista de que estudio en casa.

3.3. PROPOSICIÓN BIIMPLICATIVA (↔): p ↔ q se lee “p si y solo si

q”.
Se denomina así a la proposición que presenta el conector binario “si y sólo si”
el cual desempeña la función de doble implicador. Es decir, la conjunción de la
condicional con la recíproca. Algunas traducciones verbales de la
biimplicación son:

A si y sólo si B A se define como B

A es equivalente a B A es lo mismo que B
A siempre que y sólo cuando B A si de la misma forma B
A por lo cual y según lo cual B A es idéntico a B

Ejemplo:
 Suben los precios si y sólo si sube la gasolina.
 Los animales comen carne por lo cual y según lo cual son carnívoros.
 Resuelvo problemas de matemáticas si y sólo si postulo a ingeniería.

GENERALIDADES

SON PROPOSICIONES NO SON PROPOSICIONES

(SON SOLO ENUNCIADOS)
- Las oraciones aseverativas o - Los hechos o personajes ficticios
afirmativas. - Los proverbios, modismos, o refranes
- Las leyes científicas - Creencias religiosas, supersticiones y mitos
- Las fórmulas en general - Las interrogaciones
- Los esquemas lógicos - Las órdenes imperativas
- Los enunciados cerrados o - Las interjecciones
definidos - Frases célebres
- Los deseos, dudas y súplicas
 TABLAS DE VERDAD

El objetivo principal es encontrar los valores de verdad de la proposición [V= verdadero o

falso]. Para ello utilizaremos tablas de verdad o algún otro método.

CLASIFICACION DE LAS TABLAS DE VERDAD POR LA NATURALEZA DE SU

MATRIZ DE VERDAD

TAUTOLOGIA CONTRADICTORIO CONSITENTE O

[inconsistencia] CONTINGENTE
Si el resultado final Si el resultado final Si el resultado final
contiene solo valores presenta solo valores contiene valores
verdaderos. falsos. verdaderos y falsos.

TABLAS DE VERDAD DE LOS CONECTORES LÓGICOS

CONJUNCION

P q P ⋀ q
V V V
V F F
F V F
F F F

DISYUNCION INCLUYENTE

P q P V q
V V V
V F V
F V V
F F F
DISYUNCIÓN EXCLUYENTE

P q P ⨁ q
V V F
V F V
F V V
F F F

IMPLICACION

P q P ⟶ 𝑞
V V V
V F F
F V V
F F V

REPLICACION

P q p ⟵ q
V V V
V F V
F V F
F F V
BIIMPLICACION

P q P ⟷ q
V V V
V F F
F V F
F F V

FLECHA DE NICOD O NEGACIÓN CONJUNTIVA

P q P ↓ q
V V F
V F F
F V F
F F V

BARRA DE SHAEFER O NEGACIÓN DISYUNTIVA

P q P ∕ q
V V F
V F V
F V V
F F V
NEGACIÓN

∼𝑃 ∼ 𝑉= 𝐹

Ejemplo
 1. [(q ∨ p) ∧ (𝑟 ⟶∼ 𝑝)] ⟶ (∼ q ∧ ∼ 𝑟)

[ (q ∨ p) ∧ (r ⟶ ~p)] ⟶ (~𝑞 ∧ ~𝑟)

F V V F V F F V F F F
F V V V F V F F F F V
V V V F V F F V V F F
V V V V F V F V V V V
F V F V V V V F F F F
F V F V F V V F F F V
V F F F V V V V V F F
V F F F F V V V V V V

2. [∼ (p ∧ q) ⟶ 𝑟] ⟷ [∼ 𝑝 ⟶ (𝑞 ∧ ∼ 𝑟)

[ ∼ (𝑝 ∧ q) ⟶ r ⟷ [∼ p ⟶ ( ∧ ∼ 𝑟)
] q
F V V V V V F V V F F
F V V V F V F V V V V
F F F V V V F V F F F
F F F F F F F V F F V
V F V V V F V F V F F
V F V F F F V V V V V
V F F V V F V F F F F
V F F F F V V F F F V
 FORMALIZACION DE PROPOSICIONES
Es un proceso de transformar textos en esquemas lógicos (formula lógica), de tal manera que
las fórmulas solo presenten variables, símbolos de agrupación y conectores lógicos.
ELEMENTOS FORMALES:
1. VARIABLES PROPOSICIONALES: Son letras tomadas en orden correlativo que
sirven para representar proposiciones elementales sin considerar su verdad.

P, q, r, …… A, B, C, ….
A1, A2, A3, ….

2. SIMBOLOS DE AGRUPACIÓN: Sirven para separar y agrupar proposiciones. Se

generan cuando en un texto encontramos signos de puntuación (“.”, “,” y “;”); también
cuando hay negadores externos y al aplicar jerárquica de conectores (ausencia de
signos de puntuación).

 Paréntesis
 Corchetes
 Llaves

3. CONECTORES LOGICOS: Son símbolos que sirven de enlace entre dos o más
proposiciones simples. Se clasifican en:

a. MONADICOS: Afectan a una sola variable y solo es la negación (~) el

único conector monódico.

Ejemplo: “Luisa no viaja a España” = ~𝑝

|-6 | ≠7 ≡ ~p

b. BINADICOS: Afectan a dos o más variables y son:

OPERACIÓN LOGICA SIMBOLO LECTURA

La conjunción ^ “Y”
La disyuncion débil ˅ “O”
La disyunción fuerte ⊕,⊻ “O …. O ….”
La implicador → “SI …. ENTONCES…….”
El replicador ← “….SI….”
La bicondicional ↔ “……SI y SOLO SI ….”
La negación ~ “NO”
La negación conjuntiva
(fleche de Nicod) ↓ “NI ……ni …….”
 La negación disyuntiva
(barra de sheffer) │ “NO ……o no ……”

 LA NEGACION:

1. NEGADOR SIMPLE (INTERNA): “~P” se leen no “p”. Por lo general niega una
proposición simple.

Ejemplo:
El leopardo no es canino: A

2. NEGACION EXTERNA: Niegan una o más proposiciones.

REGLA PARA NEGACIONES EXTERNAS: Las negaciones externas

comúnmente tienen la determinación “que” y generan símbolos de agrupación
después de la terminación “que” y cierra el símbolo generado cuando en el texto
encuentra signos de puntuación (“.”, “,” y “;”).

Ejemplo:

1. Es mentira que no domino física a salvo que no domine lógica.

Formula: ¬(¬p˅¬p)

2. Es objetable que trabajo en UNP, sin embargo, realizo deporte.

Formula: ¬p ˄ q

SINONIMOS DE LOS CONECTIVOS LÓGICOS

CONJUNTOR: A ˄ B Se lee “A y B”

TRADUCCIONES VERBALES

A.B A a la vez B
A incluso B A a pesar de B
A pero B A igualmente B
A aunque B A sino B
A al igual que B No solo . A sino también B
A aun cuando B A veamos que también B
A tal como B Cierto que A tampoco B
A tanto como B Sin que A tampoco B
A además , B Simultáneamente A con B
 A empero , B Es compatible A con B
A a la vez B A es compatible con B
A también , B Ambos a la vez A y B
A así como , B Tanto A como B
A al mismo tiempo que Tanto A cuanto B
B Siempre ambos A con B
A del mismo modo B A con B los dos a la vez
A sin embargo B A mas B
A no obstante B
A asimismo B
A de la misma manera B

DISYUNTOR DÉBIL: A ˅ B , se lee “ A o B ”.

TRADUCCIONES VERBALES

A o la vez B A ya bien B
A menos que A , B A o en todo caso B
A a menos que B A de lo contrario B
A salvo que B A o en su defecto B
A excepto que B Ya sea A ya sea B
A y bien o también A alternativamente B
B A o bien B
A o incluso B A a no ser que B
A Y /o B A al menos uno de los dos A o
B
DISYUNTOR FUERTE: A Δ B , se lee “ o A o B ”

TRADUCCIONES VERBALES

Bien A o bien B Ya bien A ya bien B

A o solo B A no es lo mismo que B
A o únicamente B A o bien necesariamente B
A o solamente B A o exclusivamente B
A no es equivalente a B A no es idéntico a B
A no biimplica a B A a menos que solo B

IMPLICADOR: A → B , se lee “ Si A entonces B ”

TRADUCCIONES VERBALES

Si A , B De A se deduce B
A luego B A de manera que B
A obviamente B En el caso de que A en tal sentido
Cuando A así pues B B
Ya que A , es evidente B A solo si B
De A inmediatamente B A solamente si B
En la misma medida en que A de allí A solo cuando B
que B Condición necesaria para A es B
Es suficiente A para B A de ahí que B
Como quiera que A por lo cual B Cuando A así pues B
Siempre que A por consiguiente B Dado A por eso B
Ya que A bien se ve que B En cuanto A por tanto B
A implica B Toda vez que A en consecuencia B
A por lo tanto B A se impone a B
De A derivamos en que B A es innecesario para B
Porque A por eso B
A trae como consecuencia B
REPLICADOR: A ← B , se lee “ A si B ”

TRADUCCIONES VERBALES

A , si B A suficiente que B
Para A es suficiente B A pues B
A porque B A en vista que B
A siempre que B Para A es suficiente B
A puesto que B A es una condición necesaria de
A dado que B B
A cada vez que B A supone que B
A ya que B A se concluye de B
A es insuficiente para B

BIIMPLICADOR: A ↔ B , se lee “ A si y solo si B ”

TRADUCCIONES VERBALES

A si y solo si B A cada vez y solo si B

Si y solo si A , B A es equipotente a B
A siempre y cuando , B A significa B
A cuando y solo cuando B A es lo mismo que B
A entonces y solo entonces B A es A es suficiente para que suficiente sea B
equivalente a B Es necesario A para que necesariamente
A es idéntica a B B
A es condición necesaria y suficiente Siempre que A y siempre que B
para B A por lo cual y según lo cual B
A siempre que y solo cuando B A es lo mismo que B
A se define como B A si de la misma forma B
A por lo cual mismo que B Porque y solamente porque A , B
A es igualmente B A implica y esta implicado B
A cada vez que solo a B
NEGACION: ~A, se lee “no A ”
TRADUCCIONES VERBALES

NEGADORES INTERNOS:
No P Jamás ocurre que A
Nunca P Es incorrecto que A
Jamás P Es objetable que A
En modo alguno , A
NEGADORES EXTERNOS : En forma alguna , A
No ocurre que A Nadie que sea A No es que A
No es cierto que A Es sofisma que A
Es mentira que A De ninguna forma se da que
Es falso que A A
Es absurdo que A Es objetable que A
Es inconcebible que A Es refutable que A
Nunca sucede que A
Es imposible que A
Es inadmisible que A
No acaece que A
Es incierto que A
Es erróneo que A

EJEMPLOS:
 FORMALIZAR:” Si aumenta el caudal en el Rio Piura, entonces, o bien hay fuertes
lluvias o bien soltaron agua de la represa de los Ejidos. Luego, si no hay fuertes
lluvias, entonces no aumenta su caudal el Rio Piura”

[ p → ( q ꚛ r )] → ( ~ q → ~ p )

 FORMALIZAR:” Si Luis llega temprano o tarde, de todas maneras, entrara a clase.

Solo si llega temprano, se sentará adelante”

[(pꚚq)→r]˄(p←s)
 FORMALIZAR:” Si Luis llega temprano o tarde, de todas maneras, entrara a clase.
Solo si llega temprano, se sentará adelante”

[(pꚚq)→r]˄(p←s)

 FORMALIZAR: “Tendremos plantas ornamentales en el jardín, ya que el abono es

vegetal más aun las semillas son selectas”

P←(q˄r)

 FORMALIZAR: “El cóndor tiene una excelente visión nocturna, visión periférica
muy amplia y una visión binocular que le permite calcular distancias con exactitud”

p^q^r