logica proposicional

DEFINA:
1. Lógica Proposicional:
Estudia la estructura formal de la inferencia, tomando las proposiciones (o enunciados). La lógica trata de enunciar.

2. Que es una proposición:
Esta definidacomo un conjunto de palabras con sentido completo que puede ser calificable de verdadera o falsa.
Existen 2 tipos de proposición a)simple: en ella no interviene ningún conector , b) compuesta: sise juntan una o varias proposiciones simples con un término de enlace, se forma una proposición compuesta.

3. Que son operadores lógicos:
También llamados conectiva o conectores lógicos, esdenominado funtor, juntos estos términos que conectan los enunciados atómicos, formando así enunciados moleculares.

4. Cuáles son los operadores lógicos:
Negación = No= ͠͠
Conjunción = Y = ˄
Disyunción = O = ˅
Condicional =Si, Entonces =
Bicondicional = Si y Solo si =
Negación conjunta =Ni…ni =
Incompatible = Incompatible = /

5.Calculo proporcional:
Forma parte del estudio de la lógica simbólica, esta tiene por estudio el claculo de la inferencia, para demostrar la validez de un argumento.
Un cálculo se compone :
Un conjuntode elementos primitivos.
Un conjunto de regla esenciales que establecen cuales son las ordenaciones de elementos que están bien formados.
Un conjunto de reglas de transformación que al aplicarse sepuede cambiar de una combinación a otra.
Es una construcción autónoma en el sentido que no hace referencia algo que sea ajeno a él.

6. Que son tablas de la verdad:
Estas tablas puedenconstruirse interpretando los símbolos lógicos, estas se forman para determinan la falsedad o verdad de cualquier sentencias, una vez conocidos los valores de verdad de la formulas componentes.
Puede...