Cálculo Proposicional y

lógica
  Proceso mental que implica la aplicación de la
Razonamiento lógica. A partir de esta clase de razonamiento,
se puede partir de una o varias premisas para
logico arribar a una conclusión que puede
determinarse como verdadera, falsa o posible.
  Son oraciones utilizadas para informar de un hecho
Enunciados objetivamente.
 De ellas se puede determinar si son verdaderas o falsas.
  Enunciados de los cuales se afirma que la conclusión es una
Premisa consecuencia lógica.
  El enunciado del cual se afirma que es consecuencia lógica de
Conclusion los otros enunciados (premisas).
Marcadores de  Indican donde inicia la conclusion en un razonamiento.
conclusión
  Esta lloviendo
Ejemplo de  La calle esta mojada
razonamiento  Por tanto me mojare los
pies.
  Oración enunciativa en virtud de la cual la oración es verdadera
Proposición o falsa.
  Proposición tautológica:
Oración que siempre es verdadera, independientemente de los
hechos.

Tipos de
proposiciones Ejemplos:
 Todo lo que es rojo es rojo
 Los niños siempre son niños
 El agua es agua
  Proposición contingente:
 A veces es verdadera, a veces falsa. Depende de los hechos de la
realidad.
Tipos de
proposiciones  Ejemplos:
 La tasa de cambio del dólar sube y baja
 Mañana lloverá todo el día
  Proposición contradictoria:
Afirmación y negación que se oponen una a otra. Siempre es falsa,
independientemente de los hechos.
Tipos de Ejemplos:
proposiciones  San José es la capital de Costa Rica y San José no es la capital
de Costa Rica
 Los solteros son hombres casados
Resumen tipos
de
proposiciones
  Es un símbolo o palabra que se utiliza para conectar las
Conectivas premisas y la conclusion creando una fórmula, de modo que por
logicas medio de tablas de verdad se pueda clasificar segun el tipo de
proposición.
  Es una estrategia de la lógica simple que permite establecer la
Tablas de validez de varias propuestas en cuanto a cualquier situación,
verdad permitiendo clasificarlos en tautológicos, contradictorios o
contingentes.
Principales
conectivas
logicas