Defi Proposiciones
‘Una proposicin es un enunciado u oracia declarativa de la cual se puede afimar que es
falsa verdadera, pero no ambas cosas a la vez.
4) El cuadrilatero es un poligono de cuatro lados.
1) Quées la logica?
Debemos honrar a nuestros héroes.
‘Sea en hora buena.
{Por Japiter! Casi me saco la loteriat Definicion 1.13 _Axioma
‘Un axioma o postulado es una proposici6n nical que se presupone verdadera. El conjunto
4e postulados de los cuales se desprenden las dems proposiciones de un sistema se Hama
conjunto de postuladas del sistema. En éstc, uno de los axiomas no debe ser deducible
ée los otros.
Uno de los postulados de la geometria euclidiana es el de la recta: “Dados dos puntos
distntos cualesquiera, hay exactamente una recta que los contiene”.
‘no pueden
En nuestro estudio de geometria aceptamos cierta la proposiciGn: “Dos
ccortarse en més de un punto”. - -
Un teorema es cualquier proposiciGn que se desprende de otra proposicisn 0 proposi-
ciones dadas por supuestas o previamente demostradas dentro del sistema. Ast, ua|
‘eorema es una proposicién cuya veracidad roquiere ser demosirada a pair de otras. E97 ito care pret dea Rep Demian
1 SilaTiemspla enones? +2=4 @ ~ 15 (Bato?
eee gauo de vilgr.
(JVF Bsn snes a in? #4 = 2.9
1 Strercaiguerainr enemas ae ers
1 Lape epi Doinaes des mi
PIETIEEN Variables
La variable proposicional p pact sas
neste cso
ey
Eso bia to ia
irs con la proposicign “Fl sl bila todo el da,
_y la variable proposicional q puede reemplazarse con la proposicién “Hace fio”; aqui
face tio
L
(cope amples o compels,
Dofinicion 1.2.1 Concctivos ligeos
Los conectivas kigicos son simbolos usados para combinar proposiciones, con lo que se
‘rodiucen otras, llamadas proposiciones compuestas.
[Los conectvos fundamentals usados en este capitulo son:
@) = negaciin A
1) conjuncién
©) v disyuncién inclusiva
4) disyuncién exclusi
) > condicionante
Dy © bicondicionante
Definicion 122 Tabla de verdad
Et arreglo que nos permite tener los posibles valores de verdad de una proposcién compuesta
«partir de los valores de verdad de las proposiciones componentes se llama una tabla de
verdad. WConjuncién La conjuncidn es la proposicién compuesta que resulta de conectar dos
ages 7 ¥ 4 means a conjunc (Esta props se entacon pA 5
ya
{M Disyuncion inclusiva La disyuncisn incusiva es la proposicin compuesta que resulta
«de conectar dos proposiciones py q mediante la disyuncicn inclusiva (v). Esta proposicién
serepresentap v gy selee “po g”. Si sabemos que “EI da estélluvioso” es una aseveracién verdadera, pero que la asevera-
‘ign “El carroes nuevo" es falsa, cules el valor de verdad de la aseveracién “El diaesté
Huvioso y el carro es nuevo"?
Disyuncin nclsiva
1 Disyuncion exclusiva La disyuneién exclusivaes la proposicin compuesta que resulta
4 ¥
se le ip.
a)
»
°
a
°
D
entonces
Sipentonces q
P implica q
qsip
psdlosiq
pes condicin suficente para q
‘ges condicién necesaria para p
MEIER Consiciona _
Sip: 3? ‘verdadera y q: “2 es par”, es verdadera, determine el valor de verdad de
1a proposicin “Si 3° = 9, entonces 2 es par”. WP WM Bicondicional La bicondicional es la proposicién compuesta que resulta de conectar
dos proposiciones p y q mediante la bicondicionante (<>). La proposicién resultante se repre-
senta con p
You might also like
