UNIVERSIDAD CATÓLICA DE

TRUJILLO

CURSO:
MATEMÁTICA Y LÓGICA

PROFESORA:
MEDINA MATEU LUIS ELVERT

TEMA:
REPLICADOR, DAGA DE SHEFFER
Y LA BARRA DE NICOD

NOMBRE:
MIGUEL FÉLIX MORENO AGUIRRE

FECHA:
Trujillo, 20 de Julio 2020
1. REPLICADOR:
El replicador es la proposición molecular que presenta en orden invertido antecedente y
consecuente, con respecto a la proposición condicional: “Consecuente… si Antecedente”. En
símbolos q ← p (replicador), donde p es antecedente, q es consecuente y ← es el conectivo
lógico, llamado “replicador”.
p q p←q
V V V
V F V
F V F
F F V

Regla: Sólo es falsa, cuando el antecedente es falso y el consecuente es verdadero.

En todos los demás casos es verdadera.

Formalidad:
 A sólo cuando B  A solo si B
 A porque B  A para B
 A si B  A pero si B
 A se concluye de B  A suficiente que B
 A siempre que B  A es implicado por B
 A cada vez que B  A con tal de que B
 A dado que B  A es condición necesaria para B
 A ya que B  A con la condición de que B
 A puesto que B  Sólo si A, B
 A en vista de que B  Cada vez A, B
 A pues B  Es condición necesaria A para B

Ejemplo:

 Toledo será presidente siempre que (si) al postular gane las elecciones.
 Habrá ingresantes dado que (si) hubieron postulantes.

2. DAGA DE SCHEFFER:
Es la proposición compuesta que presenta el conectivo lógico binario ↓, para realizar la
operación lógica p ↓q, denominada “Negación Conjuntiva” que significa “ni...ni…”
Vincula dos proposiciones negadas, cuya forma p ↓q es equivalente a la forma ⌐p↓⌐q,
que son dos proposiciones negadas, enlazadas por el conectivo lógico ^.

p q p ↓q
V V F
V F F
F V F
F F V
 Regla:
Sólo es verdadera, cuando ambas proposiciones son falsas. En los demás casos es falsa.

Formalidad:
 No A y no B
 No A, ni B
 Ni A, ni B
Ejemplos:

 En el Perú ni hay trabajo, ni hay justicia

 Ni trabajas ni estudias
 Ni cantas ni bailas.

3. LA BARRA DE NICOD:

Es la proposición compuesta que presenta el conectivo lógico binario (diádico) “ I”. El

conectivo lógico binario “I” es utilizado para realizar la operación lógica denominada
Negación alternativa o Binegación disyuntiva o incompatibilidad, denotada por el símbolo:

p I q, se lee “no p o no q.

p q p Iq
V V F
V F V
F V V
F F V

Regla:
Sólo es falsa, cuando ambas proposiciones atómicas son verdaderas. En los demás casos es
verdadera.

Formalidad:
 No A excepto que no B.
 A es incompatible con B.
 No A a menos que no B.
Ejemplo:

 No comentes o no respondo de mi sentido.

 Los cetáceos no respiran por branquias o no son aéreos.