lógica proposicional

6
SEMANA JUAN AL LÓGICA Es la cons análisis se Razonami Ejm 1 B Ejm 2 a Demostra RAZONA Acepta a RAZONA Acepta a 1 VIERNES LEJANDRO secuencia ea cualitat iento Bogotá es c a + a = 2a ación a + ax1 + a a ( 1 + a (2) 2a = AMIENTO la preposi AMIENTO la preposi S 16 DE OC O ROSALES de un bre tivo o cuan capital de a = 2a ax1 1 ) = 2a = 2a O INDUCT ición y la e O DEDUCT ición pero R. DED R. IND CTUBRE DE S CORONE LÓGICA ve ntitativo. Colombia TIVO evalúa dire TIVO para evalu DUCTIVO DUCTIVO E 2009 EL PROPOSI Axio Axio Axio Axio ectamente uarla hay q ICIONAL oma del ele oma distribu oma de cer oma conmu e. que deduc Razon Análi Verda Pensa Huma AX emento neu utiva de la ad rradura o c utativa de la cirla. namiento sis adero amiento anos XIOMAS GRU D utro multipl dición por la lausura de a multiplica UPO IDAT DELEGADO licativo a izquierda la adición ación T O

Upload: juan-alejandro-rosales-coronel

Post on 27-Jun-2015

639 views

Category:

Technology


1 download

TRANSCRIPT

Page 1: LóGica Proposicional

SEMANA

JUAN AL 

LÓGICA

Es la consanálisis se Razonami Ejm 1 B

Ejm 2 a

Demostra

RAZONA

Acepta a

RAZONA

Acepta a

1 VIERNES

LEJANDRO

secuencia ea cualitat

iento

Bogotá es c

a + a = 2a

ación

a +

ax1 + a

a ( 1 +

a (2)

2a =

AMIENTO

la preposi

AMIENTO

la preposi

S 16 DE OC

O ROSALES

de un bretivo o cuan

capital de

a = 2a

ax1

1 )

= 2a

= 2a

O INDUCT

ición y la e

O DEDUCT

ición pero

R. DED

R. IND

CTUBRE DE

S CORONE

LÓGICA

ve ntitativo.

Colombia

TIVO

evalúa dire

TIVO

para evalu

DUCTIVO

DUCTIVO

E 2009

EL

 

PROPOSI

Axio

Axio

Axio

Axio

ectamente

uarla hay q

ICIONAL

oma del ele

oma distribu

oma de cer

oma conmu

e.

que deduc

– Razon– Análi– Verda– Pensa– Huma

AX

emento neu

utiva de la ad

rradura o c

utativa de la

cirla.

namiento sis adero amiento anos

XIOMAS

GRU

D

utro multipl

dición por la

lausura de

a multiplica

UPO IDAT

DELEGADO

licativo

a izquierda

la adición

ación

T

O

Page 2: LóGica Proposicional

SEMANA

JUAN AL 

PROPOSI

Vienen a s

Se los de

Ejm: p :

TIPOS D

a)

NO

b)

1 VIERNES

LEJANDRO

ICIONES

ser enunc

enota por m

: Excel es

DE ENUNC

Enunciado

Ejm 1

Ejm 2

Ejm 3

Ejm 4

Ejm 5

OTA:

Enunciado

Ejm 1

Ejm 2

S 16 DE OC

O ROSALES

p

LÓGICAS

iados, fras

medio de v

un Progra

CIADOS

os cerrad

Ida

2 <

Las

¡Ec

¿Cu

Aquellos e¡Viva el Psigno de ihora sales

os Abiert

x <

Ros

CTUBRE DE

S CORONE

S

ses u orac

variables p

ama : P

dos: son aqu

proposi

at es una i

< 1 (F)

s PC están

ha muni!

uál es tu n

enunciadoerú! ¡Arribinterrogacs?, no son

os

< 7

sa es enfe

E 2009

EL

ciones veri

preposicion

uellos que

ción lógica

nstitución

cansadas

XPL

ombre?

s que no tba Alianzación ¿Cuál proposicio

ermera

X

X

itativas co

nales.

me indica

a.

n peruana (

XPL

XPL

tengan sena! o que se es tu nomones lógic

X = 1

X = 7

on sentido

an si estos

(v)

ntido, queean pregumbre? ¿Quas.

1 < 7 (V)

7 < 7 (F

GRU

D

completo.

s son o no u

e sea exclantas que cué hora es

)

F)

UPO IDAT

DELEGADO

.

una

amacionescontengans? ¿A qué

T

O

s n é

Page 3: LóGica Proposicional

SEMANA

JUAN AL 

(

c)

Variables

Valor de

CLASES

1. Sim

So

pre

ej.

ej.

2. Com

So

de

ej.

ej.

1 VIERNES

LEJANDRO

-1,0)

Variables

X2 + Y2 =

s proposic

verdad. (

DE PROPO

mples o at

n aquellas

edicado.

Unix e

El mult

mpuestas

n aquellas

conectivo

Unix e

Si m e

1

S 16 DE OC

O ROSALES

y

(0,1

s

1

cionales (p

(V o F), (1

OSICION

tómicas o

proposici

es un siste

titester e

o molecul

que conti

os lógicos.

es un siste

es par y n e

1

1

1

CTUBRE DE

S CORONE

1)

(1

, q, r, s,….e

o 0)

NES LÓGI

elementa

ones que c

ema operat

es un dispo

lares

enen dos o

ema operat

es entero

1

1

E 2009

EL

x 1,0)

etc.)

ICAS

ales

constan ge

tivo

ositivo elec

o más prop

tivo y Wor

entonces

eneralmen

ctrónico

posiciones

rd es un so

(n) m es po

Campo

x

y

Si: x

y

(0)2 + (

=

te de un s

s simples e

oftware

ositivo

os o recor

Є [ -1 , 1

Є [ -1 , 1

x = 0

y = 1/2

)2 = 1

1 (F)

GRU

D

solo sujeto

enlazadas

rridos

1 ]

1 ]

UPO IDAT

DELEGADO

o y un solo

por medio

T

O

o

o

Page 4: LóGica Proposicional

SEMANA

JUAN AL 

VALOR D

Es el calif

OPERADO

( ~, ,

Son símbo

OPERACI

1) NEGA

Dada

negaci

Tabver

Ejm:

P: Ro

~p: Ro

~p: Ma

~p: No

~p: Es

~p: No

~p: No

1 VIERNES

LEJANDRO

DE VERDA

ficativo qu

ORES LÓG

, ,

olos que se

IONES LÓ

ACION: (~

una propo

ión será fa

bla de rdad

osa estudia

osa no estu

atemática

o estudia m

s falso que

o es cierto

o es cierto

S 16 DE OC

O ROSALES

p

V F

AD

ue se le da

GICOS

, ,

e utilizan

ÓGICAS

~,~,≈ )

osición p s

alsa y visiv

a Matemát

udia matem

no estudi

matemátic

e Rosa estu

o que Rosa

o que mate

P

V

F

CTUBRE DE

S CORONE

~ p

F V

a a una pro

, )

para enlaz

su negació

versa.

tica.

mática.

a Rosa.

ca Rosa.

udie mate

a estudie m

emática es

P a

V ON

F OF

E 2009

EL

oposición s

zar dos pr

ón será ~

mática.

matemátic

studie Ros

P

N 1

F 0

CIRCUI

según esta

oposicione

~p; signific

ca.

sa.

ITO DIGI

CIRC

a sea verda

es simples

ca que si

ITAL

CUITO LÓ

GRU

D

adera o fa

.

p es verd

ÓGICO

UPO IDAT

DELEGADO

alsa.

dadero su

T

O

u

Page 5: LóGica Proposicional

SEMANA

JUAN AL 

2) LA CO

Su sig

p y q d

Otros

t.

Ejm 1 :

3) LA DI

Dadasla cual

t.

Ejm 1 :

1 VIERNES

LEJANDRO

p qV 

p

p qV 

ONJUNCI

gnificado g

denotada p

coligador

v.

Word

ISYUNCIÓ

s dos propol será fals

v.

2 < 3

S 16 DE OC

O ROSALES

pVVFF

p

q F 

*

pVVFF

q

q F 

*

IÓN ( )

general es

por “p q”

res de la c

d es un pr

ÓN INCLU

osiciones psa solo si a

o 20 ≠

CTUBRE DE

S CORONE

p q p V V V F F V F F

VFFF

p q p V V V F F V F F

VVVF

s y, dada d

, la cual se

onjunción

rograma

USIVA O

podemos gambas son

1.

E 2009

EL

q V F F F

q V V V F

V

dos propos

erá verdad

son: como

y Google

O DEBIL (

generar la falsas.

q

siciones p

dera solo s

o, pero, ad

e es part

)

expresión

odemos ge

si ambas s

emás, ni y

e hardwa

n “p o q”, d

GRU

D

enerar la

on verdad

más.

are.

denotado p

UPO IDAT

DELEGADO

expresión

eras.

por p q,

T

O

n

,

Page 6: LóGica Proposicional

SEMANA

JUAN AL 

Ejm 2 :

4) LA DI

Dadasdenota

t.

Ejm 1 :

Ejm 2 :

1 VIERNES

LEJANDRO

p qV 

Madr

ISYUNCIÓ

s dos proado por “p

v.

o bie

La vac

S 16 DE OC

O ROSALES

q F  V 

pVVFF

p

* *

p Δ q V  V 

rid está e

ÓN EXCLU

oposicionesp Δ q”, la c

en 2 < 3

ca o es u

CTUBRE DE

S CORONE

p q p ΔV V V F F V F F

FVVF

F

en España

USIVA O

s podemocual será v

3 o bie

un cuadrú

E 2009

EL

Δ q F V V F

q

a o Franc

O FUERTE

s generarverdadera

en 20 ≠

úpedo o e

p ΔV 

cia.

( Δ )

r la exprsolo si una

1

es un mam

VΔ q F 

resión “o a de ellas

:

mífero.

GRU

D

bien p oes verdad

UPO IDAT

DELEGADO

o bien q”,dera.

T

O

,