 1. Identificar los conectivos lógicos de una proposición.( ) Y [ ] son agrupaciones.

¬ se lee, NO
es una negación.∧ se lee, Y y es una conjunción.∨ se lee, O y es una Disyunción inclusiva.⊻
se lee, O...O y es una disyunción exclusiva.→ se lee, si… entonces y es una condicional.↔ se
lee, si y solo si y es una bicondicional.Identificar las distintas formas proposicionales.TiposLa
proposición (yo voy al parque) es un tipo de proposición atómica ya que nofigura ningún
operador.La proposición (P→q)∧(P∨q) es un tipo de proposición molecular ya que
estácompuesta por varias proposiciones.Conocer las leyes del algebra proposicionalLey de
indepotentepvq=P o p∧p=pLey asociativa(pvq)vr=pv(qvr) o (p∧q)vr=p∧(q∧r)

 2. Ley conmutativaPvq=qvp o p∧q=q∧pLey de identidadPv0=p o p∧1=pLey de

dominaciónPv1=1 o p∧0=0Ley tetercio excluidopv¬p=1 o p∧¬p=0ley de
contradicciónp∧¬p=0Ley de doble negación¬¬p=p o ¬1=0, ¬0=1Ley de Morgan¬(pvq) ¬p∧¬q o
¬(p∧q)=¬pv¬q

La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios
usados para distinguir el razonamiento correcto del incorrecto. Por su parte, la lógica simbólica es
el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor
matemáticos.

Un razonamiento es cualquier grupo de oraciones declarativas, tal que una de ellas (conclusión) se
afirma que se deriva de otras, llamadas premisas, las cuales se consideran evidencia de la verdad de
la primera. Para efectos del curso, estudiaremos dos tipos de razonamiento:

1. Inductivo: comúnmente, por analogía; afirma probabilidad o cierta evidencia de la verdad

de la conclusión.
2. Deductivo: sus premisas ofrecen una evidencia contundente de la verdad de la conclusión.
Su correctitud viene dada por la validez o invalidez del razonamiento.

El objetivo de la presente asignatura es introducir al estudiante en los métodos de demostración de

validez de razonamientos propios de la lógica simbólica. Para ello, estudiaremos los dos tipos de
razonamientos descritos anteriormente:

1. Razonamiento Inductivo: Inducción Completa y Definiciones Inductivas.

2. Razonamiento Deductivo:
o El Sistema Ss: Lógica de proposiciones o Lógica proposicional.
o El Sistema Sp: Lógica de predicados.