CFRD simplified sequence for Mazar Hydroelectric Project
Sistema de aprendizaje interactivo a distancia sobre lógica proposicional
1. REPÚBLICA BOLIVARIANA DE VENEZUELA
VICERECTORADO ACADEMICO
FACULTAD DE INGENIERIA
SISTEMA DE APRENDIZAJE INTERACTIVO A DISTACIA
Integrantes:
Dalena Gutiérrez
Estructura Discreta SAIA A
Cabudare, Noviembre de 2016
2. PROPOSICIÓN
Una proposición es un juicio declarativo que
puede ser verdadero o falso pero no verdadero o
falso simultáneamente.
Las preposiciones se denota por letras minúsculas
(p, q, r, h, n,..)
Para cada preposición tenemos un valor que lo
llamaremos valor lógico se denota por VL, si la esta es
verdadera su valor lógico es 1 (VL=1) y si es falsa es 0
(VL=0)
EJEMPLO DE PROPOSICIONES :
p = El águila es un ave (Verdadero) VL(p)=1
r = Los bebés tienen 3 ojos (Falso) VL(r)=0
3. EJEMPLOS DE ENUNCIADOS QUE NO
SON PREPOSICIONES
¿ Cual es tu nombre?
¿ Que hora es ?
¡ Estudie !
Olaja que llueva cerveza
4. Conectivas o Conectivos :
Son símbolos que permiten construir, a partir de una
o mas proposiciones (simple o compuesta) , otra forma
proposicional compuesta
Proposición Simple: Son aquellos que no poseen
conectivos lógicos.
Proposición Compleja: Son aquellas que posee conectivos
lógicos.
6. TABLA DE VERDAD DE LOS CONECTIVOS
LOGICOS
Negación: Es la conectividad que convierte un enunciado
verdadero en falso, y un enunciado falso en verdadero.
Conjunción: Es la conectividad que origina una proposición
molecular que solo es verdadera si ambas proposiciones que la
integran son verdaderas, y falsa en los otros casos.
Disyunción: Es la conectiva que origina una proposición
molecular que solo es falsa si ambas proposiciones que la
integran son falsas, y verdadera en los otros casos.
7. Condicional: Es la conectiva que origina una
proposición molecular que solo es false si el
antecedente es verdadero y el consecuente es falso,
siendo verdadera en los restantes casos.
Bicondicional: Es la conectiva que origina una
proposición molecular que es verdadera cuando sus
dos componentes tienen el mismo valor de verdad, y
falsa si uno de sus componentes es verdadero y el otro
es falso.
TABLA DE VERDAD DE LOS CONECTIVOS
LOGICOS