P. 1
Logica de Proposiciones Compuestas

Logica de Proposiciones Compuestas

|Views: 2.183|Likes:
Publicado porXheyla
CURSO: FILOSOFÍA Y LÓGICA

LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado.

Katherine Sheyla De la Torre Zevallos

ENUNCIADOS SIMPLES

V

³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´.

F
2

Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas
CURSO: FILOSOFÍA Y LÓGICA

LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado.

Katherine Sheyla De la Torre Zevallos

ENUNCIADOS SIMPLES

V

³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´.

F
2

Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas

More info:

Published by: Xheyla on Jun 15, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

09/12/2014

pdf

text

original

CURSO: FILOSOFÍA Y LÓGICA

LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado.

Katherine Sheyla De la Torre Zevallos

ENUNCIADOS SIMPLES

V

³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´.

F
2

Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas: ³m´, ³n´, ³o´, ³p´, ³q´, ³r´, etc. etc.

p = La casa es roja

q = Del Solar es DT de la selección peruana de fútbol
3

sí y sólo si.entonces. como: si««. 4 . no. una de dos. Su valor de verdad se determina completamente por medio del valor de verdad de sus enunciados simples junto con la forma cómo ellos se conectan para conformar un enunciado compuesto. por lo ni« tanto. ni«.. etc.. ni.. enlazados por conectores como: y.entonces. o.ENUNCIADOS COMPUESTOS ³Enunciado compuesto por varios enunciados simples o varios compuestos. si««. pero.´ etc.

³Los trabajadores están cosechando lechugas y papas´ p = Los trabajadores están cosechando lechugas. 5 . q = Los trabajadores están cosechando papas.

SINTAXIS DE LA LÓGICA PROPOSICIONAL El primer paso en el estudio de un lenguaje es definir los símbolos básicos que lo constituyen (alfabeto) y cómo se combinan para formar sentencias. Tautología (T). corchetes [ ] y llaves { } para evitar ambigüedades. Contradicción ( ) y Contingencia (Q) -Símbolos de variables: p. . V... q. z -Símbolos de conectivas: ~. .Z . C.  -Símbolos auxiliares: paréntesis ( ). V.«. Está constituido por: -Símbolos de veracidad: se pueden usar (V) para verdadero y (F) para falso. . . -Metavariables: A. B.

OPERADORES O CONECTIVOS LÓGICOS Conectivo No Y O O O Si Entonces Si Solo Si Nombre Lógico Negación Conjunción Disyunción Inclusiva Disyunción Exclusiva Implicación o Condicional Doble Implicación o Bicondicional  Símbolo ~ V V .LENGUAJE DE LA LÓGICA PROPOSICIONAL FUNCTORES.

se sigue (que) q DISYUNCIÓN «o« o«o« o bien«o bien« ya sea«ya sea« CONDICIONAL INDIRECTO q porque p q puesto que p q pues p q como p q dado que p q de p q debido a p q ya que p BICONDICIONAL p si y sólo si q p si y solamente si q p cuando y solamente cuando q p entonces y sólo entonces q p es condición necesaria y suficiente que q . es así que q p.EXPRESIONES QUE REPRESENTAN CONECTORES NEGACIÓN no no es el caso de que es falso que no es verdad que no es cierto que no es posible es imposible que jamás nunca tampoco CONJUNCIÓN y pero sin embargo no obstante además también a la vez a la par al mismo tiempo a pesar de que sino CONDICIONAL DIRECTO p luego q p por lo tanto q p de ahí que q p en consecuencia q p en conclusión q p por lo que q p.

disyunción exclusiva.Cómo formalizar el lenguaje natural:     (I) Identificar los enunciados simples (II) Asignar a cada enunciado simple su contexto. bicondicional. (III) Identificar los conectores lógicos: negación. (IV) Reconstruir los enunciados complejos a partir de los simples y las partículas lógicas: Simbolización. siempre afirmado. condicional. disyunción inclusiva. 9 .

ALGUNAS FORMALIZACIONES SENCILLAS -Hume canta o Kant baila o Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r pœqœr .

ALGUNAS FORMALIZACIONES SENCILLAS -Hume canta y Kant baila y Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r p›q›r .

o Kant baila y Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r p œ (q › r) .ALGUNAS FORMALIZACIONES SENCILLAS -Hume canta.

y Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r (p œ q) › r .ALGUNAS FORMALIZACIONES SENCILLAS -Hume canta o Kant baila.

ALGUNAS FORMALIZACIONES SENCILLAS -Si Hume canta. Kant baila Hume canta | p Kant baila | q Hegel da palmas | r ppq .

Kant baila Hume canta | p Kant baila | q Hegel da palmas | r ppq .ALGUNAS FORMALIZACIONES SENCILLAS -Si Hume canta.

ALGUNAS FORMALIZACIONES SENCILLAS -Si Hume canta y Kant baila. Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r (p › q) p r .

Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r p › (q p r) . si Kant baila.ALGUNAS FORMALIZACIONES SENCILLAS -Hume canta. y.

ALGUNAS FORMALIZACIONES SENCILLAS -Hume canta si y sólo si Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r pmr .

Si Hume canta. entonces Kant baila si Hegel no da palmas Hume canta | p Kant baila | q Hegel da palmas | r p p (¬r p q) .ALGUNAS FORMALIZACIONES SENCILLAS .

si y sólo si Kant no baila si Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r p m (r p ¬q) .Hume canta.ALGUNAS FORMALIZACIONES SENCILLAS .

CONDICIONAL ( ) -La sentencia será falsa cuando se cumpla que es válido p. DISYUNCIÓN INCLUSIVA (V) -La sentencia será verdadera cuando una o ambas variables proposicionales sean verdaderas. en el resto de los casos la sentencia es verdadera. BICONDICIONAL () -La sentencia será verdadera cuando ambas variables proposicionales sean iguales. DISYUNCIÓN EXCLUSIVA (V) -La sentencia será verdadera sólo cuando sólo una de las dos variables proposicionales sea verdadera. .FUNCIONES VERATITIVAS: NEGACIÓN (~) Consiste en cambiar el valor de una proposición CONJUNCIÓN ( ) -La sentencia será verdadera sólo cuando ambas variables proposicionales sean verdaderas. pero NO lo es q.

TABLAS DE VERDAD p F q F šp V p›q F pœq F pvq F p q V pq V F V V F V V V F V F F F V V F F V V F V V F V V .

REGLAS DE DIAGRAMAS SEMANTICOS .

Son aquellas cuya matriz principal contiene tanto valores de verdadero como de falso. contingentes y contradictorias. .CLASIFICACIÓN DE LAS FÓRMULAS PROPOSICIONALES Considerando la distribución de los valores de verdadero y falso. en la matriz principal de la tabla de verdad de las fórmulas proposicionales. -FÓRMULAS PROPOSICIONALES CONTINGENTES (Q). Son aquellas cuya matriz principal contiene únicamente valores de falso. -FÓRMULAS PROPOSICIONALES CONTRADICTORIAS (B). Son aquellas cuya matriz principal contiene únicamente valores de verdadero. éstas se clasifican en: tautológicas. -FÓRMULAS PROPOSICIONALES TAUTOLÓGICAS (T).

por lo tanto. Esto implicará que sea contingente . en el segundo caso. y que. es decir. podemos concluir que no hay ni un solo caso de falso o de verdadero. 2. cuando menos hay un caso de falso o de verdadero en la tabla de verdad. 5.MÉTODO ABREVIADO Es un método que abrevia la elaboración de la tabla de verdad. y por ende el esquema no será tautológico o no será contradictorio respectivamente. Si no se cumple dicha suposición. si es tautológica o contingente) 4. 3. respectivamente. Suponemos que el operador principal de la fórmula es falso o verdadero. Elegimos alternativas de asignación de valores que permitan que se cumpla o no este supuesto en todo el esquema. Por último. entonces no es ni tautológico ni contradictorio. Consiste en los siguientes pasos: 1. si se halla una contradicción. si el esquema no presenta incoherencias bajo ninguno de los 2 presupuestos básicos (que la fórmula sea verdadera o falsa). Si se cumple la suposición. la fórmula será tautológica o contradictoria. o sea no hay incoherencias veritativas. (En el primer caso faltaría descartar si la función proposicional es contradictoria o contingente. respetando la jerarquía de los operadores.

[p›(p q)] tendrá que ser verdadero. -De ahí que p tenga que ser verdadero (p=V) y (p q) tenga que ser también verdadero. entonces q deberá ser falso. -Si esto así. el esquema analizado es una tautología pues resulta verdadera en todos los mundos posibles. . -Pero sabemos que cuando una condicional es falsa su antecedente es verdadero y su consecuente es falso. es falso. . lo cual prueba que no hay ningún mundo en el cual la fórmula sea falsa. es decir. Hemos llegado a una contradicción. O sea. -Pero si p=V y q=F. es decir.EJEMPLO DE APLICACIÓN DEL MÉTODO ABREVIADO Aplique el método abreviado: [p›(p q)] q -Supongamos que el conector de mayor jerarquía. q=F -Además. (p q) debería ser falso. se llega a una contradicción. -Pero sabemos que una conjunción es verdadera únicamente cuando sus componentes son verdaderas. -Podemos concluir que suponiendo que toda la fórmula es falsa.

LEYES LÓGICAS .

EJERCICIOS DE FORMALIZACIÓN  Cuando el ventero está en la puerta. el diablo está en la venta. el diablo sigue estando en la venta p | el ventero está en la puerta q | el diablo está en la venta (p p q) › (¬p p q) . pero cuando no está en la puerta.

es rojo.EJERCICIOS DE FORMALIZACIÓN  Si es un cuadrado pequeño. es un triángulo si es rojo p | es pequeña s | es grande q | es cuadrada t | es triangular r | es roja u | es azul [(q › p) p r] › [¬(q › s) › ¬(q › r)] › (t p r) . ni es un cuadrado grande ni es un cuadrado rojo.

EJERCICIOS DE FORMALIZACIÓN  No es un cuadrado grande. es roja si y sólo si es pequeña p | es pequeña s | es grande q | es cuadrada t | es triangular r | es roja u | es azul ¬(q › s) › ¬(t › u) › (r m p) . no es un triángulo azul.

EJERCICIOS DE FORMALIZACIÓN  Si es un cuadrado o es roja. es grande. sólo es un cuadrado si es roja p | es pequeña s | es grande q | es cuadrada t | es triangular r | es roja u | es azul [(q œ r) p s] › (s m u) › (q p r) . es grande si y sólo si es azul.

que equivale a la implicación final de un argumento (p) (q p p) › [p m (r › s)] › šs @ ¬q {(q p p) › [p m (r › s)] › šs } p ¬q . p | apruebo lógica r | estudio q | Dios quiere que apruebe s | hago los ejercicios ¿hay algún modo de marcar la diferencia de ese µpor tanto¶? SÍ: es la conclusión de un argumento. Sin embargo.EJERCICIOS DE FORMALIZACIÓN  Aprobaré lógica. Aprobaré lógica si y sólo si estudio y hago todos los ejercicios. Vamos a marcarla con el símbolo @. no he hecho los ejercicios. Por tanto. si Dios quiere. Dios no quiere que apruebe lógica.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->