Lógica Unidad I 1 133294

REPÚBLICA BOLIVARIANA DE VENEZUELA
INSTITUTO UNIVERSITARIO DE TECNOLOGÍA INDUSTRIAL
“RODOLFO LOERO ARISMENDI”
EXTENSIÓN BARCELONA
INFORMÁTICA
ASIGNATURA: LÓGICA














LÓGICA DE LA PROPOCISIÓN










Profesor:
Participantes:
Gamal KadBay
Pietro Micale C.I.: 25.589.374

Darianny Cifuentes C.I.:

Mary Oramas C.I.: 26.449.707

Barcelona, 15 octubre del 2015.
Introducción
La lógicade la proposición es la ciencia que estudia las formas y estructuras del pensamiento, estableciendo los métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. Por consiguiente, las proposiciones son tipos de pensamientos en los que se afirma algo, con dos únicas respuestas: verdadero y falso.
Debido a la importancia del aprendizaje de este tema, a continuaciónse proporciona la descripción de las distintas formas de proposición, las notaciones y colectivos, los operadores lógicos, la tabla de la verdad, equivalencia lógica e implicaciones lógicas, y por último la condición suficiente y necesaria.









Proposiciones Atómicas (Proposiciones Simples)
Son aquellas proposiciones que carecen de conjunciones gramaticales conectivas (‘y’, ‘o’, ‘u’,‘Si’…’Entonces’, ‘Si y solo si’) o del adverbio negativo ‘no’, y por lo tanto son inseparables.
Las proposiciones atómicas se clasifican en:
a) Proposiciones Predicativas: Son las oraciones en las que se afirman o atribuyen una característica respecto a un objeto o a alguien, es decir, constan de sujeto y predicado. Ejemplo:
‘’El 2 es un número par. ’’
‘’Julio es Profesor. ’’
b) Proposiciones Relacionales: Sonlas oraciones en las cuales existe una relación de dependencia, estableciendo un enlace entre dos o más objetos o sujetos. Ejemplo:
‘’Hannah es hermana de Andrea. ’’
‘’7 es mayor que 3. ’’

Proposiciones Moleculares (Proposiciones Compuestas)
Contienen alguna conjunción gramatical conectiva o el adverbio negativo ‘no’.
Las proposiciones moleculares se clasifican en:
a) Proposiciones de negación:Llevan el adjetivo de negación “no”, o sus expresiones equivalentes como “nunca”, “jamás”. Su representación simbólica es (~). Ejemplo:
p= “4+4 es igual a 9.”
~p= “4+4 no es igual a 9.”
b) Proposiciones de conjunción: Llevan la conjunción copulativa “y”, ó sus expresiones equivalentes como “e”; ‘’pero’’ ‘’aunque’’, ‘’aún cuando’’. El símbolo utilizado para la conjunción en la lógica simbólica es unaV volcada (^). Ejemplo:
p= “Hoy es lunes.”
q= “Mañana es martes.”
p ^q = “Hoy es lunes y mañana es martes.”
c) Proposiciones disyuntivas: Llevan la conjunción disyuntiva “o” o sus expresiones equivalentes como “u” y ‘’ya “. En español la disyunción “o” tiene dos sentidos: Uno inclusivo o débil, la cual permite que las dos alternativas se usen, su representación simbólica es una (V). Y otroexclusivo o fuerte, la cual no admite que las dos alternativas estén juntas. Ejemplo:
Proposición inclusiva:
p = “El número 2 es par.”
q = “La suma de 2 + 2 es 4.″
p v q = ‘’El número 2 es par o la suma de 2 + 2 es 4. ’’ (Puede ser los dos).
Proposición exclusiva:
p = “La raíz cuadrada del 4 es 2.”
q = “El número 3 es par.″
p v q = ‘’La raíz cuadrada de 4 es 2 ó el número 3 es par. ’’ (No puedeser los dos).

d) Proposiciones condicionales: Llevan la conjunción condicional compuesta “si…entonces…”, o sus expresiones equivalentes como “sí’’, ‘’siempre’’, ‘’que’’. Consta de los elementos: antecedente y consecuente, “si” se llama antecedente, y la que sigue a la palabra “entonces” se denomina consecuente. Su simbología matemática es una flecha (→). Ejemplo:
p= “Llueve.”
q= “Está nublado.”
p →q= ‘’Si llueve entonces está nublado. ’’
e) Proposiciones bicondicionales: Llevan la conjunción compuesta “…si y sólo si…”, ó sus expresiones como “cuando y solo cuando”. Se caracterizan por que establecen dos condicionales, pero de sentido inverso. Su simbología matemática es una flecha con doble sentido (↔), y reemplazará en las oraciones a la palabra O p O q, pero no ambas lo que...