CONECTIVOSLOGICOS

1

March05,2009

Mar408:05a.m.

CONECTIVOS LGICOS FECHA: 05 / 03 / 09

Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada proposicin molecular.

Mar408:17a.m.

Conectivos lgicos ms empleados son:

1. CONJUNCIN ( Se simboliza: " ", se lee: " y "). Se denota por: pq.

CONECTIVOSLOGICOS

2

March05,2009

Mar408:28a.m.

2. DISYUNCIN INCLUSIVA O DEBIL ( Se simboliza: , se lee: O )Se denota: p q.

Mar408:34a.m.

3. DISYUNCIN EXCLUSIVA O FUERTE( Se simboliza : , se lee: O...O... ). Sedenota:pq.

CONECTIVOSLOGICOS

3

March05,2009

Mar408:42a.m.

Mar408:47a.m.

5. BICONDICIONAL ( Se simboliza: , se lee: Si y slo si ) Se denota p q y se lee: p si y slo si q .

CONECTIVOSLOGICOS

4

March05,2009

Mar408:53a.m.

EQUIVALENCIAS DE LOS CONECTIVOS LGICOS EN EL LENGUAJE COTIDIANO

Mar409:56a.m.

CLASES DE PROPOSICIONES

A. PROPOSICIONES SIMPLES O ATMICAS: Cuando no contiene a ningn conectivo lgico.

B. PROPOSICIONES COMPUESTAS O MOLECULARES.Cuando en su conformacin existe al menos un conectivo lgico.

CONECTIVOSLOGICOS

5

March05,2009

Mar410:12a.m.

TIPOS DE FORMULAS PROPOSICIONALES

1. TAUTOLOGA: Es toda proposicin, cuyo valor de verdad es siempre verdadero ( V ),

2. CONTRADICCIN: Cuyo valor de verdad es siempre es falso ( F ). Se denota por F.

Mar410:21a.m.

3. CONTINGENCIA: Es toda proposicin lgica cuyo valor de verdad tiene al menos un valor verdadero ( V ) y un valor falso (F).

CONECTIVOSLOGICOS

6

March05,2009

Mar410:24a.m.

NMERO DE VALORES QUE SE ASIGNA A CADA VARIABLE PROPOSICIONAL

El nmero de valores que puede tener una determinada variable proposicional en un esquema molecular esta dada por la formula:

Donde n representa el nmero de proposiciones simples que existen en el esquema molecular.

Mar410:27a.m.

EVALUACIN DE ESQUEMAS MOLECULARES POR MEDIO DE TABLAS DE VALORES

EJEMPLOS:

Consiste en deducir si se trata de una tautologa, contradiccin o contingencia. Para ello se usa las tablas de verdad de los conectivos lgicos.

CONECTIVOSLOGICOS

7

March05,2009

Mar507:57a.m.

Mar507:58a.m.

EJERCICIOS PARA CLASE

CONECTIVOSLOGICOS

8

March05,2009

Mar508:02a.m.

Mar508:06a.m.

EJERCICIOS PARA CASAEn casa resuelve en tu cuaderno los ejercicios de la pgina 12 de la prctica N 02 (Lgica proposicional)

Pgina 1Pgina 2Pgina 3Pgina 4Pgina 5Pgina 6Pgina 7Pgina 8