2 PROPOSICIONES COMPUESTAS

LOGICA
PROPOSICIONAL

FORMALIZACION DE PROPOSICIONES

Toda proposición compuesta se puede formalizar, para
ello se debe identificar las proposiciones simples que la
forman y los conectores lógicosde enlace que los une;
a las proposiciones simples se le reemplaza por letras
generalmente p; q; r; s; etc.
Conectivos Lógicos
Son símbolos que reemplazan a las conjunciones
gramaticales y al adverbiode negación y sirven para
enlazar dos o mas proposiciones simples, siendo las
principales «y» , «o» ; «si ……entonces…..»; «si y solo
si» y el adverbio de negación «no»

CONECTIVOS LOGICOS
SímboloOperador
lógico

Enlace o

Significado

Equivalencias

esquema

Λ

Conjunción

pΛq

pyq

Como, así mismo, pero, además, sin
embargo, también ,Incluso

ν

Disyunción
inclusiva

pνq

poq

u

∆Disyunción
exclusiva

pΔq

o poq

O bien

→

Condicional

p→q

p entonces q

Por consiguiente, de modo que, puesto

p si y solo si q

Cuando y solo cuando , si y solamente
si

no p

no ocurre que; no es el casoque; es
imposible que; no es cierto que; es falso
que; no es verdad que; no es el caso que

↔

Bicondicional

p↔q

~

negación

~p

que, por lo tanto, en consecuencia, luego.
Cuando, ya que, porque,dado que, cada
vez que

SIMBOLOS AUXILIARES

Son los que se usan para separar las propiedades
moleculares de acuerdo a la jerarquía que le da el
sentido lógico.
1. Paréntesis ( ) : para separarproposiciones básicas
2. Corchete [ ]: para separar proposiciones formas lógicas menores
3. Llave { } : para separar formas lógicas mayores

JERARQUIA DE LOS CONECTORES LOGICOS

1º Bicondicional (↔)
2ºDisyunción exclusiva (∆ )
3º Condicional ( → )
4º Conjunción y disyunción inclusiva (ᴧ ᴠ )
5º Negación ( ~ )

PASOS PARA SIMBOLIZAR PROPOSICIONES

1. Identificar las proposiciones simples que eseencuentran en toda la

expresión y se reemplazan con
proposición con una variable.

las variables proposicionales, cada

2. Identificar las conjunciones gramaticales y los adverbios de negación
para...