LOGICA

18
GABRIEL ZAMORA TORRES PRACTICAS DE INFORMATICA

description

trabajo de logica

Transcript of LOGICA

PRACTICAS DE INFORMATICA

El silogismo consta nicamente de 3 trminos.1

Un trmino medio no debe estar en la conclusin.2

Ninguno de los trminos debe tener mayor extensin en la conclusin que en las premisas.3

El trmino medio debe ser al menos una vez universal.

4

REGLAS DEL SILOGISMO

De dos premisas negativas no se obtiene conclusin. 5

De dos premisas afirmativas no se obtiene conclusin negativa.6

De dos premisas particulares no se obtiene conclusin.7

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

Se apela a la falacia para provocar la aceptacin de la conclusin.Argumentum ad bacilum (apelacin a la fuerza)

Razonamiento que en vez de representar razones adecuadas para debatir una determinada posicin o conclusin se ataca a la persona que defiende.Argumentum ad hominem (contra el hombre)

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 ignoratum (argumento a la ignorancia)

CLASIFICACION DE LAS FALACIAS

Se apela a la piedad para conseguir una determinada conclusin.Argumentum ad misericordiam (argumento a la piedad o misericordia)

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 populum (apelacin al pueblo)

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.Argumentum ad verecundiam (apelacin a la autoridad)

Una proposicin es una cadena de signos expresados en un determinadolenguaje. En unlenguaje natural, esos signos usualmente son sonidos o caracteres escritos, mientras que un tipo de lenguaje formalizado pueden ser signos arbitrarios...

Ejemplos:Fui albanco,peroel banco estaba cerrado.Los lectores de estelibroson jvenesouniversitarios.

Leer ms:http://www.monografias.com/trabajos100/proposiciones-simples-y-compuestas/proposiciones-simples-y-compuestas.shtml#ixzz3bwyjJSdcAfirma o se niega algo de algo.Conjunciones ("y"), disyunciones ("o") o implicaciones ("s. . . entonces").Ejemplo: El cielo es azul.

O trminos de enlace entre oraciones componentes.Enlgica tradicionalse distinguen la proposicin y el juicio, por cuanto la primera es el producto lgico del acto por el cual se PROPOSICIONES SIMPLES: Son aquellas que no tienen oraciones componentes afectadas por enlace como Tambin denominadas proposiciones atmicas. Son aquellas proposiciones que no se pueden dividir.PROPOSICIONES COMPUESTAS: Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negacionesTambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos.

Leer ms:http://www.monografias.com/trabajos100/proposiciones-simples-y-compuestas/proposiciones-simples-y-compuestas.shtml#ixzz3bwyg0AsqEscritos, mientras que un tipo de lenguaje formalizado puede ser signos arbitrarios...PROPOSICIONES

Tipo de conectores bsicosPalabras conectivas

Negacin Palabras No

No es cierto que

No es verdad que

Nunca

Carece de

Sin

Prefijos A

Des

In

I

ConjuncinY

Aunque

Pero

Mas

Tambin

Sin embargo

adems

Disyuncin inclusivaUna

Otra o y/o

O

Disyuncin exclusivaO.. O

O bien o bien

.a menos que

.salvo que

La condicionalSi..p..entonces.

Si.pcuando.

..q..siemprep

La bicondicionalSi y solo si, cuando y solo cuando

Negacin conjuntaNi no.

ELABORACION DE TABLAS DE VERDAD

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 LOGICA DIALECTICA

Lalgica formales la parte de lalgicaque, a diferencia de lalgica informal, se dedica al estudio de lainferenciamediante la construccin delenguajes formales, sistemas deductivos ysemnticas formales.LOGICA FORMAL

Lalgica denticaes un tipo delgica modalusada para analizarformalmentelas normas o las proposicionesque tratan acerca de las normas.LOGICA DEONTICA

TIPOS DE LOGICAS DEL SIGLO XX

Lalgicainformal, o lgica no formal, es el estudio de losargumentosnaturales y en oposicin al estudio de los argumentos en una forma tcnica o artificial (lgica formal).

LOGICA INFORMAL

Lalgica matemticaes una parte de lalgicay lamatemtica, 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.LOGICA MATEMATICA

Unalgica plurivalenteolgica polivalentees unsistema lgicoque rechaza elprincipio del tercero excluidode laslgicas bivalentesy admite ms valores de verdad que los tradicionalesverdaderofalso

LOGICA POLIVALENTE