Anuncio

Colapsar
No hay ningún anuncio todavía.

Rudimentos formales

Colapsar
X
 
  • Filtro
  • Hora
  • Mostrar
Borrar todo
nuevos mensajes

  • Rudimentos formales

    [FONT=Verdana]En lógica formal o matemática, como también en el lenguaje llano o coloquial, es bueno y aconsejable saber distinguir lo necesario de lo suficiente.

    Por propia experiencia sé, sin embargo, que pedirle a alguien que te defina sin mirar a hurtadillas el DRAE los conceptos de necesidad y suficiencia, o que al menos te señale en qué se diferencia lo necesario de lo suficiente, es pretensión, por no decir pasión, inútil.

    Por otro lado, en tiempos de crisis sistémica como estos que malvivimos, para desenvolvernos en sociedad y atraernos el favor de las más bellas damas (o, en su caso, de los más apuestos y velludos caballeros) de (con perdón) nuestro entorno social, deberíamos saber al dedillo que, así como hay cosas necesarias y suficientes, están también las necesarias que no son suficientes y las que, pese a ser suficientes, no son pese a todo necesarias.

    El asunto, quizá algunos lo recordéis, está relacionado con aquello del ‘si… entonces’, el ‘si y solo si’, con el ‘implica’ y con las flechas de uno y dos piquitos, -> y <->. Dicho en breve: con los así llamados enunciados condicionales.

    Si decimos 'p implica q', o bien 'si p entonces q', simbolizado

    p -> q,

    estamos diciendo que p es condición suficiente, aunque no necesaria (o sea, no la única condición), de q.

    Utilizando el signo de conjunción 'y' o 'Λ', podemos escribir así mismo abreviadamente

    (p -> q) Λ (q -> p) = si y solo si p entonces q, lo cual se simboliza con el llamado
    bicondicional:

    p <-> q

    [/FONT][FONT=Verdana]

    Ejercicio

    Sustituyendo las variables p y q por los correspondientes enunciados, pónganse casos concretos de expresiones que ejemplifiquen:

    -Una condición suficiente pero no necesaria.
    -Una condición necesaria pero no suficiente.
    -Una condición necesaria y suficiente.

    (Si el cocktail se sirve con unas gotitas de buen humor o mala uva, pies para qué os quiero, perdón, miel sobre hojuelas.)
    [/FONT]

  • #2
    Re: Rudimentos formales

    La verdad es que no se me ocurre ningún ejemplo con gracia o mala uva.

    Así que te pondré ejemplos sosos:

    1) Condición suficiente pero no necesaria:
    Para saber si una persona es mujer es suficiente con ver que está embarazada. Estar embarazada es una condición suficiente para ser mujer aunque evidentemente no es necesaria.
    2)Condicición necesaria pero no suficiente:
    Le damos la vuelta a 1) y decimos que para que una persona esté embarazada es condición necesaria que sea mujer, aunque evidentemente no es suficiente.
    3)Condición necesaria y suficiente:
    Siguiendo el ejemplo de la embarazada, y suponiendo que los test de embarazo son infalibles. El hecho de que el test de embarazo dé positivo es una condición necesaria y suficiente para que una persona esté embarazada.

    Bueno, mi imaginación no da para más por ahora...
    Saludos

    Escrito por Lemuel Ver mensaje
    [FONT=Verdana]En lógica formal o matemática, como también en el lenguaje llano o coloquial, es bueno y aconsejable saber distinguir lo necesario de lo suficiente.[/FONT]

    [FONT=Verdana]Por propia experiencia sé, sin embargo, que pedirle a alguien que te defina sin mirar a hurtadillas el DRAE los conceptos de necesidad y suficiencia, o que al menos te señale en qué se diferencia lo necesario de lo suficiente, es pretensión, por no decir pasión, inútil.[/FONT]

    [FONT=Verdana]Por otro lado, en tiempos de crisis sistémica como estos que malvivimos, para desenvolvernos en sociedad y atraernos el favor de las más bellas damas (o, en su caso, de los más apuestos y velludos caballeros) de (con perdón) nuestro entorno social, deberíamos saber al dedillo que, así como hay cosas necesarias y suficientes, están también las necesarias que no son suficientes y las que, pese a ser suficientes, no son pese a todo necesarias.[/FONT]

    [FONT=Verdana]El asunto, quizá algunos lo recordéis, está relacionado con aquello del ‘si… entonces’, el ‘si y solo si’, con el ‘implica’ y con las flechas de uno y dos piquitos, -> y <->. Dicho en breve: con los así llamados enunciados condicionales.[/FONT]

    [FONT=Verdana]Si decimos 'p implica q', o bien 'si p entonces q', simbolizado[/FONT]

    [FONT=Verdana]p -> q,[/FONT]

    [FONT=Verdana]estamos diciendo que p es condición suficiente, aunque no necesaria (o sea, no la única condición), de q.[/FONT]

    [FONT=Verdana]Utilizando el signo de conjunción 'y' o 'Λ', podemos escribir así mismo abreviadamente[/FONT]

    [FONT=Verdana](p -> q) Λ (q -> p) = si y solo si p entonces q, lo cual se simboliza con el llamado [/FONT]
    [FONT=Verdana]bicondicional:[/FONT]

    [FONT=Verdana]p <-> q[/FONT]



    [FONT=Verdana]Ejercicio[/FONT]

    [FONT=Verdana]Sustituyendo las variables p y q por los correspondientes enunciados, pónganse casos concretos de expresiones que ejemplifiquen:[/FONT]

    [FONT=Verdana]-Una condición suficiente pero no necesaria.[/FONT]
    [FONT=Verdana]-Una condición necesaria pero no suficiente.[/FONT]
    [FONT=Verdana]-Una condición necesaria y suficiente.[/FONT]

    [FONT=Verdana](Si el cocktail se sirve con unas gotitas de buen humor o mala uva, pies para qué os quiero, perdón, miel sobre hojuelas.) [/FONT]
    sigpic

    Comentario


    • #3
      Re: Rudimentos formales

      He aquí algunas expresiones que servirían:

      - 1. Condición suficiente pero no necesaria.

      Si tienes 26 años, eres veinteañero.

      (No es necesaria porqque te bastaría con haber cumplido 20 y tener menos de 30.)

      -Condición necesaria pero no suficiente.

      Si has cumplido los 20, ya eres veinteañero.

      (No es suficiente porque, además de cumplir los 20, tendrías que no haber cumplido aún los 30.)

      -Condición necesaria y suficiente.

      Si has cumplido los 20 años pero aún no has llegado a los 30, eres un veinteañero.

      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

      Con cierta mala uva, o solo con humor (mit humor, como indicaba el genial pero algo locatis Schumann en algunas de sus minimalistas Davidsbundlertanze), he aquí otros ejemplos:

      -Condición suficiente pero no necesaria.

      Si formas parte del gobierno Rodríguez, mientes más que rajas.

      (No sería preciso que formases parte del gobierno, te bastaría con ser solo un digno miembro de la dirección del PPSOE.)

      -Condición necesaria pero no suficiente.

      Si tu jefe es Herr Rubalcaba, eres un consumado artista interrogando hábilmente a los abertzales del entorno.

      (No te bastaría con ser un subordinado de Herr Rubalcaba, además tendrías que disponer también de los medios técnicos imprescindibles.)

      -Condición necesaria y suficiente.

      Si trabajas para Herr Rubalcaba y dispones de las adecuadas herramientas o instrumental adecuado, eres un consumado artista interrogando hábilmente a los abertzales del entorno.

      (Entonces sí.)

      Comentario


      • #4
        Re: Rudimentos formales

        El post anterior es mío, o sea, de Lemuel.

        Comentario

        Contenido relacionado

        Colapsar

        Trabajando...
        X