Scribd
Cargar
106 vistas3 páginas

Conectivos Lógicos y Reglas de Inferencia

Este documento presenta tablas y leyes lógicas sobre conectivos lógicos como conjunción, disyunción, implicación y negación. También describe reglas de inferencia como modus ponens, modus tollens y silogismos. Finalmente, presenta reglas de inferencia en el cálculo de predicados como especificación y generalización universal y existencial.

Cargado por

hello
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
106 vistas3 páginas

Conectivos Lógicos y Reglas de Inferencia

Este documento presenta tablas y leyes lógicas sobre conectivos lógicos como conjunción, disyunción, implicación y negación. También describe reglas de inferencia como modus ponens, modus tollens y silogismos. Finalmente, presenta reglas de inferencia en el cálculo de predicados como especificación y generalización universal y existencial.

Cargado por

hello
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

ESCUELA UNIVERSITARIA DE INGENIERA

CARRERA DE INGENIERA DE SISTEMAS


ASIGNATURA : Estructuras Discretas de Computacin.
PERIODO ACADMICO : 2017-1

TABLA DE LOS CONECTIVOS LGICOS

CONJUNCIN () DISYUNCIN () IMPLICANCIA ()


V V V V V V V V V
V F F V F V V F F
F V F F V V F V V
F F F F F F F F V

BICONDICIONAL () NEGACIN ()


V V V V F
V F F F V
F V F
F F V

LEYES LGICAS
(EQUIVALENCIAS LOGICAS)

1. Doble Negacin
p ~ (~ p)

2. Conmutativas
(p v q) ( q v p ) (p q) ( q p ) (p q) ( q p )

3. Asociativas
[ (p q) r ] [p (q r)] [ ( p v q ) v r ] [p v (q v r)]

4. Distributivas
[ p v (q r )] [ ( p v q ) ( p v r) ]

[ p (q v r) ] [ ( p q ) v ( p r ) ]

5. Idempotencia
(pvp) p (pp) p

6. Identidad
(pvC) p (pvT) T

(pC)C (pT) p

(pv~p)T ( p ~ p ) C donde : C=F T=V


7. De Morgan
~ ( p v q ) (~ p ~ q ) ~ ( p q ) (~ p v ~ q )

( p v q ) ~ (~ p ~ q ) ( p q ) ~ (~ p v ~ q )

8. Contrapositiva
(pq) (~q~p)

9. Implicacin
(pq) (~pvq) (pq) ~(p ~q)

10. Equivalencia
(pq) (pq)(qp)

11. Reduccin al Absurdo


[~ p (q ~ q)] p

12. Absorcin
pv(p q) p p(pvq) p

p v (~ p q ) p v q p (~ p v q ) p q

REGLAS DE INFERENCIA

IMPLICACIN FORMA CONDICIONAL FORMA


ESQUEMTICA

1. Adicin P

2. Simplificacin { }

3. Conjuncin


4. Modus Ponens (MP) {{ } }


5. Modus Tollens (MT) {{ } ~} ~
~
~
6. Silogismo Disyuntivo (SD) {{ } ~}
~

6. Silogismo Hipottico (SH) {{ } ( )} ( )


REGLAS DE INFERENCIA EN EL CLCULO
DE PREDICADOS

1.- ESPECIFICACIN UNIVERSAL


()
()
Donde es un elemento arbitrario (o cualesquiera) del Universo.

2.- GENERALIZACIN UNIVERSAL


( )
()
Donde es un elemento arbitrario (cualesquiera) del Universo.

3.- ESPECIFICACIN EXISTENCIAL


( )
()
Donde es un elemento especifico del Universo.

4.- GENERALIZACION EXISTENCIAL


( )
()
Donde es un elemento especifico del Universo.

También podría gustarte