Bienvenidos a

Lógica

Lenguaje de enunciados
 Algebra de proposiciones

• Simbolización de las proposiciones: p, q, r, s

• Aquellas que tienen valor de verdad.

• Conectores lógicos (diádicos y monádicos)

Conectores lógicos
Conectores lógicos
 Agrupación

Conjunto de valores de agrupación

=
{ (), [], {} } 
Reglas de prioridad
Valores de verdad: Formulas atómicas

Las combinaciones están dadas por: 2^n

Conectivas lógicas
Conjunción
Conectivas lógicas
Disyunción
Conectivas lógicas
Condicional
Conectivas lógicas
Bicondicional
Conectivas lógicas
Negación
Conectivas lógicas
Negación