Parntesis

martes, 06 de diciembre de 2011 13:08

Los parntesis, cumplen la funcin de indicar las partes del esquema. Ej. - p v q r Se podra interpretar de la mltiples maneras: - (p v (q r ) ) - ( (p v q ) r ) etc La diferencia entre los esquemas anteriores se puede constatar con las tablas de verdad. Principios de agrupacin El signo de negacin tiene el alcance mnimo. Ejemplos: - p v q : la negacin se aplica solo a la primera clausula - (p q ) v r : se trata de una alternativa cuya primera clausula esta negada, es decir se niega la condicional p q Las conectivas biproposicionales, excluida la conjuncin tienen el mismo alcance de agrupacin.
Ejemplos: (pq) (qp)

pqqp

p vrr

es un esquema ambiguo, necesita parntesis.

En lugar de parntesis, suelen usarse puntos. El punto agrupa en sentido contrario al del signo correctivo vecino.

(pvq )r ( p q ) ( q p )

pvqr p q q r p q r s : - q

( ( p q ) ( r s ) ) - q

El mayor o menor numero de puntos indica el alcance de la agrupacin Ejemplo:

p \ q . . p q : . - p v q .: q
Lectura literal: p

( ( ( p \ q ) ( p q ) ) ( - p v q ) ) q

q . . - q - p
-p
p v - q . . - r v p

Se trata de un esquema condicional cuyo antecedente es la condicional p q. Y el consecuente es el condicional - q

p\q.

.p r::

Se trata de un esquema bicondicional cuya primera clausula es un condicional; el antecedente de este condicional es la incompatibilidad de p \ q y cuyo consecuente es una falsedad conjunta de p r. La segunda clausula de bicondicional es un condicional cuyo antecedente es una alternacin de p v - q . Y su consecuente es una alternacin de - r v p. p v . - q v r : v p .: :. q v . p v r \ s
Lgica Simbolica pgina 1

p v . - q v r : v p .: :. q v . p v r \ s Se trata de un esquema condicional cuyo antecedente es una alternacin; su primera clausula se trata de la alternacin del esquema compuesto p v . - q v r ; su segunda clausula es la proposicin p . El consecuente es una incompatibilidad cuya primer clausula es la alternacin del esquema compuesto q v . p v r y cuya segunda clausula es la proposicin s

Lgica Simbolica pgina 2