Sie sind auf Seite 1von 7

PASO 6.

MÉTODOS PARA
PROBAR VALIDEZ DE
ARGUMENTOS
JADER MARTÍNEZ Código: 1113622294
GRUPO: 200611_436
PENSAMIENTO LOGICO Y MATEMATICO
UNAD/PALMIRA
MAYO/2018
CONCEPTUALIZACIÓN DE LAS REGLAS DE
INFERENCIA

Ley Del Condicional


Si p y q representan dos proposiciones simples, entonces la proposición compuesta p
→q solo será falsa cuando p, llamado antecedente o hipótesis, sea verdadero y q,
llamado consecuente o conclusión, sea falso. Algunas formas de la condicional o
implicación son: si … entonces, se sigue, por tanto, se infiere, de ahí que, se deduce,
implica, entre otras. La condicional no es conmutativa, es decir:

La tabla de verdad de la condicional es la siguiente:


EJEMPLOS
t: Llueve.
u: Me mojaré.
t → u: Si llueve, entonces me mojaré.
p: Estudio.
q: Aprobaré el ciclo escolar.
p → q: Si estudio, entonces aprobaré el ciclo escolar.
Silogismo Constructivo
Dilema constructivo es una regla de inferencia válida de lógica proposicional. Es una
inferencia que dice que si P implica Q; y R implica S; y, o bien P o R es verdadero;
entonces Q o S debe ser verdadero.

Ejemplos:
Si estudio aprendo y si duermo
descanso.
Estudié o dormí.
Luego Aprendí o descansé.
EJEMPLOS

“Si hoy es sábado, voy al cine; pero si hoy voy a la playa,


Comeré ceviche. Hoy es sábado o voy a la playa.”
Por lo tanto:
Ley de la contraposición
En lógica, la contraposición lógica es una ley que dice que, para cada
sentencia condicional, hay una equivalencia lógica entre la misma y
su contraposición

Ejemplos:
Todo metal es conductor de calor.
Contrapuesta E: Ningún no conductor de calor es metal.
Proposición dada O: algún mamífero es rumiante.
Contrapuesta I: algún no rumiante es mamífero
BIBLIOGRAFÍA

Curo, A., & Martínez, M. (2013). Matemática básica para administradores. Lima, Peru:
Editorial UPC. Páginas 22 - 27. Recuperado de
http://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/logi
n.aspx?direct=true&db=e000xww&AN=1042768&lang=es&site=ehost-
live&ebv=EB&ppid=pp_1

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest


(Ed). Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara,
México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013
570&ppg=30