Proposiciones lógicas y racionales

Página 1

¿Qué es una proposición lógica?

Un enunciado o frase que puede ser verdadero o falso.

Tipos de proposiciones lógicas

Simples (Un sólo verbo) Sólo existe un enunciado

Compuestas (2 ó más verbos) Varios enunciados que pueden ser verdaderos o falsos y los conectamos mediante conectores Y O , ;

Notación

A las proposiciones lógicas se les pone nombre generalmente se usan letras p,q,r,t.... (en minusculas)

Negación ¬

Cualquier enunciado que sea V o F puede negarse. La negación es equivalente a "OPUESTO A" (Si P es V .... ¬P es F)

Conjunción ^

Uniremos dos o más proposiciones lógicas mediante conectores Y , ; ( p y q -> p^q)

El resultado de unir dos proposiciones lógicas va a ser otra proposición lógica que podemos llamar R

Sólo es verdadera cuando las dos son verdaderas

Disyunción v

Se une por el conector O

Siempre es verdadera excepto que los dos sean falsos

Condicional -----> (importa el orden ya que altera los factores no como en los casos anteriores)

Se une por el conector entonces --->

Siempre es verdadero excepto cuando la condición es V y la consecuencia F

Tabla de la verdad