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