Proposiciones y Conectores Logicos
Proposiciones y Conectores Logicos
Proposiciones y Conectores Logicos
Símbolos: AB;A.B;AB;AxB
Traducción Verbal: se lee
AyB
2
A incluso B
A pero B Símbolos: AB,A+B
A aunque B Traducción Verbal: se lee
A al igual que B AoB
A tal como B A a menos que B
A tanto como B a menos que A B
A también B A salvo que B
A así como B A y bien, o también B
A vemos que también B A excepto B
A al mismo tiempo que B A o incluso B
A sin embargo B A o a la vez B
A es compatible con B A ya bien B
A aún cuando B A y/o B
A del mismo modo B
A de la misma manera B
A no obstante B Disyuntiva excluyente
A empero B Se vincula a través del conector ”o ………o…….”
Tanto A como, cuanto B Ejemplo
Siempre ambos A con B O estas despierto o estas durmiendo.
A sino B
No sólo A sino también B Conector: ; ; , , , >-<
A asimismo B Formalización: p q
A a pesar de B
A a la vez B
EL DISYUNTOR EXCLUYENTE
A igualmente B
A de la misma manera B Símbolos: A B;A B; A B,
Sin que A tampoco B A>-<B; AB
Cierto que A lo mismo que B Traducción Verbal: se lee
Simultáneamente A con B
OAoB
O bien A o bien B
c) Disyuntiva A o B (en sentidos excluyentes)
Son aquellas proposiciones que se relacionan A o solamente B
mediante la conjunción disyuntiva “o” su A o únicamente B
expresión equivalente “u”. Pueden ser: A o solo B
A no es equivalente a B
Disyuntiva Incluyente No es equivalente A con B
Se vincula a través del conector …………... o A no biimplica a B
……………….
Ejemplo d) Condicional
Mónica es poeta o deportista Son aquellas proposiciones que se relacionan
mediante la conjunción condicional “si……
Conector: , + entonces……………” o sus expresiones
equivalentes.
Formalización: p q Ejemplo:
Si práctico deporte entonces tendré buen
estado físico.
La proposición condicional consta de dos
elementos, el antecedente y el consecuente.
EL DISYUNTOR INCLUYENTE
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.
b. ~q
c. pνq
d. pΛq
9
e. ~p→q
__________________
________
____________
_________
dilate______
_______________
j) p p q p
p q
V V
V F
F V
10
F F
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
a) VVV b) FFF c) VFV d) FVF e) FVV
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
5. CARRANZA, César (1993) Matemática básica, Lima: CONCYTEC.
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