GABRIEL ZAMORA TORRES

LUIS GUSTAVO ROJAS PAREDES

PRACTICAS DE INFORMATICA

CLASIFICACION DE LOS JUICIOS

Cantidad

Universal

son aquellos que se refieren a todos los individuos de la

especie.

Particular

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.

Cualidad

Afirmativo

son aquellos juicios que expresan la compatibilidad

entre el sujeto y el predicado se realizan el

predicado.

Negativo

son aquellos que expresan la incompatibilidad entre el

sujeto y el predicado

Propiedad fundamental

Verdadero

Es el que posee la propiedad de decir solo la verdad en

cuanto a algo que esta respaldado.

Falso

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

Hay diferentes tipos de raciocinio:

Deductivo

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.

Inductivo

es un razonamiento inductivo es aquel de conclusin probable. Es decir, dadas

las determinadas premisas, la conclusin que de ellas infiere es nicamente

probable.

Analogico

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.

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.

1

2

3

4

6

5

7

8

REGLAS DEL SILOGISMO

El silogismo consta nicamente de 3 trminos.

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

negativo)

De dos premisas particulares no se obtiene conclusin.

De dos premisas afirmativas no se obtiene conclusin negativa.

De dos premisas negativas no se obtiene conclusin.

El trmino medio debe ser al menos una vez universal.

Ninguno de los trminos debe tener mayor extensin en la

conclusin que en las premisas.

Un trmino medio no debe estar en la conclusin.

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.

CLASIFICACION

DE LAS FALACIAS

Argumentum ad bacilum (apelacin a la

fuerza)

Argumentum ad hominem (contra el

hombre)

Argumentum ad ignoratum (argumento a

la ignorancia)

Argumentum ad misericordiam

(argumento a la piedad o misericordia)

Argumentum ad populum (apelacin al

pueblo)

Argumentum ad verecundiam (apelacin a

la autoridad)

Se apela a la falacia para provocar la aceptacin de la

conclusin.

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.

Razonamiento que en vez de representar razones

adecuadas para debatir una determinada posicin o

conclusin se ataca a la persona que defiende.

Se apela a la piedad para conseguir una determinada

conclusin.

Se comete un llamado emocional al pueblo con el fin

de ganar asentamiento para la conclusin y que no

est sustentado en pruebas.

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.

PROPOSICIONES

Una proposicin es una cadena de

signos expresados en un

determinado lenguaje. En un lenguaje

natural, esos signos usualmente son

sonidos o caracteres escritos, mientras

que un tipo de lenguaje formalizado

pueden ser signos arbitrarios...

Escritos, mientras que

un tipo de lenguaje

formalizado puede ser

signos arbitrarios...

Tambin denominadas proposiciones

atmicas. Son aquellas proposiciones que no

se pueden dividir.

Ejemplo:

El cielo es azul.

Tipo de conectores bsicos Palabras conectivas

Negacin Palabras No No es cierto que No es verdad que Nunca Carece de Sin

Prefijos A Des In I

Conjuncin Y Aunque Pero Mas Tambin Sin embargo adems

Disyuncin inclusiva Una Otra o y/o O

Disyuncin exclusiva O.. O O bien o bien .a menos que .salvo que

La condicional Si..p..entonces. Si.pcuando. ..q..siemprep

La bicondicional Si y solo si, cuando y solo cuando Negacin conjunta Ni no.

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

La oposicin contradictoria se da entre las proposiciones que difieren por la cantidad y

la cualidad.

de las cuales una solamente niega cuanto se requiere y es suficiente para destruir la

verdad de la otra.

CONTINGENTE

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

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.

Los smbolos grficos del flujo del proceso estn unidos entre s con flechas que indican la direccin de

flujo del 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,

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

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.

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.

TIPOS DE LOGICAS

DEL SIGLO XX

LOGICA DIALECTICA

LOGICA FORMAL

LOGICA DEONTICA

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

INTELIGENCIA ARTIFICIAL

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

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)

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.

Aplicabilidad a datos y problemas mal estructurados, sin las tcnicas de Inteligencia

Artificial los programas no pueden trabajar con este tipo

de problemas

JUICIO

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).

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".