primeras colum llllS. A modo de "erilicaclon, en la ,,·isinlll columna ddJ(> n aparec<:! las ItTn.

s
V y F ahemadas en los renglollCs.
6.· Considerando las co mbinaciones de los valor.:s de verdad de las proposicioncs .:n cada
~ngl6n, ellCOnTramos la asilVlac i6n de verdad para 1;1, scgun las Teg las droas en el apart.wo
anTer ior, cmpcZlllldo a colocar cI valor de vc rdad, a las sub fonn uJas de 1;1, de adcnlro h.ada
afucra. La asigllllCion de verdad dc 18 f6rmula a s<:rA la ern:onirada con el ulT imo conecTivo
usado.

EJEMPlO 6.1
Ern:ucnl ~ II labia de "crdad pII rl I.. f6rmula a - ( P .... Q j .... (( Q ...... R ) ,,( Q .... -. R »).
So lucic!o ,
En CSIC caso hay II't'S proposicioncs simpks: es decir la labia lendr' 2 ' ... I ,, 9 rcnglollCS Y" +
I .. 4 columnas. IH tabla su a:

P R p ~ ~ R , , R
V
V
V
V
V
F
V
v
..
~

. v
.. F
I'
~

.
v
F
V
V f V F v V v V F
V F F F V V V V V
F
F
V
V
V
F
V·
V
F
F
V
F
.
F
F
V
F
V
F F V V V V V V ..
F F F V V V V V V
Copyright © 2010. Instituto Politécnico Nacional. All rights reserved.

EJERCICIOS 6.7
£ " CIlCII(nla tldnll dt "", dad d,, /as {drm ll/IIS ;ndicllnaf.
I. ( M " .... B ) .... a.
2, (P .... Q ) .... (CQ .... R ) .... (P .... R )).
J . « P ....... Q) ,,( P .... Q ) I ...... .., P.
4. (P .... R ) " ((I' ...... C-. R vSl ) .... { P---t S)).
5. -.( P v(Q .... R ) ~ ( ... P ,, (Q v-. H) ).
6. (P " Q) <-i'( .., P "..,Q).
7. {A---t( B<-i' C)) .... (A .... C ).
I . ({A .... O ) ..... ( -. R_ C» .... (A .... C)
9. R "S ++ (I P ---t R ),,{-. P .... S ) .
IO. R .... ( O .... R).

6.7 CLASIFlCACl6N DE FORMULAS l 6 GICAS.

EI moddo de la. l"bl" s de ,'cfd~d " f",cc ull;l ci .. , ilicI'.;iOn .,k I~" fOrmul .., ell lies .al.:gMi"s
q uc son:

I. T AUTOlO(; iA. sun r';rm llia. lI uc r,',ull,on ><:r . k mprr u nb dr ru ,n..lcpc,ld.e lllcn,,,·I\I,·
del valor de "erdad de It", p,ol"l)icinIlCS >lmple, III1C I~ cU"' p''',cn L, d~-.; . r. en l~ I~hl~ ..Jc

IS'

Gutiérrez, González, Eduardo, and García, Raúl Larios. Fundamentos de matemáticas y lógica, Instituto
Politécnico Nacional, 2010. ProQuest Ebook Central, http://ebookcentral.proquest.com/lib/biblioiberoamericanasp/detail.action?docID=3
Created from biblioiberoamericanasp on 2020-02-01 06:21:40.