PRACTICAS DE INFORMATICA

GABRIEL ZAMORA TORRES

LUIS GUSTAVO ROJAS PAREDES

CLASIFICACION DE LOS
JUICIOS

Cantidad

Cualidad

Propiedad fundamental

Universal

Particular

Afirmativo

Negativo

Verdadero

Falso

son aquellos que se refieren

a todos los individuos de la
especie.

son aquellos que se refieren

a varios objetos sin llegar a
la totalidad es decir que se
refieren tan solo a una parte
del todo.

son aquellos juicios que

expresan la compatibilidad
entre el sujeto y el
predicado se realizan el
predicado.

son aquellos que expresan la

incompatibilidad entre el
sujeto y el predicado

Es el que posee la propiedad

de decir solo la verdad en
cuanto a algo que esta
respaldado.

Es el que dice algo

considerado una mentira,
adquiriendo esta propiedad
cuando se sabe lo
verdadero.

RACIOCINIO

Esta es la tercer foma mental:

La razn es la facultad en virtud de la
cual el ser humano es capaz de
identificar conceptos, cuestionarlos,
hallar coherencia o contradiccin entre
ellos y as inducir o deducir otros
distintos de los que ya conoce

As, la razn humana, ms que descubrir

certezas es una capacidad de establecer
o descartar nuevos conceptos
concluyentes o conclusiones, en funcin
de su coherencia con respecto de otros
conceptos de partida o premisas.

Hay diferentes tipos de raciocinio:

Deductivo

Inductivo

Analogico

La conclusin en un razonamiento
deductivo se obtiene de las premisas
dadas, es decir, no necesita recurrir de
manera directa a la prctica o a la
experiencia. Por esta razn, se expresa
que la conclusin en este tipo de
argumento se da
una seguridad matemtica.

es un razonamiento inductivo es aquel

de conclusin probable. Es decir, dadas
las determinadas premisas, la conclusin
que de ellas infiere es nicamente
probable.

Es cuando presenta las siguientes

caractersticas sobre la base
del conocimiento que de dos o ms
objetos son semejantes con respecto a
una serie de cualidades que uno o ms
de ellos posee, adems alguna
otra propiedad o atributo se afirma en la
conclusin que el o los objetos restantes
tambin poseen esa nueva propiedad.

El silogismo consta nicamente de 3 trminos.

Un trmino medio no debe estar en la conclusin.

Ninguno de los trminos debe tener mayor extensin en la

conclusin que en las premisas.

El trmino medio debe ser al menos una vez universal.

De dos premisas negativas no se obtiene conclusin.

De dos premisas afirmativas no se obtiene conclusin negativa.

De dos premisas particulares no se obtiene conclusin.

La conclusin siempre sigue a la parte ms dbil (lo particular y lo

negativo)

REGLAS DEL SILOGISMO

FALACIA

Una falacia o sofisma es

un razonamiento lgicamente incorrecto, aunque
psicolgicamente pueda ser persuasivo.
Cabe aclarar que un razonamiento falaz no
necesariamente posee una conclusin falsa; as como un
razonamiento correcto no necesariamente tiene una
conclusin verdadera. La crtica de un razonamiento no
tiene relacin con la validez de su conclusin.

La falacia lgica es un modo o patrn de razonamiento

que siempre o casi siempre conduce a un argumento
incorrecto. Esto es debido a un defecto en la estructura
del argumento que lo conduce a que este sea invlido.
Las falacias lgicas suelen aprovecharse de los prejuicios
o sesgos cognitivos para parecer lgicas.

Todas las falacias son razonamiento que vulneran alguna

regla lgica. As, por ejemplo, se argumenta de una
manera falaz cuando en vez de presentar razones
adecuadas en contra de la posicin que defiende una
persona, se la ataca y desacredita: se va contra la
persona sin rebatir lo que dice o afirma.

Generalmente los razonamientos falaces no son tan

claros como los ejemplos. Muchas falacias
involucran causalidad, que no es una parte de la lgica
formal. Otras utilizan estratagemas psicolgicas como el
uso de relaciones de poder entre el orador y el
interlocutor, llamamientos al patriotismo, la moralidad o
el ego para establecer las premisas intermedias
(explcitas o implcitas) necesarias para el razonamiento

El estudio de las falacias se remonta por lo menos

hasta Aristteles, quien en sus Refutaciones
sofsticas identific y clasific trece clases de
falacias. Desde entonces, cientos de otras falacias se han
agregado a la lista y se han propuesto varios sistemas de
clasificacin.
Las falacias son de inters no solo para la lgica, sino
tambin para la poltica, la retrica, el derecho,
la ciencia, la religin, el periodismo, la mercadotecnia,
el cine y, en general, cualquier rea en la cual la
argumentacin y la persuasin sean de especial
relevancia.

Las falacias son de inters no solo para la lgica, sino

tambin para la poltica, la retrica, el derecho,
la ciencia, la religin, el periodismo, la mercadotecnia,
el cine y, en general, cualquier rea en la cual la
argumentacin y la persuasin sean de especial
relevancia.

Argumentum ad bacilum (apelacin a la

fuerza)

Se apela a la falacia para provocar la aceptacin de la

conclusin.

Argumentum ad hominem (contra el

hombre)

Razonamiento que en vez de representar razones

adecuadas para debatir una determinada posicin o
conclusin se ataca a la persona que defiende.

Argumentum ad ignoratum (argumento a

la ignorancia)

Se comete cuando se sostiene que una proposicin es

verdadera simplemente sobre la base de que no se ha
demostrado que es falsa porque es verdadera.

Argumentum ad misericordiam
(argumento a la piedad o misericordia)

Se apela a la piedad para conseguir una determinada

conclusin.

Argumentum ad populum (apelacin al

pueblo)

Se comete un llamado emocional al pueblo con el fin

de ganar asentamiento para la conclusin y que no
est sustentado en pruebas.

Argumentum ad verecundiam (apelacin a

la autoridad)

Se da cuando se toman las conclusiones de una

persona famosa o reconocida, solo porque ella lo dijo,
se basa en la autoridad de cierto prestigio que les
otorga a ciertas personas.

CLASIFICACION
DE LAS FALACIAS

Una proposicin es una cadena de

signos expresados en un
determinado lenguaje. En un lenguaje
natural, esos signos usualmente son
sonidos oEscritos,
caracteres
escritos,
mientras
quemientras
que un tipo
formalizado
un de
tipolenguaje
de lenguaje
pueden ser
signos
arbitrarios...
formalizado puede ser
signos arbitrarios...

PROPOSICIONES

El cielo es azul.

Ejemplo:
Tambin denominadas proposiciones
atmicas. Son aquellas proposiciones que no
se pueden dividir.

Tipo de conectores bsicos

Negacin

Palabras conectivas
Palabras

Prefijos

Conjuncin

Disyuncin inclusiva

Disyuncin exclusiva

La condicional

La bicondicional
Negacin conjunta

Y
Aunque
Pero
Mas
Tambin
Sin embargo
adems
Una
Otra o y/o
O
O.. O
O bien o bien
.a menos que
.salvo que
Si..p..entonces.
Si.pcuando.
..q..siemprep
Si y solo si, cuando y solo cuando
Ni no.

No
No es cierto que
No es verdad que
Nunca
Carece de
Sin
A
Des
In
I

TABLA DE VERDAD

Una tabla de verdad, o tabla de valores

de verdad, es una tabla que muestra el
valor de verdad de una
proposicincompuesta, para cada
combinacin de valores de verdad que se
pueda asignar a sus componentes.

En realidad toda la lgica est contenida

en las tablas de verdad, en ellas se nos
manifesta todo lo que implican las
relaciones sintcticas entre las diversas
proposiciones. No obstante la sencillez
del algoritmo, aparecen dos dificultades

La gran cantidad de operaciones que hay

que hacer para una proposicin con ms
de 4 variables.
Esta dificultad ha sido magnficamente
superada por la rapidez de los
ordenadores, y no presenta dificultad
alguna.

Que nicamente ser aplicable a un

esquema de inferencia, o argumento
cuando la proposicin condicionada,
como conclusin, sea previamente
conocida, al menos como
hiptesis, hasta comprobar que su tabla
de verdad manifiesta una tautologa

Por ello se construye un clculo

mediante cadenas deductivas: Las
proposiciones que constituyen el
antecedente del esquema de inferencia,
se toman como premisas de un
argumento. Se establecen como reglas
de clculo algunas tautologas como tales
leyes lgicas, (pues garantizan, por su
carcter tautolgico, el valor V)

Se permite la aplicacin de dichas reglas

como reglas de sustitucin de frmulas
bien formadas en las relaciones que
puedan establecerse entre dichas
premisas. Deduciendo mediante su
aplicacin, como teoremas, todas las
conclusiones posibles que haya
contenidas en las premisas

ELABORACION DE TABLAS DE VERDAD

CONCLUSION TAUTOLOGICA, CONTRADICTORIA Y

CONTINGENTE

TAUTOLOGICA

es una frmula bien formada de un sistema

delgica proposicional que resulta
verdadera para cualquier interpretacin; es
decir, para cualquier asignacin devalores
de verdad que se haga a sus frmulas
atmicas.12 La construccin de una tabla de
verdad es un mtodo efectivo para
determinar si una frmula cualquiera es una
tautologa o no.2

En lgica, se le llama tautologa a toda

frmula que es verdadera para toda
asignacin de valores de verdad. De un
modo ms formal, podemos definir
una tautologa como sigue: la frmula A es
una tautologa si y solo si para toda
asignacin v, v(A) = V.

CONTRADICTORIA

CONTINGENTE

La oposicin contradictoria se da entre las

proposiciones que difieren por la cantidad y
la cualidad.

La teora de la contingencia pretende mas

que nada ubicar principios relacionados
con las actividades situacionales, en
ocasin de buscar principios universales
aplicables a cualquier situacin

de las cuales una solamente niega cuanto se

requiere y es suficiente para destruir la
verdad de la otra.

en la aplicacin de la teora de la
contingencia analizaremos adems del
origen, la organizacin y sus niveles y la
apreciacin critica de la teora de la
contingencia.

DIAGRAMA DE FLUJO

Un diagrama de flujo es una

representacin grfica de un proceso.
Cada paso del proceso es
representado por un smbolo
diferente que contiene una breve
descripcin de la etapa de proceso.

El diagrama de flujo ofrece una

descripcin visual de las actividades
implicadas en un proceso mostrando
la relacin secuencial ente ellas,
facilitando la rpida comprensin de
cada actividad y su relacin con las
dems,

Permiten definir los lmites de un

proceso. A veces estos lmites no son
tan evidentes, no estando definidos
los distintos proveedores y clientes
(internos y externos) involucrados.

Los smbolos grficos del flujo del

proceso estn unidos entre s con
flechas que indican la direccin de
flujo del proceso.

el flujo de la informacin y los

materiales, las ramas en el proceso, la
existencia de bucles repetitivos, el
nmero de pasos del proceso, las
operaciones de
interdepartamentales Facilita
tambin la seleccin de indicadores de
proceso

Proporciona un mtodo de
comunicacin ms eficaz, al introducir
un lenguaje comn, si bien es cierto
que para ello se hace preciso la
capacitacin de aquellas personas que
entrarn en contacto con la
diagramacin.

LOGICA DIALECTICA

LOGICA FORMAL

LOGICA DEONTICA
TIPOS DE LOGICAS
DEL SIGLO XX
LOGICA INFORMAL

LOGICA MATEMATICA

LOGICA POLIVALENTE

La lgica dialctica (lgica de las diferencias y de las

oposiciones) es una mediacin entre la lgica formal
pura y el anlisis dialctico de las contradicciones en
el movimiento; este anlisis dialctico, mal situado,
poco cultivado, se ha oscurecido y su campo
desaparece
La lgica formal es la parte de la lgica que, a
diferencia de la lgica informal, se dedica al estudio de
la inferencia mediante la construccin de lenguajes
formales, sistemas deductivos y semnticas formales.

La lgica dentica es un tipo de lgica modal usada

para analizar formalmente las normas o las
proposiciones que tratan acerca de las normas.
La lgica informal, o lgica no formal, es el estudio de
los argumentos naturales y en oposicin al estudio de
los argumentos en una forma tcnica o artificial (lgica
formal).
La lgica matemtica es una parte de la lgica y
la matemtica, que consiste en el estudio matemtico
de la lgica, y en la aplicacin de dicho estudio a otras
reas de la matemtica y de las ciencias.

Una lgica plurivalente o lgica polivalente es

un sistema lgico que rechaza el principio del tercero
excluido de las lgicas bivalentes y admite ms valores
de verdad que los tradicionales verdadero falso

La Inteligencia Artificial incluye

varios campos de desarrollo
tales como: la robtica, usada
principalmente en el campo
industrial; comprensin de
lenguajes y traduccin; visin
en mquinas que distinguen
formas y que se usan en lneas
de ensamblaje; reconocimiento
de palabras y aprendizaje de
mquinas; sistemas
computacionales expertos.

Una caracterstica fundamental

que distingue a los mtodos de
Inteligencia Artificial de los
mtodos numricos es el uso
de smbolos no matemticos,
aunque no es suficiente para
distinguirlo completamente.
Otros tipos de programas como
los compiladores y sistemas de
bases de datos, tambin
procesan smbolos y no se
considera que usen tcnicas de
Inteligencia ArtificiaL

Aplicabilidad a datos y
problemas mal estructurados,
sin las tcnicas de Inteligencia
Artificial los programas no
pueden trabajar con este tipo
de problemas

INTELIGENCIA ARTIFICIAL

El razonamiento basado en el
conocimiento, implica que
estos programas incorporan
factores y relaciones del
mundo real y del mbito del
conocimiento en que ellos
operan.

El comportamiento de los
programas no es descrito
explcitamente por el
algoritmo. La secuencia de
pasos seguidos por el programa
es influenciado por el problema
particular presente. El
programa especifica cmo
encontrar la secuencia de pasos
necesarios para resolver un
problema dado (programa
declarativo)

JUICIO

El juicio es una comparacin de dos conceptos

o imgenes esenciales
El juicio es un pensamiento en el que se afirma o
se niega algo de algo.
Segn Aristteles, el juicio es el "pensamiento
compuesto de ms de una idea, pero dotado, a la
vez, de una unidad especial que se logra por
medio de la cpula".

La relacin de dos conceptos da

lugar a la formulacin de un juicio.
Si se da entre ambos una relacin
de conveniencia decimos que el
juicio es afirmativo, y en caso
contrario, negativo. El sujeto del
juicio es el concepto del que se
afirma o niega algo; el predicado es
el concepto que se afirma o niega
del sujeto. Aristteles distingue en
los juicios la materia y la forma.

La materia o contenido del juicio son

los conceptos que se relacionan; la
forma es la relacin que se establece
entre ellos a travs del verbo ser.
Aristteles representa el sujeto del
juicio con un signo (S) y el predicado
con otro (P) para intentar separar la
materia de la forma: as, la forma del
juicio "Juan es alto" se representara
como "S es P", y la forma del juicio
"Juan no es alto" como "S no es P".

Al igual que ocurra con los

conceptos, que son actos mentales
que se expresan mediante trminos
lingsticos, los juicios son actos
mentales que se expresan mediante
proposiciones, es decir, mediante un
conjunto de palabras u oracin
gramatical. El mismo juicio se puede
expresar con distintas proposiciones
(por ejemplo, usando distintos
idiomas), y a veces la misma
proposicin puede referirse a juicios
distintos, ("sta es mi casa" dicha por
dos personas distintas).