∧ ∧

“ ” “ ”



“ ” “ ”

“ ” “ ”
“ ” “ ”

” ”







  Mar 4­08:34 a.CONECTIVOS LOGICOS March 05. ” ). 2 .m..m.O. 3. 2009 2.. Mar 4­08:28 a.. se lee: “ O. Se denota: p    q. DISYUNCIÓN EXCLUSIVA O FUERTE ( Se simboliza : “ ”.. se lee: “ O ” ) Se denota: p q. DISYUNCIÓN INCLUSIVA O DEBIL ( Se simboliza: “ ”.

CONECTIVOS LOGICOS March 05. BICONDICIONAL ( Se simboliza: “ ”.m. 5.m. Mar 4­08:47 a. se lee: “ Si y sólo si ” ) Se denota “ p q ” y se lee: “ p si y sólo si q ”. 3 . 2009 Mar 4­08:42 a.

4 . B.m. PROPOSICIONES SIMPLES O ATÓMICAS: Cuando no contiene a ningún conectivo lógico.CONECTIVOS LOGICOS March 05. 2009 EQUIVALENCIAS DE LOS CONECTIVOS LÓGICOS EN EL LENGUAJE COTIDIANO Mar 4­08:53 a. CLASES DE PROPOSICIONES A. PROPOSICIONES COMPUESTAS O MOLECULARES. Cuando en su conformación existe al menos un conectivo lógico. Mar 4­09:56 a.m.

5 .m. CONTRADICCIÓN: Cuyo valor de verdad es siempre es falso ( F ). Se denota por F. Mar 4­10:12 a.CONECTIVOS LOGICOS TIPOS DE FORMULAS PROPOSICIONALES 1. March 05. Mar 4­10:21 a. TAUTOLOGÍA: Es toda proposición. 3. CONTINGENCIA: Es toda proposición lógica cuyo valor de verdad tiene al menos un valor verdadero ( V ) y un valor falso (F). cuyo valor de verdad es siempre verdadero ( V ).m. 2009 2.

Mar 4­10:24 a.m.m. EVALUACIÓN DE ESQUEMAS MOLECULARES POR MEDIO DE TABLAS DE VALORES Consiste en deducir si se trata de una tautología. 6 . 2009 NÚMERO DE VALORES QUE SE ASIGNA A CADA VARIABLE PROPOSICIONAL El número de valores que puede tener una determinada variable proposicional en un esquema molecular esta dada por la formula: Donde ” n ” representa el número de proposiciones simples que existen en el esquema molecular. EJEMPLOS: Mar 4­10:27 a. Para ello se usa las tablas de verdad de los conectivos lógicos. contradicción o contingencia.CONECTIVOS LOGICOS March 05.

CONECTIVOS LOGICOS March 05.m. EJERCICIOS PARA CLASE Mar 5­07:58 a. 2009 Mar 5­07:57 a. 7 .m.

m. 8 . EJERCICIOS PARA CASA En casa resuelve en tu cuaderno los ejercicios de la página 12 de la práctica N° 02 (Lógica proposicional) Mar 5­08:06 a. 2009 Mar 5­08:02 a.m.CONECTIVOS LOGICOS March 05.

Sign up to vote on this title
UsefulNot useful