Árboles semánticos lógica cuantificacional (versión ejercicios) (1)

7/26/2019 rboles Semnticos Lgica Cuantificacional (Versin Ejercicios) (1)

1/26

RBOLESSEMNTICOS

LGICA

CUANTIFICACIONA

JP: Jonathan Alvarado


2/26

CUANTIFICACIONA

Nuva! R"la! #ara lo! $r%ol!!&$nt'(o! L)"'(a Cuant'*(a('onal


3/26

SUGERENCIAS PARADESARROLLAR LOSRBOLES SEMNTICOS ENLGICACUANTIFICACIONAL


4/26


5/26

SIMBOLI+AR ,

E-AMINAR SI LAINFERENCIA ES .LI/A01 Todo! lo! d#arta&nto! dl Pr2 t'nn #or lo&no! un (on"r!'!ta3 #ro no todo! llo! r('%n(anon #or a(t'v'dad 4tra(t'va1 El d#arta&nto &$!4tn!o ! Lorto 5 l &$! #o%lado ! P'ura3 5 a&%o!r('%n (anon #or a(t'v'dad 4tra(t'va1 Por lo tanto3 !6al!o 7u n'n"2n d#arta&nto r('%a (anon #ora(t'v'dad 4tra(t'va1

81 N'n"2n !r hu&ano (r 7u Alan Gar(9a !a

hon!to3 !' ! 7u ! !n!ato1 S'n &%ar"o3 AlanGar(9a (r 7u ! hon!to1 Por lo tanto3 Alan Gar(9a ono ! !n!ato o no ! un !r hu&ano1

1 Al"uno d lo! alu&no! no tra;o !u (artu(hra1Nu!tra aula d (la!! t'n tr! alu&no!1 Juan 5 Mar9a

tra;ron !u (artu(hra1 Por lo tanto3 Pdro no tra;o !u(artu(hra1


6/26

SIMBOLI+AR ,

E-AMINAR SI LAINFERENCIA ES .LI/A081 ,a 7u !on &u(ho! lo! ('udadano! 7u r(ha


7/26


8/26

RESOLUCIN081 =n'vl 8>

C4? 4 ! ('udadano

R4?4 r(ha


9/26


F4? 4 ! *l)!o6o

C4? 4 ! ('nt9*(oR4? 4 (r n rlat'v'!&o!I4? 4 !t$ 'o!'%'l'tado d #lantar tor9a! !o%r laral'dad3 la (ual (on!t'tu5 !u *nal'dad1


10/26

EJERCICIOS 8001 =n'vl 0>N'n"2n 6a!('!ta 7u !a autor'tar'o !r$l"'do n !t #a9!1 Todo! lo! "o%rnant! !r$nl"'do! n !t #a9!3 2n'(a&nt !' !on 'ntl'"nt!1En (on!(un('a3 (o&o Mato ! "o%rnant 'ntl'"nt3 nton(! al"uno! no !on 6a!('!ta! 5autor'tar'o!1

081 =n'vl 0>Toda #r!ona 7u no r!#ta l ordn duna *la (o&ta un a(to 'n&oral1 Todo a7ul 7u a(t2a

'n&oral&nt &r( una #na #r'vat'va d lal'%rtad1 Enr'7u no r!#to !u turno n la *la1 Por lotanto3 (o&t') un a(to 'n&oral 5 &r( una #na#r'vat'va d !u l'%rtad1


11/26

EJERCICIOS /E LA

ASESORA 0110D01 =n'vl0> Cual7u'r n'o hur6ano #ud n(ontraruna %una 6a&'l'a ado#tant3 #ro Andr! ! un n'ohur6ano 5 no t'n una 6a&'l'a ado#tant1 Por lo 7uno todo! lo! n'o! hur6ano! #udn !r 6l'(!1

01 =n'vl0>Todo! lo! autor! d novla! !on !(r'tor!1Pro al"uno! !(r'tor! no !a%n !(r'%'r %'n1 Por lotanto3 !' Lu(a! !a% !(r'%'r %'n3 nton(! no ! autord novla!1


12/26


F4? 4 ! 6a!('!ta

A4? 4 ! autor'tar'oE4? 4 ! l"'do n !t #a9!I4? 4 ! 'ntl'"nta? Mato


13/26


P4? 4 ! #r!ona

R4? 4 r!#ta l ordn d la *laI4? 4 ral'


14/26

RESOLUCIN01 =n'vl0>

N4? 4 ! n'o

H4? 4 ! hur6anoP4? 4 #ud n(ontrar una 6a&'l'a ado#tantT4? 4 t'n una 6a&'l'a ado#tanta? Andr!


15/26


A4? 4 ! autor d novla!

E4? 4 ! !(r'torS4? 4 !a% !(r'%'r %'na? Lu(a!


16/26

For&a dIn!tan('a(')nE4'!tn('al =IE>Incorrecta

For&a dIn!tan('a(')nE4'!tn('al =IE>Correcta


17/26

For&a In(orr(ta dIn!tan('a(')n E4'!tn('al =IE>


18/26

For&a (orr(ta dIn!tan('a(')nE4'!tn('al =IE> 5d!arrollo dl $r%oldl ;r('('o 00 =n'vl

8>


19/26

R!olu(')n d $r%ol! !&$nt'(o! d lo! ;r('('o! 005 08 =n'vl 0> #ara o%!rvar !' la 'n6rn('a ! v$l'dao 'nv$l'da


20/26

R!olu(')n d $r%ol! !&$nt'(o! dlo! ;r('('o! 0 5 0 =n'vl 0> #arao%!rvar !' la 'n6rn('a ! v$l'da o'nv$l'da1 Por &' 6alta d t'o no

tr&'n d d!arrollar l $r%ol dl


21/26

R!olu(')n d $r%ol! !&$nt'(o! dlo! ;r('('o! 08 5 0 =n'vl 8> #arao%!rvar !' la 'n6rn('a ! v$l'da o'nv$l'da


22/26

EJERCICIO /E RBOLSEMNTICO


23/26

E;r('('o 8 d $r%ol!!&$nt'(o!1 La 6)r&ula! tautol)"'(a


24/26

SUGERENCIAS01 R(urdn 7u la In!tan('a(')n E4'!tn('al t'nr!tr'(('on! no ! #ud 'n!tan('ar #or una (on!tant 7ua#ar1 E;lo!:

1 Cuando la 6)r&ula (on l (uant'*(ador (o&o l o#radord &a5or ;rar7u9a ! vrdadra3 ! !u"'r 'n!tan('ar 5a!a: a> In!tan('a(')n Un'vr!al =Cuant'*(ador Un'vr!al !'nr!tr'(('on!> %> In!tan('a(')n E4'!tn('al =Cuant'*(adorE4'!tn('al (on r!tr'(('on!>


25/26

Por 6avor rv'!n lo! ;r('('o! 0 5 00 7u d!arroll)l #ro6!or 'll5 n (la!!1 Ad;unto l d!arrollo dl;r('('o 00 =tn"an n (unta la! 'n!tan('a('on! d!t ;r('('o>1 En l ;r('('o 0 a#ar(n var'ant!#ro#o!'('onal! d l)"'(a #ro#o!'('onal =#373 t(1> !ut'l'


26/26

Árboles semánticos lógica cuantificacional (versión ejercicios) (1)

Documents