nada que tenga que ver
MINISTERIO DEL PODER POPULAR PARA LA DEFENSA
UNIVERSIDAD NACIONAL EXPERIMENTAL POLITÉCNICA
DE LA FUERZA ARMADA NACIONAL
NÚCLEO FALCÓN
SEDE CORO
ACTIVIDADAUTOGESTIONADA
CARRERA: INGENIERIA DE SISTEMAS ASIGNATURA: LÓGICA MATEMÁTICA
SECCIÓN: IS4D-B FECHA: ___/____/ 2013PONDERACIÓN: 5% DOCENTE: LCDA DAYANA LÓPEZ
NOMBRE: ________________________________________ C.I:______________________
Ejemplo a.
Si la ballena esun mamífero entonces toma oxígeno del aire. Si toma su oxígeno del aire, entonces no necesita branquias. La ballena es un mamífero y vive en el océano. Por tanto, no necesita branquias.
La conclusiónque se desea demostrar o deducir es la proposición «no necesita branquias». (La palabra, «por tanto», pone de manifiesto que la proposición final es la conclusión del razonamiento.)
El primer pasoen este proceso es simbolizar el razonamiento de manera que la deducción sea perfectamente clara.
Sea
W = La ballena es un mamífero
O= Toma su oxígeno del aire
G = Necesita branquias
H= «Habitaen el océano
Entonces
la primera premisa es W O
la segunda premisa es O ¬G
la tercera premisa es W ^ H
la conclusión es ¬GLa deducción proposicional se puede escribir como se indica a continuación:
1) W O P
2) O ¬ G P
3) W ^ H P
4) W S 3
5) OPP 1,4
6) ¬G PP 2,5
Los tres primeros pasos son premisas. Los pasos 4, 5 Y 6 están justificados por reglas de inferencia aplicadas a líneas anteriores. Ala derecha de cada paso o línea, se indica la manera como se justifica aquella línea. Por ejemplo, puesto que las tres primeras líneas son premisas, se escribe la letra P a la derecha de aquellas...
Regístrate para leer el documento completo.