VIERNES 2/3

Hoy hemos hablado del lenguaje formal
El lenguaje formal es una herramienta de análisis en la que se procura evitar ambigüedades  y palabras con varios sentidos
Nos hemos centrado en la lógica proposicional.El lenguaje consta de signos que representan proposiciones.Los representamos con letras minúsculas que van en orden  alfabético empezando por la p , cuando da una vuelta completa se escribe p<sub>2 
los signos que representan las proposiciones son los siguiente:


          nombre                 signo                  se lee                                               ejemplo</sub> 

       _conjuntor                                         y               Esta lloviendo y esta nublado

          

     disyuntiva                                   o                     está lloviendo o esta soleado

     _condicional                              si/entonces    si está soleado entonces es de día 

    bicondicional                             si y sólo si    Está nublado si y solo si ai nubes visibles

    negación                                           no             no está lloviendo

También nos hace falta signos auxiliares (para separar) empleamos paréntesis y corchetes 

Las reglas son las siguientes:

-Tosa proposición atómica es un enunciado bien formado (ebf)

-Si X(en mayuscula porque no es prop) es un ebf entonces  ¬ X también lo es 

-Si XeY son ebf entonces XY también lo es

-Si XeY son ebf  entonces XY también lo es 

-Si XeY son  ebf entonces XY también lo es 

-Si XeY son ebf entonces XY también lo es 

tambiën aprendimos a formalizar que es pasar a la forma formal por ejemplo 

SI no entiendo para que sirve la logica,O me esfuerzo en concentrarme O me aburro 

p= si no entiendo para que sirve la 

q= me esfuerzo en concentrarme

r= me aburro

p(qr)

MIGUEL CALSINA YÁÑEZ