Beruflich Dokumente
Kultur Dokumente
FORMALIZACION
3. SIGNOS DE AGRUPACIÓN
La simbolización de proposiciones consiste en la
representación del lenguaje ordinario mediante el
lenguaje artificial (convencional). Formalizar, significa
Se utilizan para agrupar a las variables y
reemplazar cada proposición por una variable y cada operadores así como, darles jerarquía. Son los
conectivo (término de enlace) o modificador (la siguientes:
negación) por un operador lógico, todo ello * Paréntesis ( )
correctamente jerarquizado mediante signos de * Corchetes [ ]
agrupación. * Llaves {}
* Barras | |
1. VARIABLES
A. JERARQUIZACIÓN
Se utilizan para representar a las proposiciones
simples. Son las letras minúsculas: p, q, r, s, t,....., Jerarquizar significa agrupar las variables y los
etc. operadores dentro de los signos de colección,
Ejemplo: llamados también de agrupación.
J u a n Pa blo es co m po sito r.
Para jerarquizar hay que tener en cuenta los
p siguientes requisitos:
Ro sa rio e s em p resa ria a sí co m o estud ia nte un iversita ria .
A v B, A + B
AoB
Fórmula: q p A salvo que B (2 posibilidades)
Nombre: Fórmula condicional inverso A menos que A, B (2 posibilidades)
A a menos que B (2 posibilidades)
5. JERARQUIZACIÓN DE FÓRMULAS A o también B
A excepto que B (2 posibilidades)
En cualquier fórmula lógica, el operador que A a menos que también B
tiene mayor jerarquía es aquel operador diádico A excepto que a la vez B
fuera o en la parte más externa de los signos de A salvo que incluso B, etc.
agrupación (divide a la fórmula en dos) o en todo
caso la negación libre. 1.4. DISYUNTOR FUERTE O EXCLUYENTE:
Ejemplo 10:
A B, A B, A >----< B, A v B, A B, A B
OAoB
O bien A o bien B
A o B (en sentido excluyente)
A o sólo B
A o únicamente B
A no equivale a B
A o necesariamente B, etc.
1. TRADUCCIONES VERBALES:
1.5. EL IMPLICADOR: A B, A B, A B
1.1. EL NEGADOR: A, ¬ A, - A, A
Si A entonces B
Cuando A así pues B
INSTITUCIÓN EDUCATIVA “NIÑO DIOS”