Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 55 vistas

    Diapositivas de Logica

    Cargado por

    Melanie Moreno
    El documento presenta el sistema de lógica de Nicod, el cual reduce el número de proposiciones primitivas basándose en solo tres principios: dos no formales y uno formal. Este sistema utiliza cinco símbolos proposicionales y una regla recursiva para formar fórmulas. El único operador es el conectivo "|", el cual representa una binegación disyuntiva u operador de incompatibilidad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Diapositivas de Logica

    Cargado por

    Melanie Moreno
    55 vistas15 páginas
    El documento presenta el sistema de lógica de Nicod, el cual reduce el número de proposiciones primitivas basándose en solo tres principios: dos no formales y uno formal. Este sistema utiliza cinco símbolos proposicionales y una regla recursiva para formar fórmulas. El único operador es el conectivo "|", el cual representa una binegación disyuntiva u operador de incompatibilidad.

    Descripción original:

    Hh

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta el sistema de lógica de Nicod, el cual reduce el número de proposiciones primitivas basándose en solo tres principios: dos no formales y uno formal. Este sistema utiliza cinco símbolos proposicionales y una regla recursiva para formar fórmulas. El único operador es el conectivo "|", el cual representa una binegación disyuntiva u operador de incompatibilidad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    55 vistas15 páginas

    Diapositivas de Logica

    Cargado por

    Melanie Moreno
    El documento presenta el sistema de lógica de Nicod, el cual reduce el número de proposiciones primitivas basándose en solo tres principios: dos no formales y uno formal. Este sistema utiliza cinco símbolos proposicionales y una regla recursiva para formar fórmulas. El único operador es el conectivo "|", el cual representa una binegación disyuntiva u operador de incompatibilidad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 15

    SISTEMA DE NICOD

    UNIVERSIDAD NACIONAL SANTIAGO ANTÚNEZ DE MAYOLO

    Integrantes:
    ● Castañeda Silva Stefany Yanet
    ● Gonzales Mendoza Yessika
    Andrea
    ● Moreno Mejía Melanie Astrid
    ● Nuñez Casilla Scarlet Eunice
    ● Ponce Anaya Evelin Tatiana
    INTRODUCCIÓN
    Al referimos a “sistemas alternativos de lógica” esta se entiende en tres sentidos
    diferentes. Son paralelas a los “sistemas alternativos de geometría”, en primer
    sentido podemos hablar de la geometría plana euclidiana y la geometría del
    espacio euclidiana como sistemas alternativos.
    En un segundo sentido hablaremos de la geometría euclidiana y la riemanniana (o
    lobachevskiana) como sistemas alternativos.
    En el tercer sentido hablaremos sobre los sistemas alternativos de geometría en el
    que se suponen diferentes bases axiomáticas de las cuales, sin embargo, se
    deducen idénticamente los mismos teoremas.En sistemas alternativos de esta
    clase, se toman términos diferentes como términos indefinidos o primitivos y se
    suponen diversas fórmulas como axiomas o postulados.
    ¿QUÉ ES EL SISTEMA DE
    NICOD?
    Es un sistema que reduce el número de
    proposiciones primitivas de la lógica, basando
    toda la teoría de la reducción en solo tres
    principios, uno formal y dos no formales; pues
    solo requiere de dos cláusulas y un único símbolo
    operador .
    SISTEMA DE JEAN NICOD

    Este sistema está representada por cinco símbolos


    proposicionales P, Q, R, S, T. La regla recursiva
    para las fórmulas en el este sistema se puede
    enunciar como:
    1. Toda letra del sistema N es una wff
    2. Si P y Q son wff entonces (P) (Q)es una wff
    EL USO DE PUNTOS COMO
    CORCHETES
    Usaremos tres clases de signos de puntuación en
    nuestro lenguaje lógico: los paréntesis, los
    corchetes y las llaves
    PARÉNTESIS
    .
    CORCHETES
    :
    LLAVES
    :.
    LOS OPERADORES RAYA Y
    DAGA
    CONECTIVO OPERACIÓN SIMBOLIZACIÓN LENGUAJE
    LÓGICO LÓGICA ORDINARIO

    “|” Binegación PQ No P o No Q
    Disyuntiva

    El único símbolo operador de este sistema tiene las características siguientes:

    El conectivo lógico “|” es un operador para la “Binegación disyuntiva”, también se le llama “negación alternativa”,
    o “incompatibilidad”
    TEOREMAS DEL SISTEMA DE NICOD
    EJERCICIOS
    RESOLUCIÓN

    También podría gustarte