LGEBRA Y MATEMTICA DISCRETA

LGICA PROPOSICIONAL

TEMA 1 LGICA PROPOSICIONAL

1.1. Definiciones bsicas 1.2. Operaciones lgicas y tablas de verdad 1.3. Implicacin y equivalencia lgicas 1.4. Mtodos lgicos de demostracin

1.1

DEFINICIONES BSICAS

1.1

DEFINICIONES BSICAS

Trmino cada una de las partes que constituyen un enunciado o discurso Trminos categoremticos tienen significado propio e independiente Trminos sincategoremticos se utilizan para enlazar y modificar los trminos categoremticos

Proposicin lgica agrupacin de trminos de la que se puede afirmar si su contenido es cierto o falso.

1.1

DEFINICIONES BSICAS

1.1

DEFINICIONES BSICAS

Proposicin atmica no se puede descomponer en partes que sean a su vez proposiciones y est en afirmativo. Proposicin molecular formada por una o ms proposiciones atmicas modificadas o enlazadas por trminos sincategoremticos.

Conectores proposicionales trminos sincategoremticos que se utilizan para modificar o enlazar proposiciones.

1.1

DEFINICIONES BSICAS

1.1

DEFINICIONES BSICAS

Conectores Proposicionales Mondicos se aplican a una sola proposicin Negacin (no...)

Conectores Proposicionales Didicos se aplican a dos proposiciones Conjuncin Disyuncin no exclusiva Disyuncin exclusiva Condicional Bicondicional (...y...) (...o...) (o...o...) (si...entonces...) (...si y slo si...)

1.1

DEFINICIONES BSICAS

1.1

DEFINICIONES BSICAS

Variable Proposicional smbolo que sustituye a una proposicin atmica.

Signo conectivo o constante lgica smbolo que sustituye a un conector proposicional. negacin conjuncin disyuncin no exclusiva disyuncin exclusiva condicional o implicador bicondicional o coimplicador

1.1

DEFINICIONES BSICAS

1.2

OPERACIONES LGICAS Y TABLAS DE VERDAD

NEGACIN
Frmula lgica Expresin simblica que sustituye a una proposicin molecular

p 0 1

p 1 0

1.2

OPERACIONES LGICAS Y TABLAS DE VERDAD

1.2

OPERACIONES LGICAS Y TABLAS DE VERDAD

CONJUNCIN p 0 0 1 1 q 0 1 0 1 pq 0 0 0 1

DISYUNCIN NO EXCLUSIVA p 0 0 1 1 q 0 1 0 1 pq 0 1 1 1

1.2

OPERACIONES LGICAS Y TABLAS DE VERDAD

1.2

OPERACIONES LGICAS Y TABLAS DE VERDAD

DISYUNCIN EXCLUSIVA p 0 0 1 1 q 0 1 0 1 pq 0 1 1 0

CONDICIONAL p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1

1.2

OPERACIONES LGICAS Y TABLAS DE VERDAD

1.3

IMPLICACIN Y EQUIVALENCIA LGICAS

BICONDICIONAL p 0 0 1 1 q 0 1 0 1 pq 1 0 0 1
PROPOSICIONES TAUTOLOGAS CONTRADICCIONES PROPOSICIONES CONTINGENTES

1.3

IMPLICACIN Y EQUIVALENCIA LGICAS

1.3

IMPLICACIN Y EQUIVALENCIA LGICAS

EQUIVALENCIA LGICA AB AB es tautologa IMPLICACIN LGICA AB AB es tautologa

SUFICIENCIA DE LA NEGACIN Y LA DISYUNCIN

pq pq pq pq

(pq) pq (pq)(pq) ((pq)(pq))

1.3

IMPLICACIN Y EQUIVALENCIA LGICAS

1.3

IMPLICACIN Y EQUIVALENCIA LGICAS

p 0 0 1 1

q 0 1 0 1

p q pq pq 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0

(pq) 0 0 0 1

pq(pq) 1 1 1 1

1.3

IMPLICACIN Y EQUIVALENCIA LGICAS

1.4

MTODOS LGICOS DE DEMOSTRACIN

p 0 0 1 1

q 0 1 0 1

p 1 1 0 0

pq 1 1 0 1

pq 1 1 0 1

pqpq 1 1 1 1

REGLAS BSICAS DE INFERENCIA

1.4

MTODOS LGICOS DE DEMOSTRACIN CONJUNCIN INTRODUCCIN A B AB ELIMINACIN AB AB

1.4

MTODOS LGICOS DE DEMOSTRACIN DISYUNCIN INTRODUCCIN A AB B AB ELIMINACIN AB A C B C C

producto

simplificacin adicin prueba por casos

1.4

MTODOS LGICOS DE DEMOSTRACIN NEGACIN INTRODUCCIN A B B A absurdo ELIMINACIN A

1.4

MTODOS LGICOS DE DEMOSTRACIN CONDICIONAL INTRODUCCIN A B AB ELIMINACIN AB A B

A doble negacin

teorema de deduccin

modus ponens

1.4

MTODOS LGICOS DE DEMOSTRACIN BICONDICIONAL INTRODUCCIN AB BA AB AB BA ELIMINACIN AB AB

1.4

MTODOS LGICOS DE DEMOSTRACIN

REGLAS DE INFERENCIA DERIVADAS

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

SILOGISMO HIPOTTICO

MUTACIN DE PREMISAS A (B C) B (A C)

AB BC AC

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

IDENTIDAD

CARGA DE PREMISAS

A A

A B A

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

PROPIEDAD ASOCIATIVA PROPIEDAD CONMUTATIVA AB BA AB BA

(A B) C A (B C)

(A B) C A (B C)

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

PROPIEDAD DISTRIBUTIVA PROPIEDAD DE IDEMPOTENCIA AA A AA A

(A B) C (A C) (B C)

(A B) C (A C) (B C)

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

LEY DE ABSORCIN

CONTRAPOSICIN AB BA

A (A B) A

A (A B) A

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

MODUS TOLLENS AB B A

INTRODUCCIN DE LA DOBLE NEGACIN

A A

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

EX CONTRADICTIONE QUODLIBET A A B

PRINCIPIO DE NO CONTRADICCIN (A A)

1.4

MTODOS LGICOS DE DEMOSTRACIN

1.4

MTODOS LGICOS DE DEMOSTRACIN

PRINCIPIO DEL TERCIO EXCLUSO

EXPORTACIN-IMPORTACIN DE PREMISAS A (B C) (A B) C

AA

1.4

MTODOS LGICOS DE DEMOSTRACIN SILOGISMO DISYUNTIVO

1.4

MTODOS LGICOS DE DEMOSTRACIN DILEMAS

Constructivos AB A B AB B A simple AB AC BC C compuesto AB AC BD CD simple

Destructivos compuesto AB CA DB CD

AB CA CB C

1.4

MTODOS LGICOS DE DEMOSTRACIN

LEYES DE DE MORGAN (A B) A B (A B) AB