Professional Documents
Culture Documents
PRACTICA CALIFICADA Nº 02: CLASIFICACION DE LAS PROPOSICIONES LOGICAS PRACTICA CALIFICADA Nº 02: CLASIFICACION DE LAS PROPOSICIONES LOGICAS
e) Condicional o Implicador: Son aquellas proposiciones Consecuente y antecedente van en ese orden
que se relacionan mediante la conjunción condicional respectivo.
“si…… entonces……………” o sus expresiones EL BIIMPLICADOR
equivalentes. Ejemplo
Símbolos: A B, A B
Ejemplo: iré de vacaciones siempre que acabe con el trabajo Traducción Verbal: se lee
C A A si y solo si B
Si práctico deporte entonces tendré buen estado Conector: ; A siempre y cuando B
físico. A se define lógicamente como B
Formalización: p q A es equivalente, equivale B
La proposición condicional consta de dos elementos:. A por lo cual mismo que B
A si de la misma forma B
Antecedente y consecuente van en ese orden
EL REPLICADOR A es idéntica a B
respectivo. A es igualmente (es igual,
Símbolos: A B; A B; B entonces )B
Ejemplo A cada vez que y sólo si B
A
Traducción Verbal: se lee A es equipotente a B
Si te vas entonces estaré triste.
A es condición necesaria y
Sólo si A B
A C suficiente para B
A si B
A porque B A siempre que y solo cuando B
Conector: ; ;
A siempre que B
Es condición necesaria A para
Formalización: p q
B
EL IMPLICADOR A para B
Para A es suficiente B
Símbolos: A B; A B; A B
A puesto que B
Traducción Verbal: se lee
A dado que B
Si A entonces B
A supone que B
Siempre que A por consiguiente B
A pues B
Ya que A bien se ve que B
A en vista que B, etc.
Con tal que A es obvio que B
Cuando A así pues B
Toda vez que A en consecuencia B
Ya que A es evidente B g) Bicondicional o Biimplicador
De A deviene B Son aquellas proposiciones que se relacionan mediante
De A derivamos B la conjunción compuesta “si y sólo si” o sus
A implica B expresiones equivalentes.
Como quiera que A por lo cual B
En el caso de que A en tal sentido B Ejemplo:
Una condición necesaria .para A es B
A es condición suficiente para B La pera es dulce si y sólo si está madura.
A sólo si B
De A deducimos (inferimos, concluimos,
Conector: ,
llegamos) en B, etc.
I.E. JUAN IGNACIO GUTIERREZ AREA: MATEMATICA 5º
incompatibilidad absoluta entre el desarrollo tecnológico, el avance
PRACTICA CALIFICADA Nº 03: PROPOSICIONES COMPUESTAS
de la civilización y el mantenimiento del equilibrio ecológico, pero es
NOMBRES Y APELLIDOS:………………………………………………DOCENTE: Paola Julca V. importante que el hombre sepa armonizarlos. Para ello es necesario
1. Analiza los siguientes párrafos o argumentos, descomponlos en sus que proteja los recursos renovables y no renovables y que tome
proposiciones simples e identifica los conectores lógicos conciencia de que el saneamiento del ambiente es fundamental para
violación a niños menores de edad, las personas que cometen este 3. Son proposiciones biimplicativas:
delito serian sentenciadas a pena de muerte. Pero las personas 1) Hay vientos huracanados sólo si hay desnutrición.
que cometen violación a niños menores de edad no son 2) Recordar equivale a vivir.
sentenciados a pena de muerte, salvo que la pena de muerte se 3) Un matrimonio será feliz si y sólo si hay comprensión conyugal.
implante en el Perú por este delito. 4) Comprar un auto nuevo es condición suficiente y necesaria para
b. Si Lima no es la capital del Perú y Buenos Aires es la conseguir trabajo estable.
capital de Bolivia, entonces ambas no son capitales de Chile. 5) Siempre que un motor de explosión tenga mayor potencia luego
c. O bien el asma afecta a los pulmones o bien al es porque funciona con gasolina de mayor octanaje.
corazón y a los huesos; pero no es el caso que afecta al corazón Son ciertas: a) 3y4 b) 3y5 c) 1,3,4,5 d) 3,4,5 e) Todas
del mismo modo a los pulmones.
d. Thales de Mileto fue matemático tal como filósofo. 4. Diga cual(es) son proposiciones condicionales.
a) No sólo hay deuda también hay pobreza.
Calvino fue protestante si y solamente si no se sometió a la
ortodoxia católica. En consecuencia Thales fue matemático salvo b) Es inadmisible que la vaca no es herbívoro ni mamífero.
c) Dante no es rico pero es feliz.
que también Calvino fue protestante.
2. En el siguiente párrafo, identifica las proposiciones compuestas y d) Si hay motivación, hay aprendizaje.
e) Es falso que los precios no suben todos los días.
conectores lógicos:
El progreso tecnológico y el acelerado crecimiento demográfico, f) No es verdad que el etanol no sea un alcohol.
FORMALIZACION DE PROPOSICIONES
SIGNOS DE AGRUPACIÓN:
Definición: Son:
Es el proceso por el cual una proposición escrita en el lenguaje natural es traducida a un ( ) : paréntesis
lenguaje simbólico. Para ello cada proposición se reemplaza por una variable [ ] : corchete
proposicional ( p, q, r, etc.) y el conector lógico por el operador correspondiente. { } : llaves
NOTA:
CARACTERÍSTICAS DEL LENGUAJE FORMALIZADO 1) El operador lógico de mayor jerarquía dentro de un esquema molecular es aquel que
a) Es simbólico esta fuera o entre menos signos de agrupación.
b) Es universal 2) Cada esquema molecular tiene un nombre, el cual está determinado por la constante
c) Es convencional lógica de mayor jerarquía
d) Es abstracto
e) No es ambiguo PASOS PARA FORMALIZAR:
ELEMENTOS DEL LENGUAJE FORMALIZADO 1) Determinar las proposiciones simples que se encuentran en toda la expresión y
Variables: Son símbolos que pueden ser utilizados para reemplazar a cualquier fórmula o reemplazarlos con las variables preposicionales, cada proposición con una variable.
proposición, de allí el nombre de variables. 2) Identificar las conjunciones gramaticales y los adverbios de negación para reemplazarlos
Tenemos los siguientes tipos de variables: por sus respectivas constantes.
Variables Proposicionales: Son símbolos que reemplazan a las proposiciones simples y para 3) Jerarquizar las constantes lógicas, para ello debemos analizar los signos de agrupación y el
ello se utilizan las letras minúsculas a partir de la: sentido de la expresión.
p, q, r, s, .
Constantes: Llamado también operador o conectivo lógico, son símbolos que reemplazan a Recomendaciones
los conjunciones gramaticales y al adverbio de negación. Se clasifican: I) La formalización debe ser literal (tal y como está escrito no valen equivalencias)
A) Monádicos: Cuando afecta a una variable o un esquema. Específicamente se trata de la Ejemplos:
negación (). - Es falso que Manuel no es millonario (p)
Ejemplos: - La cucaracha y el tiburón comen cualquier cosa
* p (la negación afecta a la variable p) pq
* [(pq) (rs)] (la negación afecta a todo el esquema que esta dentro del corchete) II) Las expresiones lingüísticas de doble negación (innegable, inobjetable, etc.)
B) Diádicos: Cuando relaciona a dos variables o dos esquemas. En este rubro se encuentran Se formaliza como tal
todos los demás operadores lógicos. Ejemplo:
Ejemplos - Es innegable que los vertebrados son reptiles
* (pq) (El condicional “” relaciona a dos variables p, q) p
III) Las negaciones por prefijos se formalizan
* (pq) (pq) (La bicondicional “” relaciona dos esquemas) Ejemplo: * Carmen es infeliz : p