Académique Documents
Professionnel Documents
Culture Documents
2
A pero B
A aunque B Símbolos: AB,A+B
A al igual que B Traducción Verbal: se lee
A tal como B AoB
A tanto como B A a menos que B
A también B a menos que A B
A así como B A salvo que B
A vemos que también B A y bien, o también B
A al mismo tiempo que B A excepto B
A sin embargo B A o incluso B
A es compatible con B A o a la vez B
A aún cuando B A ya bien B
A del mismo modo B A y/o B
A de la misma manera B
A no obstante B
A empero B Disyuntiva excluyente
Tanto A como, cuanto B Se vincula a través del conector ”o ………o…….”
Siempre ambos A con B Ejemplo
A sino B O estas despierto o estas durmiendo.
No sólo A sino también B
A asimismo B Conector: ; ; , , , >-<
A a pesar de B Formalización: p q
A a la vez B
A igualmente B
EL DISYUNTOR EXCLUYENTE
A de la misma manera B
Sin que A tampoco B Símbolos: A B;A B; A B,
Cierto que A lo mismo que B A>-<B; AB
Simultáneamente A con B Traducción Verbal: se lee
OAoB
c) Disyuntiva O bien A o bien B
Son aquellas proposiciones que se relacionan A o B (en sentidos excluyentes)
mediante la conjunción disyuntiva “o” su A o solamente B
expresión equivalente “u”. Pueden ser: A o únicamente B
A o solo B
Disyuntiva Incluyente A no es equivalente a B
Se vincula a través del conector …………... o No es equivalente A con B
………………. A no biimplica a B
Ejemplo
Mónica es poeta o deportista d) Condicional
Son aquellas proposiciones que se relacionan
Conector: , + mediante la conjunción condicional “si……
entonces……………” o sus expresiones
Formalización: p q equivalentes.
Ejemplo:
Si práctico deporte entonces tendré buen
estado físico.
La proposición condicional consta de dos
EL DISYUNTOR INCLUYENTE elementos, el antecedente y el consecuente.
Las proposiciones condicionales pueden ser:
3
Si te vas entonces estaré Símbolos: A B; A B; B A
triste. Traducción Verbal: se lee
A C Sólo si A B
A si B
Conector: ; ; A porque B
A siempre que B
Formalización: p q Es condición necesaria A para B
A para B
EL IMPLICADOR Para A es suficiente B
Símbolos: A B; A B; A B A puesto que B
A dado que B
Traducción Verbal: se lee A supone que B
A pues B
Si A entonces B A en vista que B, etc.
Siempre que A por consiguiente B
Ya que A bien se ve que B e) Bicondicional
Con tal que A es obvio que B Son aquellas proposiciones que se relacionan
Cuando A así pues B mediante la conjunción compuesta “si y sólo si”
Toda vez que A en consecuencia B o sus expresiones equivalentes.
Ya que A es evidente B Ejemplo:
De A deviene B La pera es dulce si y sólo si está madura.
De A derivamos B Conector: ,
A implica B Formalización: p q
Como quiera que A por lo cual B
En el caso de que A en tal sentido B EL BIIMPLICADOR
Una condición necesaria .para A es B
Símbolos: A B, A B
A es condición suficiente para B
Traducción Verbal: se lee
A sólo si B
A si y solo si B
De A deducimos (inferimos, concluimos,
A siempre y cuando B
llegamos) en B, etc.
A se define lógicamente como B
A es equivalente, equivale B
A por lo cual mismo que B
A si de la misma forma B
Condicional inversa (Replicador)
A es idéntica a B
Consecuente y antecedente van en ese orden A es igualmente (es igual,
respectivo. entonces )B
A cada vez que y sólo si B
Ejemplo A es equipotente a B
A es condición necesaria y
iré de vacaciones siempre que acabe con el suficiente para B
trabajo A siempre que y solo cuando B
C A
Conector: ;
Formalización: p q
EL REPLICADOR
Definición: Negación no p p
Conjunción pyq pq
Es el proceso por el cual una proposición
Disyunción Débil poq pq
escrita en el lenguaje natural es traducida a un
Disyunción Fuerte opoq pq
lenguaje simbólico. Para ello cada proposición
Condicional si p entonces q pq
se reemplaza por una variable proposicional ( p,
q, r, etc.) y el conector lógico por el operador Bicondicional p si y solo si q pq
correspondiente.
SIGNOS DE AGRUPACIÓN:
CARACTERÍSTICAS DEL LENGUAJE Son:
FORMALIZADO ( ) : paréntesis
a) Es simbólico [ ] : corchete
b) Es universal { } : llaves
c) Es convencional NOTA:
d) Es abstracto
1) El operador lógico de mayor jerarquía dentro
e) No es ambiguo
de un esquema molecular es aquel que esta
fuera o entre menos signos de agrupación.
ELEMENTOS DEL LENGUAJE
2) Cada esquema molecular tiene un nombre, el
FORMALIZADO
cual esta determinado por la constante lógica
Variables: Son símbolos que pueden ser utilizados
de mayor jerarquía
para reemplazar a cualquier fórmula o proposición,
de allí el nombre de variables. PASOS PARA FORMALIZAR:
Tenemos los siguientes tipos de variables: 1) Determinar las proposiciones simples que se
Variables Proposicionales: Son símbolos que encuentran en toda la expresión y
reemplazan a las proposiciones simples y para ello reemplazarlos con las variables
se utilizan las letras minúsculas a partir de la: preposicionales, cada proposición con una
p, q, r, s, .... variable.
2) Identificar las conjunciones gramaticales y los
Constantes: Llamado también operador o conectivo adverbios de negación para reemplazarlos por
lógico, son símbolos que reemplazan a los sus respectivas constantes.
conjunciones gramaticales y al adverbio de negación. 3) Jerarquizar las constantes lógicas, para ello
Se clasifican: debemos analizar los signos de agrupación y el
A) Monádicos: Cuando afecta a una variable o un sentido de la expresión.
esquema. Específicamente se trata de la
negación (). Recomendaciones
Ejemplos: I) La formalización debe ser literal (tal y como
* p (la negación afecta a la variable p) esta escrito no valen equivalencias)
* [(pq) (rs)] (la negación afecta a todo el Ejemplos:
esquema que esta dentro del corchete) - Es falso que Manuel no es millonario (p)
- La cucaracha y el tiburón comen cualquier
B) Diádicos: Cuando relaciona a dos variables o dos cosa
esquemas. En este rubro se encuentran todos pq
los demás operadores lógicos. II) Las expresiones lingüísticas de doble negación
Ejemplos (innegable, inobjetable, etc.)
* (pq) (El condicional “” relaciona a Se formaliza como tal
dos variables p, q) Ejemplo:
- Es innegable que los vertebrados son
* (pq) (pq) (La bicondicional “” reptiles
relaciona dos esquemas) p
III) Las negaciones por prefijos se formalizan
* p(qr) (La disyunción “” relaciona a Ejemplo: * Carmen es infeliz : p
un esquema y a una
OBSERVACIÓN
variable) Los términos:
5
Ni p ni q p q p q V V V
No p o no q p q p | q V F F
F V V
F F V
FUNCIÓN DE VERDAD: p q p q
V V V
Es la correspondencia que existe entre el V F V
conjunto de proposiciones y sus valores de F V F
verdad. F F V
A f B o La Disyunción Excluyente
p p q p q
q V V V F
V F V
r F V V
F
. F F F
.
COMBINACIÓN DE UNA O MAS
PROPOSICIONES o La Bicondicional
Obedece a la siguiente fórmula:
p q p q
Número de Combinaciones = 2 n
V V V
V F F
Donde: F V F
n = número de variables proposicionales F F V
DEFINICIÓN DE PROPOSICIONES
COMPUESTAS
o La Negación TAUTOLOGÍA
F F F
Cuando en el esquema molecular resultan
verdaderos y falsos.
o La Disyunción Incluyente
p q p q
V V V
V F V
F V V
F F F
o El Implicador
p q p q
6
PROBLEMAS PROPUESTOS
Practiquemos en el aula
6.- No ocurre 7.- El 8.- La tierra 9.-El que 10.-.El Perú posee
que, las aguas Huascarán se es un planeta llueva es una extensión de
de las encuentra en del sistema condición 1 285 215,60 km2
corriente la cordillera planetario suficiente P. Simple
peruana sean Oriental de solar. para obtener
calientes. los Andes o se P. Simple buenas
¬p encuentra en cosechas.
la cordillera P. Compuesta
Occidental. P→Q
P. Compuesta
PVQ
8
c. O bien el asma afecta a los pulmones o bien al corazón
c. 8+15=23.
e. El deporte es saludable.
9
a) Verónica y Claudia son contemporáneas
__________________
________
____________
_________
dilate______
_______________
j) ( p q)
p ���ګ p
p q
V V
V F
F V
F F
10
k) [ ( p ��q ) ��( p ��q)] ��q
p q
V V
V F
F V
F F
l) [ p �
( p� q)]
��ث [( p q) q]
A B
V V
V F
F V
F F
a) V b) F c) Tautología d) Contradicción e)
Contingencia
a) V b) F c) Tautología d) Contradicción e)
Contingencia
11
12. Si �p ��q es verdadera y ( p ٫� q ) ( p q ) también es
verdadera. ¿Cuales son los valores de verdad de p y q?
a) VV b) FF c) FV d) VF
( p �q ) �(r �s )
(s w) ( r p )
[T ( w p ) ] ( p r ) , (T es verdadero)
a) ( p q ) ( q p )
b) ( p q ) [ q ( r p ) ]
c) [ ( p q ) ( r q ) ] ( r p )
Bibliografía
12
6. FIGUEROA, Ricardo (2006): Matemática básica I, 9ª ed., Lima: RFG.
7. GÓMEZ, Pedro (1995): Matemática básica, México: Iberoamérica.
8. MEDINA, Mario (1987): Matemática 1000 problemas, Lima: San Marcos.
9. PINZÓN, Álvaro (1973): Conjuntos y estructuras, México: Harla, S.A. de
C.V.
10. POLYA, George (1965) Cómo plantear y resolver problemas , México D.F.:
Trillas.
11. SANTIVÁÑEZ, José (1988): Aritmética, Lima: Grafotécnica editores e
impresores.
12. SILVA, Mario (s/a): Aritmética. Teoría y Práctica, Perú: San Marcos.
13