jueves, 10 de abril de 2014

Lóxica de enunciados: formalización

1. Enunciados o proposicións
A lóxica de declaracións ou proposicións é o nivel máis básico de análise lóxica. As relacións que existen entre as declaracións ou proposicións son analizadas; É, polo tanto, un interproposicional lóxico non intraproposicional. Este nivel é simbolizada nas mesmas proposicións de contidos maneira ou declaracións tan diferentes como "agora a chover", "días de choiva" ou "todos os días chove." 

¿Que é un ou enunciando unha proposición? A sentenza declarativa que é certo ou falso. As demostracións dicir cousas e, en consecuencia, pode ser certa ou falsa. Hai expresións lingüísticas frases interrogativas, exclamativas ou imperativas. 


As declaracións ou proposicións poden ser atómicas ou simple, que non pode ser descomposto noutros; e molecular ou complexo, aqueles que poden ser descompostas.




2. Elementos da lóxica de enunciados ou proposicional
A linguaxe ou vocabulario da lóxica proposicional ou conxunto ten tres tipos de elementos ou símbolos: variables, constantes e auxiliares.
2.1 Variables
Variable ou variables proposicional son os símbolos que substitúen as proposicións ou declaracións. Son chamados de variables, pois o seu significado está cambiando en diferentes argumentos ou palabras clave. 
Eles acordaron cinco variables como símbolos ou letras: p, q, r, s, t. Se fai máis variables ausentes, camiñando subscritos: 

Unha variable, como p pode simbolizar "a Terra é un planeta" ou "Todos os planetas xiran arredor do Sol" ou calquera outra proposta. Por iso, sempre é necesario, para indicar que a proposta é simbolizada coa variable. Así, p = A Terra é un planeta.
2.2 Constantes
Constantes proposicionais ou conectores son partículas non volátiles que significa que teñen a función de modificar , declaracións atómicas relacionar ou conectar converténdose os complexos. Os máis comúns son a negación, conxunción , disjunção , condicional e bicondicional .

Disyunción: ¬ . (Tamén : -, ~)
Representa non lingüística ou calquera outras partículas incluíndo partículas idea de negación. Por exemplo: non é o caso , iso non acontece , ou, etc. Tamén prefixos que indican esa idea como imposible.

Así, a formalización de "A Lúa non ten satélites, " ser ¬ p; Tendo definido " A lúa ten satélites" coa letra p.

Conxunción : U. (Tamén : · , e)
Representa a partícula para calquera outra lingua que indica a idea de unirse , así como , tamén , pero.

Así, a formalización de " Marte e Xúpiter ten satélites tamén" , considerando " Marte ten satélites " = p " Xúpiter ten satélites " = q será p u q.

Disyunción : u.
Da lingüística ou partícula. Debe notarse que esta partícula ten dous significados : un incluidas e unha exclusivos. Equivalente no sentido inclusivo e / ou que sexa, o que inclúe a verdade das dúas declaracións de disjunção ou só un dos dous. O sentido orixinal expresa a idea de que a realidade dun individuo é incompatible coa realidade do outro , ou un ou outro , pero non ambos. O sentido incluida é que , en xeral, adoptan a lóxica.

Así, a formalización "Vostede aprende escoitando clase lóxica ou estudando ", sendo "Vostede aprende escoitando clase lóxica " = p = q " Aprende estudante lóxica " será p Ú q.

® condicional. (Tamén : É )
Representa partículas idioma se ... entón ... ou calquera outra idea que indican a condición, como se ... entón ... , entón, ou un simple "comer ". A partícula ou equivalente , en seguida, separa o antecedente do consecuente .

Así, a formalización de "Se chover , así que o chan está mollado ", con p simbolizando " chovendo " q : "A terra está mollada ", p q vai ®.

Bicondicional ". (Tamén : º)
Representa partículas IFF lingua ... ou calquera outra condición que indica dobre como equivalentes cando e só cando , só. É unha condición necesaria e suficiente.

Así, a formalización "é noite, se e só se , o sol ten post" con p simbolizando "É noite" q " despois de que o sol foi " ser p « q.
2.3 Símbolos auxiliares
Símbolos auxiliares ou parénteses que non teñen ningún significado lóxico, pero que se usan a fin de aclarar a comprensión dos enunciados. Os símbolos auxiliares entre parénteses (...) e corchetes [...] evitar ambigüidades e facilitar a lectura. 

Parénteses e corchetes moleculares aclarar a seguinte declaración: "Si [(cantar e beber) ou (bailar e comer)], polo que non pode facer nada diso dereito."



3. Reglas de formación de fórmulas
As constantes proposicionais e auxiliares, ou variables, símbolos linguaxe lóxica non pode ser ingresaran de forma algunha. Nin toda a fala é recoñecida como unha fórmula ben feitas. Unha fórmula é unha secuencia ordenada de símbolos. 
A fórmula é unha fórmula ben formada (FBF) se se enmarca en calquera das seguintes cláusulas: 
    1) Unha variable proposicional é unha FBF. 
    2) Unha FBF precedida por unha negación é unha FBF. 
    3) seguido por un ou outro constantes WFF, seguido por unha wff, facendo bo uso dos soportes é unha wff. 

Entón, para non cumprir a segunda cláusula ¬ p non é unha FBF; e non cumprir o terceiro, non é un pq FBF ® ou PQU.

4. Exercicios interactivos de formalización
Se entende as seccións enriba sobre formalización teórica de declaracións ou proposicións, pode ir para a práctica das súas habilidades. Ten un conxunto de exercicios de dificultade crecente. 

 - Exercicio con só dúas variables 

-  Con tres declaracións ou proposicións 

-  Só tres variables 

-  Con catro variables ou declaracións 

-  Frases coñecidas 


-  Son equivalentes?


No hay comentarios:

Publicar un comentario