¡Descarga Pensamiento critico apuntes y más Apuntes en PDF de Matemática Discreta solo en Docsity!

Pensamiento crítico

y comunicación

Validez de razonamientos

Razonamientos válidos

• Nunc

Pv

p

po

P & P

F

Y

Colon llego

a Asia o America^

Colon

Lego

a (^) Africa o Asia

No

llego

a Asia^ No^ llego a Asia

~ Colon

llego

a (^) America Colon^ lleg

a Africa

an

an

↑

e^ maillan (^) y ronroneau^ &

# maillan

n

millan =Maillan

“Si un razonamiento es válido , posee premisas y conclusión verdaderas .”

“Si un razonamiento es inválido , posee premisas y conclusión falsas. ”

“Si un razonamiento tiene premisas verdaderas y conclusión falsa ….

…no puede ser un razonamiento válido ”

…es necesariamente un razonamiento inválido ”

Técnica del condicional asociado

NO CONFUNDIR^

: Validez (^) # Verdad

· NO , esta (^) el

caso

· No , esta (^) el caso

&

L V , (^) porque

las premisas

no

implican

L &

logicamente

su conclusion.

1. Simbolizar razonamiento

2. Formar proposicion condicional^ - unir (^) premisas con^ conjunciones

(. )

b

agregar

conclusion (^) con condicional (3)

3. Hacer tabla (^) de verdad. (^) Razonamiento es valido solo (^) si da Tautologia .

Negación conjunta

Proposiciones

“ ni… ni… “

Conjunción

"Y, pero, aunque, tanto, como"

Disyunción

"o, o bien, y/o"

exclusiva inclusiva

Negación alternativa

“ O no… O no… “

Condicional

"Si X entonces Y ; Y a menos que X;

Tiene 2 partes: antecedente y consecuente

cuando X, Y; X si Y; Y sólo si X”

Bicondicional

"Si y sólo si..."

=

p

• qes

V

p

=

q

p

qesFP

& ↓

(E)

(1 (^) , E , w) (v)^ &

& (^) & peqesVp^

= q

r P1qesF p = & PxqesFp^

= q

= -

(b)

(1)

=> phq

= - p

. - 9

=> p(q

= - px

• q

&

pbqesV

p

= q

= (^) F

plqes FEt (^) p = q

= V

Ejemplos preposiciones

D Conjuncion

↓

no

② Disyuncion

· excluyente · Incluyente

③ Negacion

T

• P

-Le,

O

Leyes lógicas

Las leyes lógicas son formas de enunciados cuyos casos de sustitución son

siempre enunciados verdaderos o tienen interpretaciones verdaderas

Consistente: tiene por lo menos una interpretación verdadera

Inconsistente: no tiene ninguna interpretación verdadera

Forma proposicional

Principios lógicos

Principio de identidad: toda cosa es idéntica a sí misma

Principio de no contradicción: ninguna cosa puede tener y no tener una

propiedad al mismo tiempo y bajo el mismo respecto

Principio de tercero excluido: una cosa tiene una propiedad o no la tiene

Antes de las consideraba leyes privilegiadas pero hoy en día se cuestiona su universalidad

Tabla de verdad

(Soloverdadevo (Solofalso) Cremix

D

Relaciones lógicas

Implicación

Deducibilidad

Equivalencia

Contrariedad

Contradictoriedad

Subcontrariedad

↑

(5) (E)

"A implica B"^

= (^) AX B A

y

B (^) nunca son iguales

• (^) ni ambas V nif

PJqesV excepto^ paraPE^

p

= qesF sip#q &

&. Si en (^) ningun renglon Tablas^ Siendo^ Averdadero,Besfalso. & Si en (^) ningun renglon tablas^ son ambos^ U ambos^ F

[

(2) (^

)

"A se deduce de^ B" =^ BCA^

A

y

B nunca V al mismo

Tiempo

= "Bimplica A"^

= BJA

&

poq

es F^ siempre

que De

si en (^) ningein renglan tabla son ambos^ v

(E) (E)

"A implica B y

Bimplica

A" = A = B A^

B nunca^ Falmismo

Tiempo

Peqes

V si

Peq puqes

F (^) si p

= q

= F

&Tablas dan mismo resultado (^) Si en ningun renglon tablas son ambas F

Son Transitivas

:

·laponen" "Todavia

MP MT

no " SH

Ab B^ AT^

B

A >^ B

A

• B B > C

B

• A (^) A >C

sicogen

Tienen (^) bebes , sicogen

Tienen bebes , sicogen

Tienen bebes ,

logen

Tienen bebes como no tienen bebes e (^) no cogieron

si (^) Tienen bebes compran (^) panales ,

si cogen compran panales

↑

DC

As B^ =^

• BX - (^) A

(A

• B) = ) - AvB)

Si cogen

Tienen bebes Si (^) no tienenbebes, no cogieron Sicogentienenbebes o no cogieron

o Tienen^ bb

⑨

S C DM

A

· B

A

• (A - B)

= (

Av

= B)

A B

A

. B

A SD^ "diyuntiva" DM

A AyB - >

Tengo zopciones .

• (AvB)

= (

= A .

• B)

Sino es A, es B^. A (^) v B -^ A

B

DC

DD

CONMUTATIVIDAD

A (^) >B As B

A : B

=>

A (^). B =^ B. A

C > D C > D

AvB = (^) BuA AnC^

• Bu -^ D

A = (^) B = B = A Bu^ D - An

• 2

ASOCIATIVIDAD

(t

=

b)

= ) = (^) A =

(b

=

C

↑

DISTRIBUTIVA

A (^). (BuC) = (A.^ B) (^) m (A-C)

A (^) (B. C) =^ (AB). (AC)

EXPORTACION

(A

B))C

= (^) A x (^) (B > ))

IDEMPOTENCIA

A =^ A (^). A

AvA