LGICA PROPOSICIONAL

EJERCICIOS-CUARTO DE
SECUNDARIA
1. Lgica proposicional
Es una parte de la lgica que estudia las proposiciones y la relacin existente entre ellas,
as como la funcin que tienen los conectivos lgicos.
2. Proposicin lgica
Es aquella expresin u oracin coherente que puede calificarse o bien como verdadero (V)
o bien como falso (F) y sin ambigedad. Las proposiciones lgicas generalmente se
denotan con letras minsculas, tales como: p, q, r, s, , etc.
3. Negacin de una proposicin
Consiste en cambiar el valor de verdad que tiene una proposicin. Si la proposicin es p,
su negacin se denota por ~p y se lee: no p o es falso que p. Las diferentes
posibilidades las podemos esquematizar en una tabla, denominada Tabla de verdad.
4. Conectivos lgicos
Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada a veces proposicin molecular.
4.1 Disyuncin (se simboliza: , se lee: o)
Dos proposiciones se pueden enlazar por medio de la palabra o, para formar una nueva
proposicin llamada disyuncin de ambas. La disyuncin de las proposiciones p o q se
denota: p q.
4.2 Conjuncin (se simboliza: , se lee: y)
Dos proposiciones se pueden enlazar por medio de la palabra y para formar una nueva
proposicin llamada conjuncin de ambos. La conjuncin de las proposiciones p y q se
denota: p q.
5. Proposiciones compuestas
Utilizando conectivos lgicos se puede combinar cualquier nmero finito de proposiciones;
para obtener otras, denominados proposiciones compuestas.
6. Tautologa, Contradiccin y Contingencia
6.1 Tautologa
Es toda proposicin cuyo valor de verdad es siempre verdadero (V), para cualquier
combinacin de los valores de verdad de sus componentes, se le denota por V.
6.2 Contradiccin
Es toda proposicin cuyo valor de verdad es siempre falso (F), para cualquier combinacin
de los valores de verdad de sus componentes. Se le denota por F.
6.3 Contingencia
Es toda proposicin lgica cuyo valor de verdad tiene al menos un verdadero (V) y un falso
(F).
7. Implicacin lgica
Se denomina as a toda condicional p q que sea una tautologa y en tal caso la
condicional se denota por p q.
7.1 Equivalencia lgica
Se denomina as a toda bicondicional pq que sea una tautologa y en tal caso la
bicondicional se denota por p q.
8. lgebra de proposiciones
Son equivalencias lgicas que nos permiten simplificar un problema y expresarlo en forma
ms sencilla. Las demostraciones se hacen construyendo la tabla de verdad en cada caso.