Академический Документы
Профессиональный Документы
Культура Документы
s
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
~p
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
~r
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
~s ~q pq rs ~p~r ~s~q
f
f
v
v
f
f
v
f
v
f
f
f
f
f
v
v
v
f
v
f
v
v
v
f
f
v
f
v
f
f
v
v
f
f
f
v
f
v
f
v
v
f
v
v
f
v
v
v
f
f
v
v
v
f
v
f
v
f
v
f
f
f
v
v
v
f
v
f
v
v
v
f
f
v
v
v
v
f
v
v
v
f
v
v
f
v
v
v
v
f
v
v
v
v
v
v
(pq)(rs)
v
f
v
v
f
f
f
f
v
f
v
v
v
f
v
v
(~p~r)(~s~q)
v
v
f
f
v
v
f
v
f
f
f
f
f
v
f
v
{(pq)(rs)}{(~p~
v
v
f
f
v
v
v
v
f
v
f
f
f
v
f
v
p
v
v
v
v
f
f
f
f
q s
v v
v f
f v
f f
v v
v f
f v
f f
(pq)(s~ p~{(pq)(s~p)}
p)
~q
v
f
f
f
v
v
f
v
f
v
v
v
v
v
v
v
TATUOLOGIA
3. Ningn hroe es cobarde.
Algunos soldados son cobardes.
Por lo tanto algunos soldados no son hroes
~
p
f
f
f
f
v
v
v
v
~ (pq (s~
q
)
p)
f
v
v
f
f
f
v
v
v
v
v
f
f
f
f
f
f
v
v
v
f
v
v
v
RTA/
P1= Ningn hroes es cobarde
P2= algunos hroes son cobardes
C= algunos soldados no son hroes
PREMISA