Lógica proposicional : sintaxis y semántica

La traducción del lenguaje natural al lenguaje formal es un proceso, que no es tan sencillo como en ocasiones se piensa, es más, por lo general a los estudiantes le cuesta realizarlo y se convierte para ellos en un gran problema. La correcta traducción del lenguaje natural al lenguaje formal constit...

Descripción completa

Detalles Bibliográficos
Autor principal: De Diego, Iselgis J. (autor)
Formato: Tesis Conjunto Libro
Lenguaje:Spanish
Materias:
Acceso en línea:http://up-rid.up.ac.pa/1793/3/iselgis_dediego.pdf
LEADER 03225npm a2200433 c 4500
003 PA-PaUSB
005 20230425100631.0
006 a|||||r|||| 000 0
007 ta
008 200930s2019 pn a|||| mb|| 000 0 spa d
040 |a Sistema de Bibliotecas de la Universidad de Panamá 
082 0 4 |2 21  |a TM 511.3  |b D36 
084 |2 510.324 
100 1 |a De Diego, Iselgis J.  |e autor 
245 1 0 |a Lógica proposicional :   |b sintaxis y semántica  |c / Por: Iselgis De Diego ; [Asesor]: magíster Darío Herrera. 
264 3 |a Panamá :  |b Universidad, Vicerrectoría de Investigación y Postgrado,  |c 2019 
300 |a xiv, 146 páginas :  |b ilustraciones, cuadros, tablas ;  |c 28 cm 
300 |a 1 disco de computadora :  |b digital ;  |c 43/4 plg. 
336 |2 rdacontent  |a texto  |b txt 
337 |2 rdamedia  |a sin mediación  |b n 
337 |2 rdamedia  |a computador  |b n 
338 |2 rdacarrier  |a volumen  |b nc 
338 |2 rdacarrier  |a disco de computador  |b dc 
500 |a “Trabajo presentado para optar por el título de magíster en Ciencias con Especialización en Matemática Educativa”. – Página de título.  
500 |a En: UP-RID 
502 |g Tesis  |b Maestrìa  |c Universidad de Panamá. Vicerrectoría de Investigación y Postgrado, Facultad de Ciencias Naturales, Exactas y Tecnología. Programa de Maestría en Matemática Educativa,   |d 2019 
520 3 |a La traducción del lenguaje natural al lenguaje formal es un proceso, que no es tan sencillo como en ocasiones se piensa, es más, por lo general a los estudiantes le cuesta realizarlo y se convierte para ellos en un gran problema. La correcta traducción del lenguaje natural al lenguaje formal constituye la base para, entre otras cosas, determinar la validez de un argumento. Es por ello, que con esta investigación se pretende brindar orientaciones para realizar la traducción del lenguaje natural al lenguaje formal de forma menos traumática para los estudiantes, además de presentar una herramienta tecnológica, Excel, la cual nos ayudará con la construcción de las tablas de verdad para determinar la validez de un argumento, puesto que, si se cuentan con más de tres premisas el método de la tabla de verdad se torna tedioso y son altas las probabilidades de cometer errores dada la cantidad de renglones con los cuales se deben trabajar. Esperamos que el mismo sea de gran beneficio para los docentes y los estudiantes. 
650 7 |9 156816  |a LOGICA SIMBOLICA Y MATEMATICA  |2 LEMB 
650 0 |9 216763  |a PROPOSICION (LOGICA)  |2 LC 
650 7 |9 161548  |a LOGICA DE PRIMER ORDEN  |2 LEMB 
650 7 |9 152476  |a RAZONAMIENTO  |2 LEMB 
650 7 |9 150947  |a FILOSOFIA DE LAS MATEMATICAS  |2 LEMB 
650 7 |9 154610  |a MATEMATICAS   |2 LEMB   |v TESIS Y DISERTACIONES ACADEMICAS 
856 4 1 |u http://up-rid.up.ac.pa/1793/3/iselgis_dediego.pdf 
942 |2 ddc  |c TS 
945 |a IS 
999 |c 222806  |d 222778 
952 |0 0  |1 0  |2 ddc  |4 0  |6 TM_511_300000000000000_D36  |7 0  |8 T  |9 398814  |a 10  |b 10  |c 15  |d 2020-09-30  |e Obsequio  |l 1  |o TM 511.3 D36  |p 00351608  |r 2022-08-08  |s 2022-08-08  |t e.1  |w 2020-09-30  |y TS 
952 |0 0  |1 0  |2 ddc  |4 0  |6 RAI_TM_511_300000000000000_D36  |7 0  |8 SM  |9 398815  |a 10  |b 10  |c 14  |d 2020-09-30  |e Obsequio  |l 1  |o RAI TM 511.3 D36  |p 00351609  |r 2021-03-15  |s 2021-03-15  |t CD e.1  |w 2020-09-30  |y MD